Changeset 3005


Ignore:
Timestamp:
Mar 28, 2013, 1:49:21 PM (4 years ago)
Author:
sacerdot
Message:

Beginning of making it fully compatible with untrusted one.

Location:
driver
Files:
3 added
1 edited
1 moved

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3003 r3005  
    3333;;
    3434
     35(*
    3536let argv1 = Sys.argv.(1) in
    3637let do_exec,filename =
     
    3940 else
    4041  false,argv1 in
     42*)
     43List.iter (fun filename ->
     44let do_exec = Options.interpretations_requested () in
    4145let cl = ClightParser.process filename in
    4246let observe =
     
    7276output_string och instrumented;
    7377close_out och
     78) (OptionsParsing.results ())
  • driver/build

    r3000 r3005  
    1111ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.mli
    1212ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
     13ocamlc -I ../Deliverables/D2.2/8051/lib -c -g optionsParsing.ml
     14ocamlc -I ../Deliverables/D2.2/8051/lib -c -g options.ml
    1315ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
    14 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 cerco.cmo -o cerco
     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 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.