[PPL-devel] [Fwd: Re: FreeBSD - Testsuite failures (Execution of BSDmake instead of GNUmake)]

[Roberto Bagnara]

-------- 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 at 07.antispam.web-wahnsinn.de>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <1232730663.2153.37.camel at localhost>	 <497B303F.1090106 at cs.unipr.it> <1233061638.20914.674.camel at localhost>	 <497F3B18.2050002 at 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



-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it