[Pkg-ocaml-maint-commits] [alt-ergo] 08/15: drop patch 0007-Fix-all-target.patch

[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 996dbd029a614485bbdb88f6033bf49f4080e3e6
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 15:40:54 2013 +0100

    drop patch 0007-Fix-all-target.patch
---
 debian/patches/0007-Fix-all-target.patch |   26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/debian/patches/0007-Fix-all-target.patch b/debian/patches/0007-Fix-all-target.patch
deleted file mode 100644
index dc1d20b..0000000
--- a/debian/patches/0007-Fix-all-target.patch
+++ /dev/null
@@ -1,26 +0,0 @@
-From: Mehdi Dogguy <mehdi at dogguy.org>
-Date: Wed, 14 Dec 2011 15:01:27 +0100
-Subject: Fix 'all' target
-Forwarded: https://gforge.inria.fr/tracker/index.php?func=detail&aid=15625&group_id=2340&atid=8106
-
----
- Makefile.in |    8 +++++++-
- 1 files changed, 7 insertions(+), 1 deletions(-)
-
-Index: alt-ergo/Makefile.in
-===================================================================
---- alt-ergo.orig/Makefile.in	2013-04-16 13:07:36.000000000 +0200
-+++ alt-ergo/Makefile.in	2013-04-16 13:09:01.000000000 +0200
-@@ -75,7 +75,11 @@
- BYTE=$(NAME).byte
- OPT=$(NAME).opt
- 
--all: pack xpack $(OCAMLBEST) pack xpack gui META
-+ifeq ($(OCAMLBEST),opt)
-+all: pack xpack opt gui META
-+else
-+all: pack byte gui META
-+endif
- 
- 
- # bytecode and native-code compilation

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git