[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-13-gc77a550

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 813803eb31f61417bf74a17a200ec7ce547b77db
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Fri Jun 10 23:48:00 2011 +0200

    add trigger to monitor /usr/share/cudf/solvers/ and run update-cudf-solvers at each change

diff --git a/debian/apt-cudf.postinst b/debian/apt-cudf.postinst
new file mode 100644
index 0000000..f15d5a2
--- /dev/null
+++ b/debian/apt-cudf.postinst
@@ -0,0 +1,11 @@
+#!/bin/sh
+set -e
+
+# Will be invoked both at apt-cudf configuration time and each time the trigger
+# monitoring CUDF solver dir (usually /usr/share/cudf/solvers/) is activated.
+#
+update-cudf-solvers
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/apt-cudf.prerm b/debian/apt-cudf.prerm
new file mode 100644
index 0000000..316ea89
--- /dev/null
+++ b/debian/apt-cudf.prerm
@@ -0,0 +1,11 @@
+#!/bin/sh
+set -e
+
+# Clean up EDSP (i.e. APT external) solvers which have been generated for CUDF
+# solvers. They will be added back upon (re-)installation of apt-cudf.
+#
+update-cudf-solvers --remove
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/apt-cudf.triggers b/debian/apt-cudf.triggers
new file mode 100644
index 0000000..d009580
--- /dev/null
+++ b/debian/apt-cudf.triggers
@@ -0,0 +1 @@
+interest /usr/share/cudf/solvers
diff --git a/debian/changelog b/debian/changelog
index a654c7e..8bbe7c8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -9,6 +9,8 @@ dose3 (2.9.4+r2696-1) UNRELEASED; urgency=low
       external solvers
     - new helper update-cudf-solvers, to be invoked at each new
       installation of CUDF solvers, to bind them to APT
+    - set up trigger monitoring /usr/share/cudf/solvers/; it will invoke
+      update-cudf-solvers at each change
 
  -- Stefano Zacchiroli <zack at debian.org>  Fri, 10 Jun 2011 15:45:43 +0200
 

-- 
dose3 packaging