The following commit has been merged in the master branch:
commit af01c73fd3bf6fe6be833d54cf69f10a3d73c9c6
Author: Ralf Treinen <trei...@free.fr>
Date: Tue Feb 7 13:50:41 2012 +0100
drop our workaround for installation of algo.a
diff --git a/debian/changelog b/debian/changelog
index 44159cd..f9a4336 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,7 +4,10 @@ dose3 (2.9.10-1) UNRELEASED; urgency=low
* The ceve package has disapperaed, we have instead now a new package
edos-extra that contains all tools that do not deserve their own
package (for the moment: ceve, outdated, challenged).
- * debian/rules: configuration option --with-rpm has become --with-rpm4
+ * debian/rules:
+ - configuration option --with-rpm has become --with-rpm4
+ - upstream has fixed installation of algo.a, we can now remove our own
+ hack in override_auto_install.
* debian/control:
- The apt-cudf package now depends first on aspcud before the virtual
package cudf-solver
diff --git a/debian/rules b/debian/rules
index 39330ab..f874434 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,10 +13,6 @@ override_dh_auto_install:
&& mv deb-buildcheck dose3-builddebcheck \
&& mv outdated edos-outdated \
&& mv challenged edos-challenged
-# this should be fixed upstream:
- for d in _build/algo/algo.o _build/algo/algo.a; do \
- if [ -f $$d ]; then cp $$d debian/tmp/usr/lib/ocaml/dose3; fi;\
- done
override_dh_installman:
dh_installman
--
dose3 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
