-------- Original Message -------- Subject: Re: [PPL-devel] FreeBSD - Testsuite failures (Execution of BSDmake instead of GNUmake) Date: Fri, 06 Feb 2009 13:53:02 -0600 From: Tobias Grosser ppl-devel@07.antispam.web-wahnsinn.de To: Roberto Bagnara bagnara@cs.unipr.it References: 1232730663.2153.37.camel@localhost 497B303F.1090106@cs.unipr.it 1233061638.20914.674.camel@localhost 497F3B18.2050002@cs.unipr.it
I also tried to run "make check" and it seems to have some problems.
It fails with: [...] gmake[3]: Entering directory `/usr/home/Tobi/ppl-0.10.1pre4/tests/Box' ./run_tests **************************** rt_r_oc **************************** make: don't know how to make w. Stop gmake[3]: *** [run_tests.stamp] Error 1 gmake[3]: Leaving directory `/usr/home/Tobi/ppl-0.10.1pre4/tests/Box' gmake[2]: *** [check-am] Error 2 gmake[2]: Leaving directory `/usr/home/Tobi/ppl-0.10.1pre4/tests/Box' gmake[1]: *** [check-recursive] Error 1 gmake[1]: Leaving directory `/usr/home/Tobi/ppl-0.10.1pre4/tests' gmake: *** [check-recursive] Error 1
At the moment I have no idea where the "w" comes from. But I will look a little bit more into it.
Very strange. Please let us know if you find what happens.
Sure:
In tests/Box/run_tests you have the code:
| if [ -z "$MAKE" ] | then | MAKE=make | fi
[...]
| $MAKE check TESTS="$check_PROGRAMS" TESTS_ENVIRONMENT="$CHECKER" | TEST_CPPFLAGS="-DBOX_INSTANCE=$instance" XFAIL_TESTS= | $xfail_tests || exit 1 | $MAKE clean && rm dirty_marker | done
The default in FreeBSD is that MAKE is not defined and the executable "make" is the BSD make, that is not compatible to the GNU make. To compile normal GNU projects I just type "gmake" instead of "make". This works for PPL, but in run_tests we shift back to the BSD make.
A simple solution is to just set MAKE=gmake. But i would prefer a nice auto detection like for gm4, this one is great.
After running the test suite with gnu make, it got one failure:
failed tests: test02 test03 FAIL: propagateconstraints2
How can I help you to debug this one?
See you
Tobi