[Pkg-ocaml-maint-commits] [alt-ergo] 12/15: debian/rules : additional make targets for build and install

[Ralf Treinen]

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 <treinen at 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