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

[Roberto Bagnara]

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 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
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel