]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/helm_gtk_interface.spec.in
Initial revision
[helm.git] / helm / interface / helm_gtk_interface.spec.in
index 1b9740d8141ecca104c6c9147a3b380b879fc259..0e567ae145f7fa136f0ce9d5f769a15aacb6dc68 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, helm_data = 0.0.1, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129, lablgtk-20001129_gtkmathview
+Requires: helm_configuration >= 0.0.2, helm_data >= 0.0.2, helm_http_getter >= 0.0.2, helm_uwobo >= 0.0.2, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk, lablgtkmathview >= 0.0.2
 Group: Applications/Publishing
 Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
 %description
@@ -19,12 +19,11 @@ For more information see http://www.cs.unibo.it/helm
 %setup
 
 %build
-cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
+make opt
 
 %install
-make opt
 make install
 
 %files