[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.9-1-9-g6c60e79

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 94e10fbbdf4d162cd5a97ca215c59ae8c367957b
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Jun 1 21:12:28 2010 +0200

    Do not run tests when input files are absent

diff --git a/debian/changelog b/debian/changelog
index 876c820..b29ce73 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,10 @@ alt-ergo (0.91-1) unstable; urgency=low
   * New upstream release.
   * Update my email address and remove DMUA
   * Refresh packaging (dh-ocaml, dh overrides, quilt)
+    - Do not run tests when input files are absent
+      0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
 
- -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 20:37:56 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 01 Jun 2010 21:11:42 +0200
 
 alt-ergo (0.9-1) unstable; urgency=low
 
diff --git a/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent.patch b/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
new file mode 100644
index 0000000..9c6d40f
--- /dev/null
+++ b/debian/patches/0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Tue, 1 Jun 2010 21:08:31 +0200
+Subject: [PATCH] Do not run the test if test.mlw is absent
+
+---
+ Makefile.in |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/Makefile.in b/Makefile.in
+index f19ee42..d43b908 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -125,7 +125,7 @@ run: $(MAINCMX)
+ 	tar -czvf alt-ergo.tgz run smt_prelude.mlw
+ 
+ test: $(OPT)
+-	./$(OPT) test.mlw
++	[ ! -f test.mlw ] || ./$(OPT) test.mlw
+ 
+ testbyte:$(BYTE)
+ 	tests/test.sh $(BYTE) -glouton
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 605b2ad..2480f9b 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-No-need-to-activate-debug-flag.patch
+0002-Do-not-run-the-test-if-test.mlw-is-absent.patch

-- 
alt-ergo packaging