From a6e18cdea86ac51893d6c9aded6ba71a8ff90473 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 08:51:34 +0000 Subject: [PATCH] propagation of noinnertypes to matitac --- helm/software/matita/matitamakeLib.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/matitamakeLib.ml b/helm/software/matita/matitamakeLib.ml index eed971f45..2bf01f897 100644 --- a/helm/software/matita/matitamakeLib.ml +++ b/helm/software/matita/matitamakeLib.ml @@ -215,7 +215,10 @@ let call_make ?matita_flags development target make = 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; -- 2.39.2