]> matita.cs.unibo.it Git - helm.git/commitdiff
the spec file is now autoconfigured
authorLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 17:52:29 +0000 (17:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 17:52:29 +0000 (17:52 +0000)
helm/DEVEL/lablgtkmathview/configure.in
helm/DEVEL/lablgtkmathview/lablgtkmathview-0.2.2-1.spec [deleted file]
helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in [new file with mode: 0644]
helm/DEVEL/mlminidom/mlminidom.spec.in [new file with mode: 0644]

index c1403adea00fdebbc6d92ce0ee1f8794caa3a7d7..011dccbe875df960feeb2af1a83ebc141db2001f 100644 (file)
@@ -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 (file)
index 9bc1837..0000000
+++ /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 (file)
index 0000000..47b8689
--- /dev/null
@@ -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 (file)
index 0000000..ecac5f7
--- /dev/null
@@ -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