]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/helm_data.spec.in
*** empty log message ***
[helm.git] / helm / helm_data / helm_data.spec.in
index fae80359cfc4ed89d706752da7497487bb2580bd..3c708af3a72d1a97eb2ca1cc85d3b77744604a44 100644 (file)
@@ -21,7 +21,7 @@ For more information see http://www.cs.unibo.it/helm
 
 %build
 cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install