let system =
if Helm_registry.get_bool "matita.system" then " -system" else ""
in
- already_defined ^ bench ^ system
+ let noinnertypes =
+ if Helm_registry.get_bool "matita.noinnertypes" then " -noinnertypes" else ""
+ in
+ already_defined ^ bench ^ system ^ noinnertypes
in
let csc = try ["SRC=" ^ Sys.getenv "SRC"] with Not_found -> [] in
rebuild_makefile development;
let orig_matita_flags =
try Sys.getenv "MATITA_FLAGS" with Not_found -> ""
in
- "\"" ^ orig_matita_flags ^ "\"", "\"" ^ orig_matita_flags ^ " -system\""
+ orig_matita_flags, orig_matita_flags ^ " -system"
in
HLog.message "cleaning the development before publishing";
if clean ~matita_flags devel then