Hi Sevak.

Thanks for the feedback. Can you please try with the current Git version, devel branch? You can find the repository at:

git://git.bugseng.com/ppl/ppl.git

Thanks,

Roberto

On 02/03/22 16:55, Sevak Kalantarian wrote:

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

SevakAdmin@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@Chengeh:/source/ppl-1.2$ gmake

...

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

...

====================================== 2 of 10 tests failed Please report to ppl-devel@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 _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel