Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/options.ml

    r453 r460  
    4444let is_dev_test_enabled ()      = !dev_test
    4545
     46let matita_output_flag          = ref false
     47let is_matita_output_enabled () = !matita_output_flag
     48
    4649let options = OptionsParsing.register [
    4750  "-s", Arg.String set_source_language,
     
    6669  "-dev", Arg.Set dev_test,
    6770  " Playground for developers.";
     71
     72  "-ma", Arg.Set matita_output_flag,
     73  " Output matita formatted Clight program.";
    6874]
Note: See TracChangeset for help on using the changeset viewer.