[Pkg-ocaml-maint-commits] [alt-ergo] 04/15: drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.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 c2476f3fdea0fc89d33735111cc4fbadc4ad45c5
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 15:25:00 2013 +0100

    drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
---
 debian/changelog                                   |    3 +++
 ...the-test-if-test.mlw-is-absent-and-use-be.patch |   24 --------------------
 debian/patches/series                              |    1 -
 3 files changed, 3 insertions(+), 25 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index afc4ccb..4f30290 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,9 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
 
   * update debian/watch, now points to ocamlpro site.
   * refresh patch 0001-No-need-to-activate-debug-flag.patch
+  * drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
+    the file test.mlw is no longer relevant. Add in debian/rules and overwrite
+    for dh_auto_test to select the right test target.
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 14:16:57 +0100
 
diff --git a/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch b/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
deleted file mode 100644
index 0280646..0000000
--- a/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
+++ /dev/null
@@ -1,24 +0,0 @@
-From: Mehdi Dogguy <mehdi at debian.org>
-Date: Tue, 1 Jun 2010 21:08:31 +0200
-Subject: Do not run the test if test.mlw is absent and use best target (not
- opt)
-
----
- Makefile.in |    4 ++--
- 1 files changed, 2 insertions(+), 2 deletions(-)
-
-Index: alt-ergo/Makefile.in
-===================================================================
---- alt-ergo.orig/Makefile.in	2013-04-03 17:01:21.006102206 +0200
-+++ alt-ergo/Makefile.in	2013-04-03 17:01:23.250113994 +0200
-@@ -166,8 +166,8 @@
- 	$(if $(QUIET), at echo 'Linking $@' &&) 
- 	$(OCAMLC) $(BFLAGS) -o altgr-ergo.byte $(BIBBYTE) $(BIBGUIBYTE) $^
- 
--test: $(OPT)
--	./$(OPT) test.mlw
-+test: $(NAME).$(OCAMLBEST)
-+	[ ! -f test.mlw ] || ./$^ test.mlw
- 
- testbyte:$(BYTE)
- 	tests/test.sh $(BYTE) -glouton
diff --git a/debian/patches/series b/debian/patches/series
index 776f52c..14cfcca 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,5 +1,4 @@
 0001-No-need-to-activate-debug-flag.patch
-0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
 0003-Fix-a-typo.patch
 0004-Add-rules-and-targets-for-gui.byte.patch
 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch

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