Changeset 3086 for driver

Timestamp:

Apr 4, 2013, 10:53:05 AM (7 years ago)

Author:

sacerdot

Message:

extracted is now in driver

File:

• driver/build (modified) (1 diff)

driver/build

@@ -3 +3 @@
 # A crappy build script that needs to be replaced by some proper structure.
 
-# Before running this,
-#   1. build the prototype compiler (or at least the cparser, the rest isn't
-#      used)
-#   2. run the build script in the extracted directory
+OCAMLC="ocamlc -I cparser"
 
-cp ../extracted/_build/extracted.cm[io] .
-ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
-ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
-ocamlc -I ../Deliverables/D2.2/8051/lib -c -g optionsParsing.ml
-ocamlc -I ../Deliverables/D2.2/8051/lib -c -g options.ml
-ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
-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 rTLabsPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo optionsParsing.cmo options.cmo acc.cmo -o acc
+make -C cparser
+(cd extracted; ./build)
+cp extracted/_build/extracted.cm[io] .
+$OCAMLC -c -g *.mli
+$OCAMLC -c -g error.ml
+$OCAMLC -c -g optionsParsing.ml
+$OCAMLC -c -g options.ml
+$OCAMLC -c -g *.ml
+$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