From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 29 Dec 2000 12:23:57 +0000 (+0000)
Subject: Some Requires were missing. Same checks still missing in configure.in
X-Git-Tag: nogzip~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;p=helm.git

Some Requires were missing. Same checks still missing in configure.in
---

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index 6a512e98c..469f365b1 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -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/^.*: *//'`
diff --git a/helm/interface/helm_gtk_interface-0.0.1-1.spec b/helm/interface/helm_gtk_interface-0.0.1-1.spec
index 3a861e24c..52de9d9cc 100644
--- a/helm/interface/helm_gtk_interface-0.0.1-1.spec
+++ b/helm/interface/helm_gtk_interface-0.0.1-1.spec
@@ -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