[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-41-gdd26091
Ralf Treinen
treinen at pps.univ-paris-diderot.fr
Tue Apr 16 11:37:23 UTC 2013
The following commit has been merged in the experimental/master branch:
commit 8db280ad6b4d0c7a61726a2dada3bb1e3b5a3db6
Author: Ralf Treinen <treinen at 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 <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 +++++++-
@@ -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
More information about the Pkg-ocaml-maint-commits
mailing list