globals.ml 307 B

12345678910111213
  1. open Types
  2. (* Commandline args are stored in a global record
  3. * (yes, it is a bit dirty, but I don't know how to do this without passing
  4. * [args] to every function). *)
  5. let args = {
  6. infile = None;
  7. outfile = None;
  8. verbose = 1;
  9. cpp = true;
  10. optimize = true;
  11. endphase = "";
  12. }