Last change
on this file since 3089 was
3086,
checked in by sacerdot, 8 years ago
|
extracted is now in driver
|
-
Property svn:executable set to
*
|
File size:
614 bytes
|
Line | |
---|
1 | #!/bin/sh |
---|
2 | |
---|
3 | # A crappy build script that needs to be replaced by some proper structure. |
---|
4 | |
---|
5 | OCAMLC="ocamlc -I cparser" |
---|
6 | |
---|
7 | make -C cparser |
---|
8 | (cd extracted; ./build) |
---|
9 | cp extracted/_build/extracted.cm[io] . |
---|
10 | $OCAMLC -c -g *.mli |
---|
11 | $OCAMLC -c -g error.ml |
---|
12 | $OCAMLC -c -g optionsParsing.ml |
---|
13 | $OCAMLC -c -g options.ml |
---|
14 | $OCAMLC -c -g *.ml |
---|
15 | $OCAMLC -custom -g extracted.cmo ../Deliverables/D2.2/8051/lib/libcparser.a cparser/cparser.cma clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo rTLabsPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo optionsParsing.cmo options.cmo clightLustre.cmo clightLustreMain.cmo acc.cmo -o acc |
---|
Note: See
TracBrowser
for help on using the repository browser.