[PPL-devel] make check -n fails

[Ryan Hill]

Hello.

While packaging PPL for Gentoo I found that our package manager kept skipping
running the testsuite.  Basically, to determine if a package has a testsuite
it first runs make in dry-run mode:

+ make -j1 check -n
+ make -j1 test -n

..and if successful it goes ahead and runs the tests.

After a bit of poking, I discovered that the problem is that running `make
check -n` in PPL fails with an error:

make[3]: *** No rule to make target `../../tests/libppl_tests.a', needed by `addcongruences1'.  Stop.

Regular `make check` works fine of course, as does `make check -n` after `make
check`.

Full log attached.  Please CC me on replies.


-- 
gcc-porting,                                      by design, by neglect
treecleaner,                              for a fact or just for effect
wxwidgets @ gentoo     EFFD 380E 047A 4B51 D2BD C64F 8AA8 8346 F9A4 0662
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ppl-0.10.1-makecheckfail.log
Type: text/x-log
Size: 32709 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090414/e507413a/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090414/e507413a/attachment.sig>