[PPL-devel] [GIT] ppl/ppl(master): Allow testing under MinGW.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: ab28235b89551c09ac97496a0c426994da74c379
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab28235b89551c09ac97496a0c426994da74c379

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 28 07:46:21 2009 +0100

Allow testing under MinGW.

---

 demos/ppl_lpsol/Makefile.am |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am
index 1045a0b..971597d 100644
--- a/demos/ppl_lpsol/Makefile.am
+++ b/demos/ppl_lpsol/Makefile.am
@@ -195,8 +195,19 @@ $(EGREP) "^Optimum value: " $(srcdir)/$(EXPECTED) \
 
 else !HOST_OS_SOLARIS
 
+if HOST_OS_MINGW
+
+DIFF_COMMAND = \
+tr -d '\015' <obtained \
+| sed -e "s/ppl_lpsol.exe/ppl_lpsol/g" -e "s/1e+012/1e+12/g" \
+| diff $(srcdir)/$(EXPECTED) -
+
+else !HOST_OS_MINGW
+
 DIFF_COMMAND = diff -u $(srcdir)/$(EXPECTED) obtained
 
+endif !HOST_OS_MINGW
+
 endif !HOST_OS_SOLARIS
 
 endif !HOST_OS_DARWIN