source: driver/build @ 2779

Last change on this file since 2779 was 2778, checked in by sacerdot, 8 years ago

Code to pretty-print the IntelHex? output.
At the moment the glue code between the trusted and untrusted code
pass through Matita's base 1 integers. Thus the computation is just too

  • Property svn:executable set to *
File size: 1.1 KB
3# A crappy build script that needs to be replaced by some proper structure.
5# Before running this,
6#   1. build the prototype compiler (or at least the cparser, the rest isn't
7#      used)
8#   2. run the build script in the extracted directory
10cp ../extracted/_build/[io] .
11ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
[2744]12ocamlc -I ../Deliverables/D2.2/8051/lib -c -g
[2620]13ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
[2721]14ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo error.cmo exec.cmo -o exec
15ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo error.cmo frontend.cmo -o frontend
[2778]16ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo clightPrinter.cmo IntelHex.cmo ASMPrinter.cmo error.cmo compiler.cmo -o compiler
Note: See TracBrowser for help on using the repository browser.