X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=build;h=75fe30a9d001b3380f7e1d71205c125eb9187c0e;hb=98567d825bdc459cc23725bcb38189ed9a47ac82;hp=938a00d62773005eee516b122988151c3d46cf12;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/build b/build
index 938a00d..75fe30a 100755
--- 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