X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fhelm_gtk_interface.spec.in;h=0e567ae145f7fa136f0ce9d5f769a15aacb6dc68;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=1b9740d8141ecca104c6c9147a3b380b879fc259;hpb=1f9b151666123cccfc5862bce309c271799948fc;p=helm.git

diff --git a/helm/interface/helm_gtk_interface.spec.in b/helm/interface/helm_gtk_interface.spec.in
index 1b9740d81..0e567ae14 100644
--- a/helm/interface/helm_gtk_interface.spec.in
+++ b/helm/interface/helm_gtk_interface.spec.in
@@ -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