From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 20 Jan 2002 14:41:51 +0000 (+0000)
Subject: Upgraded debian package for mlminidom 0.2.2
X-Git-Tag: mlminidom_0_2_2~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=42b42173858277463015d75ca1cbdf3f42060bce;p=helm.git

Upgraded debian package for mlminidom 0.2.2
---

diff --git a/helm/DEVEL/mlminidom/debian/changelog b/helm/DEVEL/mlminidom/debian/changelog
index 450dda842..8457b124b 100644
--- a/helm/DEVEL/mlminidom/debian/changelog
+++ b/helm/DEVEL/mlminidom/debian/changelog
@@ -1,3 +1,9 @@
+mlminidom (0.2.2-1) unstable; urgency=low
+
+  * New upstream release. Built with ocaml 3.04.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sun, 20 Jan 2002 15:18:38 +0100
+
 mlminidom (0.2.1-2) unstable; urgency=low
 
   * Bug fix: moved automagically generated configure from diff.gz to
diff --git a/helm/DEVEL/mlminidom/debian/control b/helm/DEVEL/mlminidom/debian/control
index 0710f9082..244cf2599 100644
--- a/helm/DEVEL/mlminidom/debian/control
+++ b/helm/DEVEL/mlminidom/debian/control
@@ -2,13 +2,12 @@ Source: mlminidom
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 2.0.0), ocaml, libglib1.2-dev, libminidom-dev, libxml2-dev, ocaml-findlib
+Build-Depends: debhelper (>> 3.0.0), ocaml (>= 3.04), libglib1.2-dev, libminidom-dev, libxml2-dev, ocaml-findlib
 Standards-Version: 3.5.2
 
 Package: mlminidom
 Architecture: any
-Depends: ${shlibs:Depends}
-Recommends: ocaml, libminidom0
+Depends: ocaml (>= 3.04), libminidom0 (>= 0.1.3)
 Description: OCaml binding for minidom
  This is the OCaml binding for minidom, that is currently available in
  the libminidom0 package.
diff --git a/helm/DEVEL/mlminidom/debian/docs b/helm/DEVEL/mlminidom/debian/docs
index e845566c0..6f12db508 100644
--- a/helm/DEVEL/mlminidom/debian/docs
+++ b/helm/DEVEL/mlminidom/debian/docs
@@ -1 +1,2 @@
+AUTHORS
 README
diff --git a/helm/DEVEL/mlminidom/debian/examples b/helm/DEVEL/mlminidom/debian/examples
new file mode 100644
index 000000000..31c13b443
--- /dev/null
+++ b/helm/DEVEL/mlminidom/debian/examples
@@ -0,0 +1 @@
+test.ml
diff --git a/helm/DEVEL/mlminidom/debian/rules b/helm/DEVEL/mlminidom/debian/rules
index f01db16c7..8e77d8191 100755
--- a/helm/DEVEL/mlminidom/debian/rules
+++ b/helm/DEVEL/mlminidom/debian/rules
@@ -8,6 +8,8 @@
 # This is the debhelper compatability version to use.
 export DH_COMPAT=2
 
+UPSTREAM_CHANGELOG = ChangeLog
+
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
@@ -22,7 +24,7 @@ build-stamp:
 
 	# Add here commands to compile the package.
 	$(MAKE)
-	-$(MAKE) opt
+	-test -x /usr/bin/ocamlopt && $(MAKE) opt
 	#/usr/bin/docbook-to-man debian/mlminidom.sgml > mlminidom.1
 
 	touch build-stamp
@@ -58,17 +60,17 @@ binary-arch: build install
 #	dh_installdebconf	
 	dh_installdocs
 	dh_installexamples
-	dh_installmenu
+# 	dh_installmenu
 #	dh_installlogrotate
 #	dh_installemacsen
 #	dh_installpam
 #	dh_installmime
 #	dh_installinit
-	dh_installcron
-	dh_installmanpages
-	dh_installinfo
+# 	dh_installcron
+# 	dh_installmanpages
+# 	dh_installinfo
 #	dh_undocumented
-	dh_installchangelogs ChangeLog
+	-test -s $(UPSTREAM_CHANGELOG) && dh_installchangelogs $(UPSTREAM_CHANGELOG)
 	dh_link
 	dh_strip
 	dh_compress