[PPL-devel] ppl-1.2 build failed 2 tests

[Sevak Kalantarian]

This was the outcome after I built ppl-1.2 on Solaris:

SevakAdmin at Chengeh:/source/ppl-1.2$ ./configure --build=x86_64-pc-solaris2.11 --prefix=/gnu/ppl-1.2 --enable-static --enable-shared --enable-ppl_lcdd --enable-ppl_lpsol --enable-ppl_pips --with-gmp=/gnu/gmp-6.2.1 --enable-interfaces=all --with-gnu-ld

...

SevakAdmin at Chengeh:/source/ppl-1.2$ gmake

...

SevakAdmin at Chengeh:/source/ppl-1.2$ gmake check

...

======================================
2 of 10 tests failed
Please report to ppl-devel at cs.unipr.it
======================================
gmake[5]: *** [Makefile:789: check-TESTS] Error 1
gmake[5]: Leaving directory '/export/source/ppl-1.2/tests/Concrete_Expression'
gmake[4]: *** [Makefile:913: check-am] Error 2
gmake[4]: Leaving directory '/export/source/ppl-1.2/tests/Concrete_Expression'
gmake[3]: *** [Makefile:1040: run_tests.stamp] Error 1
gmake[3]: Leaving directory '/export/source/ppl-1.2/tests/Concrete_Expression'
gmake[2]: *** [Makefile:913: check-am] Error 2
gmake[2]: Leaving directory '/export/source/ppl-1.2/tests/Concrete_Expression'
gmake[1]: *** [Makefile:589: check-recursive] Error 1
gmake[1]: Leaving directory '/export/source/ppl-1.2/tests'
gmake: *** [Makefile:553: check-recursive] Error 1
PASS: C_Expr
PASS: linearform1
PASS: linearize
PASS: digitalfilters1
PASS: bdshape1
PASS: bdshape2
PASS: octagonalshape1
PASS: octagonalshape2
tests failed: test04 test05 
FAIL: polyhedron1
tests failed: test04 test05 
FAIL: polyhedron2


I am using gcc-7.3.0 and libtool-2.4.6

Please let me know if you need additional information.

-Sevak