source: driver/build @ 3092

Last change on this file since 3092 was 3092, checked in by sacerdot, 7 years ago

No more references to Lustre stuff.

  • Property svn:executable set to *
File size: 532 bytes
Line 
1#!/bin/sh
2
3# A crappy build script that needs to be replaced by some proper structure.
4
5OCAMLC="ocamlc -I cparser"
6
7make -C cparser
8(cd extracted; ./build)
9cp 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 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
Note: See TracBrowser for help on using the repository browser.