source: driver/build @ 2620

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

Sufficient hacking to run the extracted Clight semantics.

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