let verbose = ref ""
let jobs = ref 0
let specs = align
- [ "-verbose", Unit (set verbose "-verbose 10 -classic-display"),
+ [ "-verbose", Unit (set verbose " -classic-display"),
" Display compilation commands";
- "-debug", Unit (cons tags "-tag debug"),
+ "-enable-debug", Unit (cons tags "-tag debug"),
" Build with debugging code";
- "-profile", Unit (cons tags "-tag profile"),
+ "-enable-profile", Unit (cons tags "-tag profile"),
" Build with profiling code";
- "-trace", Unit (cons tags "-tag trace"),
+ "-enable-log", Unit (cons tags "-tag log"),
" Build with tracing code enabled";
"-byte", Unit (set flavor "byte"),