From 98567d825bdc459cc23725bcb38189ed9a47ac82 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 4 Apr 2013 11:36:51 +0200 Subject: [PATCH] Imported Upstream version 0.1 --- build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2