]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/helm_configuration.spec.in
ocaml 3.09 transition
[helm.git] / helm / configuration / helm_configuration.spec.in
index 959d48098dc4f18bdd863c52486a39288e57e853..56695c26356c85623858b4b9f2c8dfe928454840 100644 (file)
@@ -19,7 +19,7 @@ For more information see http://www.cs.unibo.it/helm
 
 %build
 cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install