This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit e6907cc66325a7d720c0435932db08abbc13abb5
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date: Tue Nov 5 16:07:29 2013 +0100
debian/rules : additional make targets for build and install
---
debian/rules | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/debian/rules b/debian/rules
index 4e1b37c..b2a5cca 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,7 +16,10 @@ override_dh_auto_build:
# we have to assure that configure is newer than configure.in since
# patch 0005 patches them both (see bug #669539)
touch configure
- $(MAKE) all
+ $(MAKE) all gui
+
+override_dh_auto_install:
+ $(MAKE) DESTDIR=debian/tmp install install-gui install-pack
override_dh_auto_clean:
if [ -f Makefile ]; then \
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
_______________________________________________
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
