|
Last change
on this file since 2926 was
2901,
checked in by sacerdot, 8 years ago
|
- backendPrinter renamed to printer
- Clight printing branched into the printer
|
-
Property svn:executable set to
*
|
|
File size:
728 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | # A crappy build script that needs to be replaced by some proper structure. |
|---|
| 4 | |
|---|
| 5 | # Before running this, |
|---|
| 6 | # 1. build the prototype compiler (or at least the cparser, the rest isn't |
|---|
| 7 | # used) |
|---|
| 8 | # 2. run the build script in the extracted directory |
|---|
| 9 | |
|---|
| 10 | cp ../extracted/_build/extracted.cm[io] . |
|---|
| 11 | ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli |
|---|
| 12 | ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml |
|---|
| 13 | ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml |
|---|
| 14 | ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo cerco.cmo -o cerco |
|---|
Note: See
TracBrowser
for help on using the repository browser.
