]> matita.cs.unibo.it Git - helm.git/commitdiff
Some Requires were missing. Same checks still missing in configure.in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Dec 2000 12:23:57 +0000 (12:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Dec 2000 12:23:57 +0000 (12:23 +0000)
helm/interface/configure.in
helm/interface/helm_gtk_interface-0.0.1-1.spec

index 6a512e98c998777f279fc7b24aee9e0577cf665c..469f365b1104caab5bb7236458d2bba5a4710dbe 100644 (file)
@@ -12,6 +12,11 @@ else
   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
 fi
 
+
+dnl MISSING CHECKS:
+dnl ocaml, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129
+dnl lablgtk-20001129_gtkmathview
+
 dnl General
 AC_MSG_CHECKING("for the ocaml library dir")
 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
index 3a861e24c46e39b5a1363be2b1062f6bd840ba62..52de9d9ccac353048dbbfdcd6a9b759ca4637f79 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
+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
 Group: Applications/Publishing
 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_gtk_interface-0.0.1-1.tar.gz
 %description