]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/helm_data.spec.in
ocaml 3.09 transition
[helm.git] / helm / helm_data / helm_data.spec.in
index fae80359cfc4ed89d706752da7497487bb2580bd..387a06f4b99789796d79ea898e0c9e1ca41a60e2 100644 (file)
@@ -5,7 +5,7 @@ Release: 1
 Copyright: GPL
 URL: http://www.cs.unibo.it/helm
 Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Requires: helm_configuration = 0.0.1
+Requires: helm_configuration >= 0.0.2
 Group: Applications/Publishing
 Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
 %description
@@ -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