August 2008 - PPL-devel - BUGSENG Mailman

ppl/src Boundary.defs.hh
by Roberto Bagnara 27 Aug '08

27 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-27 21:17:53 Modified files: src : Boundary.defs.hh Log message: Work around a bug of GCC 4.0.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

[Fwd: building ppl under cygwin]
by Roberto Bagnara 27 Aug '08

27 Aug '08

-------- Original Message -------- Subject: building ppl under cygwin Date: Tue, 26 Aug 2008 16:52:54 -0500 From: Jagasia, Harsha <harsha.jagasia(a)amd.com> To: <bagnara(a)cs.unipr.it>, "Harle, Christophe" <christophe.harle(a)amd.com> CC: Pop, Sebastian <Sebastian.Pop(a)amd.com>, <sebpop(a)gmail.com>, Sjodin, Jan <Jan.Sjodin(a)amd.com>, rajagopal, dwarak <dwarak.rajagopal(a)amd.com> Hi Roberto, I am using gcc 4.0.3 and ppl 10 as you suggested, but still no cigar under Cygwin. I used gcc 4.0.3 to build gmp, configured with "./configure --prefix=/tmp/usr --enable-cxx" This gmp was installed in a different location "/tmp/usr" from the gmp that I needed to build gcc 4.0.3. I then tried to build ppl also using gcc 4.0.3. The configure was done, excerpt as below: checking how to link with libgmp... /tmp/usr/lib/libgmp.a checking how to link with libgmpxx... /tmp/usr/lib/libgmpxx.a /tmp/usr/lib/libgmp.a checking for the GMP library version 4.1.3 or above... yes checking for mp_limb_t... yes checking size of mp_limb_t... 4 checking whether GMP has been compiled with support for exceptions... yes checking for __mpz_struct._mp_alloc... yes checking for __mpz_struct._mp_size... yes checking for __mpz_struct._mp_d... yes The ppl was downloaded from the graphite wiki. It is ppl-0.10pre24. I get errors when trying to build ppl, see the attached file. Do I need to explicitly use some options to build a dynamic gmp library? Thoughts? Thanks, Harsha -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it /bin/sh ../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -no-undefined -version-info 7:0:0 -o libppl.la -rpath /usr/lib Box.lo checked. lo Checked_Number.lo Float.lo fpu-ia32.lo Constraint.lo Constraint_System.lo Con gruence.lo Congruence_System.lo Generator_System.lo Grid_Generator_System.lo Gen erator.lo Grid_Generator.lo Init.lo Coefficient.lo Linear_Expression.lo Linear_S ystem.lo Matrix.lo Scalar_Products.lo MIP_Problem.lo Poly_Con_Relation.lo Poly_G en_Relation.lo BHRZ03_Certificate.lo H79_Certificate.lo Grid_Certificate.lo Poly hedron_nonpublic.lo Polyhedron_public.lo Polyhedron_chdims.lo Polyhedron_widenin gs.lo C_Polyhedron.lo NNC_Polyhedron.lo Grid_nonpublic.lo Grid_public.lo Grid_ch dims.lo Grid_widenings.lo BD_Shape.lo Octagonal_Shape.lo Pointset_Powerset.lo Ro w.lo Linear_Row.lo Bit_Matrix.lo Bit_Row.lo Ph_Status.lo Grid_Status.lo Variable .lo Variables_Set.lo conversion.lo minimize.lo simplify.lo Grid_conversion.lo Gr id_simplify.lo globals.lo mp_std_bits.lo version.lo -lm -L/tmp/usr/lib -lgmpx x -L/tmp/usr/lib -lgmp *** Warning: This system can not link to static lib archive /tmp/usr/lib/libgmpx x.la. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have. *** Warning: This system can not link to static lib archive /tmp/usr/lib/libgmp. la. *** I have the capability to make that library automatically link in when *** you link to this library. But I can only do this if you have a *** shared version of the library, which you do not appear to have. libtool: link: rm -fr .libs/libppl.dll.a libtool: link: g++ -shared -nostdlib .libs/Box.o .libs/checked.o .libs/Checked _Number.o .libs/Float.o .libs/fpu-ia32.o .libs/Constraint.o .libs/Constraint_Sys tem.o .libs/Congruence.o .libs/Congruence_System.o .libs/Generator_System.o .lib s/Grid_Generator_System.o .libs/Generator.o .libs/Grid_Generator.o .libs/Init.o .libs/Coefficient.o .libs/Linear_Expression.o .libs/Linear_System.o .libs/Matrix .o .libs/Scalar_Products.o .libs/MIP_Problem.o .libs/Poly_Con_Relation.o .libs/P oly_Gen_Relation.o .libs/BHRZ03_Certificate.o .libs/H79_Certificate.o .libs/Grid _Certificate.o .libs/Polyhedron_nonpublic.o .libs/Polyhedron_public.o .libs/Poly hedron_chdims.o .libs/Polyhedron_widenings.o .libs/C_Polyhedron.o .libs/NNC_Poly hedron.o .libs/Grid_nonpublic.o .libs/Grid_public.o .libs/Grid_chdims.o .libs/Gr id_widenings.o .libs/BD_Shape.o .libs/Octagonal_Shape.o .libs/Pointset_Powerset. o .libs/Row.o .libs/Linear_Row.o .libs/Bit_Matrix.o .libs/Bit_Row.o .libs/Ph_Sta tus.o .libs/Grid_Status.o .libs/Variable.o .libs/Variables_Set.o .libs/conversio n.o .libs/minimize.o .libs/simplify.o .libs/Grid_conversion.o .libs/Grid_simplif y.o .libs/globals.o .libs/mp_std_bits.o .libs/version.o -L/tmp/usr/lib -L/tmp/ obj-4.0.3/lib/gcc/i686-pc-cygwin/4.0.3 -L/tmp/obj-4.0.3/lib/gcc/i686-pc-cygwin/4 .0.3/../../.. -lstdc++ -lgcc -lcygwin -luser32 -lkernel32 -ladvapi32 -lshell32 - lgcc -o .libs/cygppl-7.dll -Wl,--enable-auto-image-base -Xlinker --out-impli b -Xlinker .libs/libppl.dll.a .libs/checked.o: In function `_ZN23Parma_Polyhedra_Library7Checked9input_mpqER10 __gmp_exprIA1_12__mpq_structS3_ERSi': /tmp/usr/include/gmpxx.h:1794: undefined reference to `___gmpq_set_si' .libs/checked.o: In function `_ZN23Parma_Polyhedra_Library7Checked9input_mpqER10 __gmp_exprIA1_12__mpq_structS3_ERSi': /tmp/ppl-0.10pre24/src/checked.cc:321: undefined reference to `___gmpz_set_str' /tmp/ppl-0.10pre24/src/checked.cc:325: undefined reference to `___gmpz_set_str' /tmp/ppl-0.10pre24/src/checked.cc:329: undefined reference to `___gmpz_init' /tmp/ppl-0.10pre24/src/checked.cc:338: undefined reference to `___gmpz_ui_pow_ui ' /tmp/ppl-0.10pre24/src/checked.cc:340: undefined reference to `___gmpz_mul' /tmp/ppl-0.10pre24/src/checked.cc:344: undefined reference to `___gmpz_clear' .libs/checked.o: In function `_ZN23Parma_Polyhedra_Library7Checked9input_mpqER10 __gmp_exprIA1_12__mpq_structS3_ERSi': /tmp/usr/include/gmpxx.h:1709: undefined reference to `___gmpq_canonicalize' .libs/checked.o: In function `_ZN23Parma_Polyhedra_Library7Checked9input_mpqER10 __gmp_exprIA1_12__mpq_structS3_ERSi': /tmp/ppl-0.10pre24/src/checked.cc:363: undefined reference to `___gmpz_set_ui' /tmp/ppl-0.10pre24/src/checked.cc:331: undefined reference to `___gmpz_ui_pow_ui ' /tmp/ppl-0.10pre24/src/checked.cc:333: undefined reference to `___gmpz_mul' /tmp/ppl-0.10pre24/src/checked.cc:342: undefined reference to `___gmpz_mul' /tmp/ppl-0.10pre24/src/checked.cc:335: undefined reference to `___gmpz_mul' /tmp/ppl-0.10pre24/src/checked.cc:353: undefined reference to `___gmpz_ui_pow_ui ' /tmp/ppl-0.10pre24/src/checked.cc:358: undefined reference to `___gmpz_init' /tmp/ppl-0.10pre24/src/checked.cc:359: undefined reference to `___gmpz_ui_pow_ui ' /tmp/ppl-0.10pre24/src/checked.cc:360: undefined reference to `___gmpz_mul' /tmp/ppl-0.10pre24/src/checked.cc:361: undefined reference to `___gmpz_clear' .libs/Constraint.o: In function `_ZNK23Parma_Polyhedra_Library10Constraint16is_e quivalent_toERKS0_': /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10ConstraintC1ERKNS _10CongruenceEjj': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10ConstraintC2ERKNS _10CongruenceEjj': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10ConstraintC1ERKNS _10CongruenceE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10ConstraintC2ERKNS _10CongruenceE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10Constraint26const ruct_epsilon_geq_zeroEv': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10Constraint10initi alizeEv': /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10Constraint10initi alizeEv': /tmp/usr/include/gmp.h:1707: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library10Constraint10initi alizeEv': /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:72: undefined reference to `___gmpz_add' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10ConstraintE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_si' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10ConstraintE': /tmp/usr/include/gmp.h:1707: undefined reference to `___gmpz_set' .libs/Constraint.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10ConstraintE': /tmp/usr/include/gmpxx.h:2094: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:73: undefined reference to `___gmp z_addmul' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:73: undefined reference to `___gmp z_addmul' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' .libs/Constraint_System.o: In function `_ZN23Parma_Polyhedra_Library17Constraint _System10ascii_loadERSi': /tmp/usr/include/gmpxx.h:2101: undefined reference to `operator>>(std::basic_ist ream<char, std::char_traits<char> >&, __mpz_struct*)' .libs/Constraint_System.o: In function `_ZNK23Parma_Polyhedra_Library17Constrain t_System10ascii_dumpERSo': /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' .libs/Constraint_System.o: In function `_ZNK23Parma_Polyhedra_Library17Constrain t_System2OKEv': /tmp/ppl-0.10pre24/src/Constraint_System.cc:605: undefined reference to `___gmpz _init' /tmp/ppl-0.10pre24/src/Constraint_System.cc:605: undefined reference to `___gmpz _init' .libs/Congruence.o: In function `_ZNK23Parma_Polyhedra_Library10Congruence10asci i_dumpERSo': /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence9normal izeEv': /tmp/usr/include/gmpxx.h:606: undefined reference to `___gmpz_tdiv_r' /tmp/usr/include/gmpxx.h:72: undefined reference to `___gmpz_add' .libs/Congruence.o: In function `_ZNK23Parma_Polyhedra_Library10Congruence16is_t rivial_falseEv': /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:606: undefined reference to `___gmpz_tdiv_r' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence.o: In function `_ZNK23Parma_Polyhedra_Library10Congruence15is_t rivial_trueEv': /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:606: undefined reference to `___gmpz_tdiv_r' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence10ascii _loadERSi': /tmp/usr/include/gmpxx.h:2101: undefined reference to `operator>>(std::basic_ist ream<char, std::char_traits<char> >&, __mpz_struct*)' /tmp/usr/include/gmpxx.h:2101: undefined reference to `operator>>(std::basic_ist ream<char, std::char_traits<char> >&, __mpz_struct*)' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence6create ERKNS_17Linear_ExpressionES3_': /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence10initi alizeEv': /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:194: undefined reference to `___gmpz_sub' /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:194: undefined reference to `___gmpz_sub' /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence10initi alizeEv': /tmp/usr/include/gmp.h:1707: undefined reference to `___gmpz_set' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10Congruence10initi alizeEv': /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence.o:/tmp/usr/include/gmpxx.h:1602: more undefined references to ` ___gmpz_clear' follow .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10CongruenceC1ERKNS _10ConstraintEjj': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10CongruenceC2ERKNS _10ConstraintEjj': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10CongruenceC1ERKNS _10ConstraintE': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library10CongruenceC2ERKNS _10ConstraintE': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10CongruenceE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_si' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10CongruenceE': /tmp/usr/include/gmp.h:1707: undefined reference to `___gmpz_set' .libs/Congruence.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERS oRKNS_10CongruenceE': /tmp/usr/include/gmpxx.h:2094: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System25add_unit_rows_and_columnsEj': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Congruence_System.o: In function `_ZNK23Parma_Polyhedra_Library17Congruenc e_System11is_equal_toERKS0_': /tmp/usr/include/gmpxx.h:760: undefined reference to `___gmpz_cmp' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16normalize_moduliEv': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16normalize_moduliEv': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:68: undefined reference to `___gmp z_lcm' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16normalize_moduliEv': /tmp/usr/include/gmpxx.h:760: undefined reference to `___gmpz_cmp' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16normalize_moduliEv': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:84: undefined reference to `___gmp z_divexact' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16normalize_moduliEv': /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:73: undefined reference to `___gmp z_addmul' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_ui' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:73: undefined reference to `___gmp z_addmul' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15affine_preimageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_str uctS6_E': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' .libs/Congruence_System.o: In function `_ZNK23Parma_Polyhedra_Library17Congruenc e_System25satisfies_all_congruencesERKNS_14Grid_GeneratorE': /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1549: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:606: undefined reference to `___gmpz_tdiv_r' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System15insert_verbatimERKNS_10CongruenceE': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System16recycling_insertERS0_': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System6insertERKS0_': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Congruence_System.o: In function `_ZN23Parma_Polyhedra_Library17Congruence _System11concatenateERKS0_': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem10ascii_loadERSi': /tmp/usr/include/gmpxx.h:2101: undefined reference to `operator>>(std::basic_ist ream<char, std::char_traits<char> >&, __mpz_struct*)' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem32add_corresponding_closure_pointsEv': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem24add_corresponding_pointsEv': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem12affine_imageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_structS6 _E': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem6insertERKNS_9GeneratorE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem14insert_pendingERKNS_9GeneratorE': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Generator_System.o: In function `_ZN23Parma_Polyhedra_Library16Generator_S ystem35adjust_topology_and_space_dimensionENS_8TopologyEj': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Generator_System.o:/tmp/usr/include/gmpxx.h:1606: more undefined reference s to `___gmpz_set' follow .libs/Generator_System.o: In function `_ZNK23Parma_Polyhedra_Library16Generator_ System13relation_withERKNS_10ConstraintE': /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' .libs/Generator_System.o: In function `_ZNK23Parma_Polyhedra_Library16Generator_ System10ascii_dumpERSo': /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' .libs/Grid_Generator_System.o: In function `_ZN23Parma_Polyhedra_Library21Grid_G enerator_System29add_universe_rows_and_columnsEj': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' .libs/Grid_Generator_System.o: In function `_ZN23Parma_Polyhedra_Library21Grid_G enerator_System12affine_imageEjRKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mp z_structS6_E': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Grid_Generator_System.o: In function `_ZN23Parma_Polyhedra_Library21Grid_G enerator_System6insertERKNS_14Grid_GeneratorE': /tmp/usr/include/gmpxx.h:1546: undefined reference to `___gmpz_init_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator25is_matc hing_closure_pointERKS0_': /tmp/usr/include/gmpxx.h:760: undefined reference to `___gmpz_cmp' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator25is_matc hing_closure_pointERKS0_': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:50: undefined reference to `___gmp z_gcd' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator25is_matc hing_closure_pointERKS0_': /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:320: undefined reference to `___gmpz_mul' /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator25is_matc hing_closure_pointERKS0_': /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:84: undefined reference to `___gmp z_divexact' /tmp/ppl-0.10pre24/src/GMP_Integer.inlines.hh:84: undefined reference to `___gmp z_divexact' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator25is_matc hing_closure_pointERKS0_': /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' .libs/Generator.o: In function `_ZNK23Parma_Polyhedra_Library9Generator16is_equi valent_toERKS0_': /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' /tmp/usr/include/gmpxx.h:825: undefined reference to `___gmpz_cmp' .libs/Generator.o: In function `_ZN23Parma_Polyhedra_Library12IO_OperatorslsERSo RKNS_9GeneratorE': /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' /tmp/usr/include/gmpxx.h:767: undefined reference to `___gmpz_cmp_si' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:2086: undefined reference to `operator<<(std::basic_ost ream<char, std::char_traits<char> >&, __mpz_struct const*)' /tmp/usr/include/gmpxx.h:832: undefined reference to `___gmpz_cmp_ui' /tmp/usr/include/gmpxx.h:1544: undefined reference to `___gmpz_init' .libs/Generator.o: In function `_ZN23Parma_Polyhedra_Library9Generator5pointERKN S_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_structS6_E': /tmp/usr/include/gmpxx.h:1606: undefined reference to `___gmpz_set' .libs/Generator.o: In function `_ZN23Parma_Polyhedra_Library9Generator13closure_ pointERKNS_17Linear_ExpressionERK10__gmp_exprIA1_12__mpz_structS6_E': /tmp/usr/include/gmpxx.h:1614: undefined reference to `___gmpz_set_si' /tmp/usr/include/gmpxx.h:1554: undefined reference to `___gmpz_init_set_si' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' /tmp/usr/include/gmpxx.h:1602: undefined reference to `___gmpz_clear' .libs/Generator.o:make[3]: *** [libppl.la] Interrupt make[2]: *** [all] Interrupt make[1]: *** [all-recursive] Interrupt make: *** [all] Interrupt

1 0

ppl/src Interval.inlines.hh
by Enea Zaffanella 26 Aug '08

26 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-26 19:29:57 Modified files: src : Interval.inlines.hh Log message: (Temporarily?) Commented out call to method OK() in operator<<(), which is also used by method ascii_dump(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Interval.defs.hh
by Enea Zaffanella 26 Aug '08

26 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-26 19:28:17 Modified files: src : Interval.defs.hh Log message: Avoid long lines in method OK(); when doing output on std::cerr, prefer "\n" to std::endl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 26 Aug '08

26 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-26 19:26:26 Modified files: src : Box.templates.hh Log message: Corrected spelling typo in comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Andrea Cimino 26 Aug '08

26 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-08-26 12:56:07 Modified files: interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Makefile.am ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Added files: interfaces/Java/ppl_java: Pair.java Log message: Implemened the following methods in the Java interface: ppl_@CLASS@_ascii_dump/1 ppl_@CLASS@_@PARTITION@/4 +pointset_powerset \grid To do so, a new Pair class has been introduced to wrap the result of a CXX std::pair class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Pair… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl ./TODO interfaces/Prolog/SWI/README.swiprolog
by Roberto Bagnara 25 Aug '08

25 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-25 22:18:23 Modified files: . : TODO interfaces/Prolog/SWI: README.swiprolog Log message: In the SWI-Prolog documentation, the command to dynamically load the library has been modified so as to specify the `.so' extension: this seems to be required under Mac OS X and seems not to do any harm under GNU/Linux. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/README.…

1 0

ppl ./NEWS ./configure.ac fedora/ppl.spec inte ...
by Roberto Bagnara 25 Aug '08

25 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-25 22:08:59 Modified files: . : NEWS configure.ac fedora : ppl.spec interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 swi_cfli.hh swi_efli.cc swi_efli.hh Log message: The preferred spelling is `SWI-Prolog', not `SWI Prolog'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.23… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_efl…

1 0

ppl/interfaces ppl_interface_generator_copyrig ...
by Roberto Bagnara 25 Aug '08

25 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-25 21:28:42 Modified files: interfaces : ppl_interface_generator_copyright interfaces/Prolog: ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_files.m4 interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 swi_pl_check.pl swi_predicate_check.pl Log message: Fixed several comments and meta-comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pre…

1 0

ppl ./configure.ac interfaces/Prolog/Makefile. ...
by Roberto Bagnara 25 Aug '08

25 Aug '08

1 0