The following commit has been merged in the master branch:
commit c671b9fa6195616f7154591e3493b6b451b5c340
Author: Hendrik Tews <[email protected]>
Date: Wed May 23 16:43:55 2012 +0200
dh_gencontrol override & section
diff --git a/debian/control b/debian/control
index 40fe4d5..a6ff5aa 100644
--- a/debian/control
+++ b/debian/control
@@ -1,5 +1,5 @@
Source: prooftree
-Section: x11
+Section: science
Priority: optional
Maintainer: Debian OCaml Maintainers <[email protected]>
Uploaders:
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index e69de29..0000000
diff --git a/debian/rules b/debian/rules
index 7e413f8..6327661 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,10 +7,8 @@
# This special exception was added by Craig Small in version 0.37 of dh-make.
# Uncomment this to turn on verbose mode.
-export DH_VERBOSE=1
-export DH_OPTIONS=-v
-
-include /usr/share/ocaml/ocamlvars.mk
+# export DH_VERBOSE=1
+# export DH_OPTIONS=-v
# This has to be exported to make some magic below work.
export DH_OPTIONS
@@ -26,7 +24,3 @@ override_dh_auto_clean:
.PHONY: override_dh_auto_configure
override_dh_auto_configure:
./configure --prefix /usr
-
-.PHONY: override_dh_gencontrol
-override_dh_gencontrol:
- dh_gencontrol -- -VF:OCamlABI="$(OCAML_ABI)"
--
prooftree packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
