]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commitdiff
Imported Upstream version 0.1
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)
build

diff --git a/build b/build
index 938a00d62773005eee516b122988151c3d46cf12..75fe30a9d001b3380f7e1d71205c125eb9187c0e 100755 (executable)
--- a/build
+++ b/build
@@ -12,4 +12,4 @@ $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
+$OCAMLC -custom -g extracted.cmo cparser/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