source: driver/build @ 2854

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

Pretty printing of the LTL program.

  • Property svn:executable set to *
File size: 735 bytes
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
12ocamlc -I ../Deliverables/D2.2/8051/lib -c -g
13ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
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 clightPrinter.cmo backendPrinter.cmo IntelHex.cmo ASMPrinter.cmo error.cmo cerco.cmo -o cerco
Note: See TracBrowser for help on using the repository browser.