Changeset 3000


Ignore:
Timestamp:
Mar 28, 2013, 1:01:10 PM (4 years ago)
Author:
tranquil
Message:

added RTLabs printer

Location:
driver
Files:
2 added
2 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r2901 r3000  
    1212ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
    1313ocamlc -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 ASMPrinter.cmo printer.cmo error.cmo cerco.cmo -o cerco
     14ocamlc -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
  • driver/printer.ml

    r2999 r3000  
    250250   | Extracted.Compiler.Clight_simplified_pass ->
    251251      ClightPrinter.print_program ClightPrinter.Cost_plain (Obj.magic program)
     252   | Extracted.Compiler.Rtlabs_pass ->
     253      RTLabsPrinter.print_program (Obj.magic program)
     254   | Extracted.Compiler.Rtl_separate_pass ->
     255      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    252256   | Extracted.Compiler.Rtl_separate_pass ->
    253257      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
Note: See TracChangeset for help on using the changeset viewer.