Package Details: polylib 5.22.8-2

Git Clone URL: https://aur.archlinux.org/polylib.git (read-only, click to copy)
Package Base: polylib
Description: A library of polyhedral functions
Upstream URL: http://icps.u-strasbg.fr/polylib/
Licenses: GPL-3.0-or-later
Provides: libpolylib32.so, libpolylib64.so
Submitter: hv15
Maintainer: hv15
Last Packager: hv15
Votes: 1
Popularity: 0.000000
First Submitted: 2015-09-16 14:29 (UTC)
Last Updated: 2025-07-12 07:58 (UTC)

Latest Comments

micwoj92 commented on 2025-07-12 10:08 (UTC)

Thanks again

hv15 commented on 2025-07-12 07:59 (UTC)

Hi @micwoj92, the issue is fixed in latest revision.

micwoj92 commented on 2025-07-11 08:35 (UTC)

It's impossible to install polylib-gmp:

polylib-gmp: /usr/bin/ehrhart_rankinggmp exists in filesystem (owned by polylib)
polylib-gmp: /usr/bin/ehrhart_uniongmp exists in filesystem (owned by polylib)
polylib-gmp: /usr/bin/ppgmp exists in filesystem (owned by polylib)
polylib-gmp: /usr/bin/testehrhartgmp exists in filesystem (owned by polylib)
polylib-gmp: /usr/lib/libpolylibgmp.so exists in filesystem (owned by polylib)
polylib-gmp: /usr/lib/libpolylibgmp.so.8 exists in filesystem (owned by polylib)
polylib-gmp: /usr/lib/libpolylibgmp.so.8.2.0 exists in filesystem (owned by polylib)

micwoj92 commented on 2025-03-05 22:21 (UTC)

Thanks

hv15 commented on 2025-03-05 20:50 (UTC)

Thanks for reporting @micwoj92, it's now fixed.

micwoj92 commented on 2025-03-05 18:48 (UTC)

Build fails:

../applications/testCompressParms.c: In function ‘main’:
../applications/testCompressParms.c:58:9: error: implicit declaration of function ‘test_Constraints_Remove_parm_eqs’; did you mean ‘Constraints_Remove_parm_eqs’? [-Wimplicit-function-declaration]
   58 |   TEST( test_Constraints_Remove_parm_eqs(A, B) )
      |         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../applications/testCompressParms.c:36:28: note: in definition of macro ‘TEST’
   36 | #define TEST(a) if (isOk = a) { \
      |                            ^
../applications/testCompressParms.c:59:9: error: implicit declaration of function ‘test_Polyhedron_Remove_parm_eqs’; did you mean ‘Polyhedron_Remove_parm_eqs’? [-Wimplicit-function-declaration]
   59 |   TEST( test_Polyhedron_Remove_parm_eqs(A, B) )
      |         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../applications/testCompressParms.c:36:28: note: in definition of macro ‘TEST’
   36 | #define TEST(a) if (isOk = a) { \
      |                            ^
../applications/testCompressParms.c:60:9: error: implicit declaration of function ‘test_Constraints_fullDimensionize’; did you mean ‘Constraints_fullDimensionize’? [-Wimplicit-function-declaration]
   60 |   TEST( test_Constraints_fullDimensionize(A, B, 4) )
      |         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../applications/testCompressParms.c:36:28: note: in definition of macro ‘TEST’
   36 | #define TEST(a) if (isOk = a) { \
      |                            ^
mv -f .deps/Zpolytest64-Zpolytest.Tpo .deps/Zpolytest64-Zpolytest.Po
mv -f .deps/count-count.Tpo .deps/count-count.Po
make[2]: *** [Makefile:2037: testCompressParms64-testCompressParms.o] Error 1
make[2]: *** Waiting for unfinished jobs....
mv -f .deps/libpolylib64_la-Zpolyhedron.Tpo .deps/libpolylib64_la-Zpolyhedron.Plo
mv -f .deps/verif_ehrhart64-verif_ehrhart.Tpo .deps/verif_ehrhart64-verif_ehrhart.Po
mv -f .deps/libpolylib64_la-Lattice.Tpo .deps/libpolylib64_la-Lattice.Plo
mv -f .deps/libpolylib64_la-ehrhart.Tpo .deps/libpolylib64_la-ehrhart.Plo
mv -f .deps/libpolylib64_la-polyhedron.Tpo .deps/libpolylib64_la-polyhedron.Plo
make[2]: Leaving directory '/build/polylib/src/polylib-5.22.5/polylib'
make[1]: *** [Makefile:2178: all-recursive] Error 1
make[1]: Leaving directory '/build/polylib/src/polylib-5.22.5/polylib'
make: *** [Makefile:682: all] Error 2
==> ERROR: A failure occurred in build().
    Aborting...