The following commit has been merged in the experimental/master branch:
commit 8db280ad6b4d0c7a61726a2dada3bb1e3b5a3db6
Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr>
Date:   Tue Apr 16 12:00:28 2013 +0200

    simplify patch 0007

diff --git a/debian/patches/0007-Fix-all-target.patch 
b/debian/patches/0007-Fix-all-target.patch
index 4fe76a1..dc1d20b 100644
--- a/debian/patches/0007-Fix-all-target.patch
+++ b/debian/patches/0007-Fix-all-target.patch
@@ -1,6 +1,7 @@
 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 +++++++-
@@ -8,19 +9,17 @@ Subject: Fix 'all' target
 
 Index: alt-ergo/Makefile.in
 ===================================================================
---- alt-ergo.orig/Makefile.in  2013-04-04 14:07:02.000000000 +0200
-+++ alt-ergo/Makefile.in       2013-04-04 14:07:14.000000000 +0200
-@@ -75,7 +75,13 @@
+--- 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
-+all::
-+
 +ifeq ($(OCAMLBEST),opt)
-+all:: pack xpack opt pack xpack gui META
++all: pack xpack opt gui META
 +else
-+all:: pack byte pack gui META
++all: pack byte gui META
 +endif
  
  

-- 
alt-ergo 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

Reply via email to