]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/debian/rules
Initial revision
[helm.git] / helm / DEVEL / mlminidom / debian / rules
index f01db16c77242416231b3ccd79f85661285eb9ab..8fac22aeafa141b634f9a3adfb97130605ba7bb2 100755 (executable)
@@ -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,21 @@ 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
+       if [ -s $(UPSTREAM_CHANGELOG) ]; then \
+               dh_installchangelogs $(UPSTREAM_CHANGELOG); \
+       else \
+               dh_installchangelogs; \
+       fi
        dh_link
        dh_strip
        dh_compress