Changeset 3086


Ignore:
Timestamp:
Apr 4, 2013, 10:53:05 AM (4 years ago)
Author:
sacerdot
Message:

extracted is now in driver

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r3005 r3086  
    33# A crappy build script that needs to be replaced by some proper structure.
    44
    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
     5OCAMLC="ocamlc -I cparser"
    96
    10 cp ../extracted/_build/extracted.cm[io] .
    11 ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
    12 ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
    13 ocamlc -I ../Deliverables/D2.2/8051/lib -c -g optionsParsing.ml
    14 ocamlc -I ../Deliverables/D2.2/8051/lib -c -g options.ml
    15 ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
    16 ocamlc -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 IntelHex.cmo clightPrinter.cmo rTLabsPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo optionsParsing.cmo options.cmo acc.cmo -o acc
     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  ../Deliverables/D2.2/8051/lib/libcparser.a cparser/cparser.cma clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo rTLabsPrinter.cmo ASMPrinter.cmo printer.cmo error.cmo optionsParsing.cmo options.cmo clightLustre.cmo clightLustreMain.cmo acc.cmo -o acc
Note: See TracChangeset for help on using the changeset viewer.