From: Enrico Tassi Date: Thu, 4 Apr 2013 09:36:51 +0000 (+0200) Subject: Imported Upstream version 0.1 X-Git-Tag: upstream/0.1~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98567d825bdc459cc23725bcb38189ed9a47ac82;p=pkg-cerco%2Facc-trusted.git Imported Upstream version 0.1 --- 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