Changeset 3092


Ignore:
Timestamp:
Apr 4, 2013, 11:36:14 AM (6 years ago)
Author:
sacerdot
Message:

No more references to Lustre stuff.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/build

    r3086 r3092  
    1313$OCAMLC -c -g options.ml
    1414$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
     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 TracChangeset for help on using the changeset viewer.