]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - build
Merge tag 'upstream/0.1'
[pkg-cerco/acc-trusted.git] / build
1 #!/bin/sh
2
3 # A crappy build script that needs to be replaced by some proper structure.
4
5 OCAMLC="ocamlc -I cparser"
6
7 make -C cparser
8 (cd extracted; ./build)
9 cp extracted/_build/extracted.cm[io] .
10 $OCAMLC -c -g *.mli
11 $OCAMLC -c -g error.ml
12 $OCAMLC -c -g optionsParsing.ml
13 $OCAMLC -c -g options.ml
14 $OCAMLC -c -g *.ml
15 $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