Changeset 2778 for driver


Ignore:
Timestamp:
Mar 5, 2013, 11:34:38 PM (7 years ago)
Author:
sacerdot
Message:

Code to pretty-print the IntelHex? output.
At the moment the glue code between the trusted and untrusted code
pass through Matita's base 1 integers. Thus the computation is just too
slow.

Location:
driver
Files:
4 added
2 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r2758 r2778  
    1414ocamlc -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
    1515ocamlc -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
    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 clightPrinter.cmo error.cmo compiler.cmo -o compiler
     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 IntelHex.cmo ASMPrinter.cmo error.cmo compiler.cmo -o compiler
  • driver/compiler.ml

    r2776 r2778  
    2424
    2525let cl = ClightParser.process Sys.argv.(1) in
    26 let OK output (*{Extracted.Types.fst = oc; snd = acl}*) = Extracted.Compiler.compile cl in
     26let OK output = Extracted.Compiler.compile cl in
    2727let labelled = output.Extracted.Compiler.c_labelled_clight in
    2828let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
     
    3434  | x -> failwith ("I have no idea what " ^ x ^ " means")
    3535in
    36 print_endline (ClightPrinter.print_program style labelled)
     36print_endline (ClightPrinter.print_program style labelled);
     37print_newline ();
     38print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));
    3739(*
    3840let OK mid = Extracted.Compiler.front_end cl in
Note: See TracChangeset for help on using the changeset viewer.