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 <trei...@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 <me...@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
_______________________________________________
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
