From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 17 Jan 2001 17:52:29 +0000 (+0000)
Subject: the spec file is now autoconfigured
X-Git-Tag: no-uwobo~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d8c9fecad26e0a355908b25eb41f45823533de5c;p=helm.git

the spec file is now autoconfigured
---

diff --git a/helm/DEVEL/lablgtkmathview/configure.in b/helm/DEVEL/lablgtkmathview/configure.in
index c1403adea..011dccbe8 100644
--- a/helm/DEVEL/lablgtkmathview/configure.in
+++ b/helm/DEVEL/lablgtkmathview/configure.in
@@ -19,8 +19,8 @@ AC_MSG_CHECKING(for the ocaml library dir)
 OCAML_ROOT=`ocamlc -v | grep "^Standard" | sed 's/^.*: *//'`
 AC_MSG_RESULT($OCAML_ROOT)
 
-RES="yes"
 AC_CHECK_FILE($OCAML_ROOT/lablgtk/gtk.ml,
+  RES="yes"
   LABLGTK_LIB_DIR=$OCAML_ROOT/lablgtk,
   RES="no"
 )
@@ -39,8 +39,8 @@ if test $RES = "no"; then
   AC_CACHE_SAVE
 fi
 
-RES="yes"
 AC_CHECK_FILE($OCAML_ROOT/mlminidom/minidom.mli,
+  RES="yes"
   MLMINIDOM_LIB_DIR=$OCAML_ROOT/mlminidom,
   RES="no"
 )
diff --git a/helm/DEVEL/lablgtkmathview/lablgtkmathview-0.2.2-1.spec b/helm/DEVEL/lablgtkmathview/lablgtkmathview-0.2.2-1.spec
deleted file mode 100644
index 9bc18375c..000000000
--- a/helm/DEVEL/lablgtkmathview/lablgtkmathview-0.2.2-1.spec
+++ /dev/null
@@ -1,28 +0,0 @@
-Summary: The LablGTK binding for the GtkMathView widget
-Name: lablgtkmathview
-Version: 0.2.2
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Luca Padovani <luca.padovani@cs.unibo.it>
-Requires: gtkmathview >= 0.2.2 ocaml >= 3.00 lablgtk_20001129, lablgtk-20001129_gtkmathview
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/lablgtkmathview-0.2.2.tar.gz
-%description
-The LablGTK binding for the GtkMathView widget
-
-%prep
-%setup
-
-%build
-./configure
-make configure
-
-%install
-make
-make opt
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-/usr/lib/ocaml/lablgtkmathview
diff --git a/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in b/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in
new file mode 100644
index 000000000..47b868916
--- /dev/null
+++ b/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in
@@ -0,0 +1,28 @@
+Summary: The LablGTK binding for the GtkMathView widget
+Name: @PACKAGE@
+Version: @VERSION@
+Release: 1
+Copyright: GPL
+URL: http://www.cs.unibo.it/helm
+Packager: Luca Padovani <luca.padovani@cs.unibo.it>
+Requires: gtkmathview >= 0.2.2 ocaml >= 3.00 lablgtk_20001129, lablgtk-20001129_gtkmathview
+Group: Applications/Publishing
+Source: www.cs.unibo.it:/~lpadovan/mml-widget/@PACKAGE@-@VERSION@.tar.gz
+%description
+The LablGTK binding for the GtkMathView widget
+
+%prep
+%setup
+
+%build
+./configure
+make configure
+
+%install
+make
+make opt
+make install
+
+%files
+%doc AUTHORS COPYING ChangeLog NEWS README
+/usr/lib/ocaml/lablgtkmathview
diff --git a/helm/DEVEL/mlminidom/mlminidom.spec.in b/helm/DEVEL/mlminidom/mlminidom.spec.in
new file mode 100644
index 000000000..ecac5f7f8
--- /dev/null
+++ b/helm/DEVEL/mlminidom/mlminidom.spec.in
@@ -0,0 +1,27 @@
+Summary: The Ocaml binding for the minidom library
+Name: @PACKAGE@
+Version: @VERSION@
+Release: 1
+Copyright: GPL
+URL: http://www.cs.unibo.it/helm
+Packager: Luca Padovani <luca.padovani@cs.unibo.it>
+Requires: ocaml >= 3.00, minidom >= 0.0.1, glib, glib-devel 
+Group: Applications/Publishing
+Source: www.cs.unibo.it:/~lpadovan/mml-widget/@PACKAGE@-@VERSION@.tar.gz
+%description
+The Ocaml binding for the minidom library
+
+%prep
+%setup
+
+%build
+./configure
+
+%install
+make
+make opt
+make install
+
+%files
+%doc AUTHORS COPYING ChangeLog NEWS README
+/usr/lib/ocaml/mlminidom