[Pkg-ocaml-maint-commits] r5261 - in /trunk/packages/matita/trunk/debian: changelog control rules

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Mon Mar  3 09:53:44 2008
New Revision: 5261

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5261
Log:
fixed matita dependency on byte-only aches

Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control
    trunk/packages/matita/trunk/debian/rules

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5261&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Mon Mar  3 09:53:44 2008
@@ -1,8 +1,9 @@
-matita (0.4.98-7) UNRELEASED; urgency=low
+matita (0.4.98-7) unstable; urgency=medium
 
-  * NOT RELEASED YET
+  * Added dependency on the bytecode interpreted (ocaml-base-nox-$OCAMLABI)
+    on architectures that do not compile in native code.
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Sun, 02 Mar 2008 22:52:33 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org>  Mon, 03 Mar 2008 10:34:52 +0100
 
 matita (0.4.98-6) unstable; urgency=medium
 

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=5261&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Mon Mar  3 09:53:44 2008
@@ -11,7 +11,7 @@
 
 Package: matita
 Architecture: any
-Depends: ${shlibs:Depends}
+Depends: ${shlibs:Depends}, ${interpreter:Depends}
 Recommends: matita-standard-library, graphviz
 Description: interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of

Modified: trunk/packages/matita/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/rules?rev=5261&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/rules (original)
+++ trunk/packages/matita/trunk/debian/rules Mon Mar  3 09:53:44 2008
@@ -13,6 +13,7 @@
 DEB_DH_INSTALL_SOURCEDIR := $(DEB_DESTDIR)
 # don't perform regular installation
 DEB_MAKE_INSTALL_TARGET :=
+OCAMLABI=$(shell ocamlc -version)
 
 common-install-arch::
 	# install matita
@@ -45,6 +46,15 @@
 	cp matita/matitac.byte debian/matita/usr/bin/ || true
 	cp matita/matita.opt debian/matita/usr/bin/ || true
 	cp matita/matitac.opt debian/matita/usr/bin/ || true
+	# make depend on the interpreter if needed
+	if [ ! -e matita/matitac.opt ]; then \
+	        echo "interpreter:Depends=ocaml-base-nox-$(OCAMLABI)" \
+	                >> debian/matita.substvars; \
+	else \
+	        echo "interpreter:Depends=" \
+	                >> debian/matita.substvars; \
+	fi
+
 
 common-install-indep::
 	# install matita library