source: driver/build @ 2768

Last change on this file since 2768 was 2758, checked in by campbell, 7 years ago

Adapt prototype's Clight printer.
Doesn't use cost map yet.

  • Property svn:executable set to *
File size: 1.1 KB
RevLine 
[2620]1#!/bin/sh
2
3# A crappy build script that needs to be replaced by some proper structure.
4
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
9
10cp ../extracted/_build/extracted.cm[io] .
11ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
[2744]12ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
[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
[2758]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 error.cmo compiler.cmo -o compiler
Note: See TracBrowser for help on using the repository browser.