Hi guys, After trying 'fink selfupdate' then 'fink update-all' few times, I got the following leading to a compilation failure as indicated way way below...
software: mac os x lion 10.7.5 (11g63) Many thanks again for your help ... -Saleh ============================================== mac-saleh$ fink selfupdate /usr/bin/rsync -az -v rsync://distfiles.master.finkmirrors.net/finkinfo//TIMESTAMP /sw/fink/TIMESTAMP.tmp receiving file list ... done TIMESTAMP sent 38 bytes received 126 bytes 109.33 bytes/sec total size is 11 speedup is 0.07 I will now run the rsync command to retrieve the latest package descriptions. /usr/bin/su saleh -c "/usr/bin/rsync -rtz --delete-after --delete -v --include='10.7/' --include='10.7/stable/' --include='10.7/stable/main/' --include='10.7/stable/main/finkinfo/' --include='10.7/stable/main/finkinfo/*/' --include='10.7/stable/main/finkinfo/*' --include='10.7/stable/main/finkinfo/**/*' --include='VERSION' --include='DISTRIBUTION' --include='README' --exclude='**' 'rsync://distfiles.master.finkmirrors.net/finkinfo' '/sw/fink/'" receiving file list ... done ./ 10.7/ sent 266 bytes received 161708 bytes 107982.67 bytes/sec total size is 29600745 speedup is 182.75 Scanning package description files.......... Information about 11359 packages read in 1 seconds. No packages to install. The core packages have been updated. You should now update the other packages using commands like 'fink update-all'. mac-saleh$ fink update-all Information about 11359 packages read in 1 seconds. The package 'ppl9' will be built and installed. Reading build dependency for ppl9-0.11.2-5... Reading dependency for ppl9-0.11.2-5... Reading runtime dependency for ppl9-0.11.2-5... Reading dependency for ppl9-shlibs-0.11.2-5... Reading build conflict for ppl9-0.11.2-5... The package 'ppl9-shlibs' will be built and installed. Reading build dependency for ppl9-0.11.2-5... Reading dependency for ppl9-0.11.2-5... Reading dependency for ppl9-shlibs-0.11.2-5... Reading build dependency for ppl9-shlibs-0.11.2-5... Reading dependency for ppl9-shlibs-0.11.2-5... Reading runtime dependency for ppl9-shlibs-0.11.2-5... Reading build conflict for ppl9-0.11.2-5... Reading build conflict for ppl9-shlibs-0.11.2-5... The package 'python' will be built and installed. Reading build dependency for python27-2.7.9-1... Reading dependency for python27-2.7.9-1... Reading dependency for python27-shlibs-2.7.9-1... Reading dependency for python-2.7.9-1... Reading build dependency for python-2.7.9-1... Reading dependency for python-2.7.9-1... Reading runtime dependency for python-2.7.9-1... Reading build conflict for python27-2.7.9-1... Reading build conflict for python-2.7.9-1... The package 'python27' will be built and installed. Reading build dependency for python27-2.7.9-1... Reading dependency for python27-2.7.9-1... Reading runtime dependency for python27-2.7.9-1... Reading dependency for python27-shlibs-2.7.9-1... Reading dependency for python-2.7.9-1... Reading build conflict for python27-2.7.9-1... The package 'python27-shlibs' will be built and installed. Reading build dependency for python27-2.7.9-1... Reading dependency for python27-2.7.9-1... Reading dependency for python27-shlibs-2.7.9-1... Reading dependency for python-2.7.9-1... Reading build dependency for python27-shlibs-2.7.9-1... Reading dependency for python27-shlibs-2.7.9-1... Reading runtime dependency for python27-shlibs-2.7.9-1... Reading build conflict for python27-2.7.9-1... Reading build conflict for python27-shlibs-2.7.9-1... The package 'tcltk' will be built and installed. Reading build dependency for tcltk-8.5.17-1... Reading dependency for tcltk-8.5.17-1... Reading runtime dependency for tcltk-8.5.17-1... Reading dependency for tcltk-shlibs-8.5.17-1... Reading dependency for tcltk-dev-8.5.17-1... Reading build conflict for tcltk-8.5.17-1... The package 'tcltk-dev' will be built and installed. Reading build dependency for tcltk-8.5.17-1... Reading dependency for tcltk-8.5.17-1... Reading dependency for tcltk-shlibs-8.5.17-1... Reading dependency for tcltk-dev-8.5.17-1... Reading build dependency for tcltk-dev-8.5.17-1... Reading dependency for tcltk-dev-8.5.17-1... Reading runtime dependency for tcltk-dev-8.5.17-1... Reading build conflict for tcltk-8.5.17-1... Reading build conflict for tcltk-dev-8.5.17-1... The package 'tcltk-shlibs' will be built and installed. Reading build dependency for tcltk-8.5.17-1... Reading dependency for tcltk-8.5.17-1... Reading dependency for tcltk-shlibs-8.5.17-1... Reading dependency for tcltk-dev-8.5.17-1... Reading build dependency for tcltk-shlibs-8.5.17-1... Reading dependency for tcltk-shlibs-8.5.17-1... Reading runtime dependency for tcltk-shlibs-8.5.17-1... Reading build conflict for tcltk-8.5.17-1... Reading build conflict for tcltk-shlibs-8.5.17-1... The package 'vim' will be built and installed. Reading build dependency for vim-7.4.552-1... Reading dependency for vim-7.4.552-1... Reading runtime dependency for vim-7.4.552-1... Reading build conflict for vim-7.4.552-1... The following 9 packages will be installed or updated: ppl9 ppl9-shlibs python python27 python27-shlibs tcltk tcltk-dev tcltk-shlibs vim Setting runtime build-lock... dpkg-deb -b /sw/src/fink.build/root-fink-buildlock-ppl9-0.11.2-5 /sw/src/fink.build dpkg-deb: building package `fink-buildlock-ppl9-0.11.2-5' in `/sw/src/fink.build/fink-buildlock-ppl9-0.11.2-5_2014.12.15-20.56.23_darwin-x86_64.deb'. Installing build-lock package... /sw/bin/dpkg-lockwait -i /sw/src/fink.build/fink-buildlock-ppl9-0.11.2-5_2014.12.15-20.56.23_darwin-x86_64.deb Selecting previously deselected package fink-buildlock-ppl9-0.11.2-5. (Reading database ... 264469 files and directories currently installed.) Unpacking fink-buildlock-ppl9-0.11.2-5 (from .../fink-buildlock-ppl9-0.11.2-5_2014.12.15-20.56.23_darwin-x86_64.deb) ... Setting up fink-buildlock-ppl9-0.11.2-5 (2014.12.15-20.56.23) ... sudo -u fink-bld [ENV] sh -c /tmp/fink.E8E3V env LANG=C LC_ALL=C /sw/bin/tar --no-same-owner --no-same-permissions -xvf /sw/src/ppl-0.11.2.tar.bz2 ppl-0.11.2/ ppl-0.11.2/README.arm ppl-0.11.2/README.alpha ppl-0.11.2/depcomp ppl-0.11.2/tests/ ppl-0.11.2/tests/Powerset/ ppl-0.11.2/tests/Powerset/meet1.cc ppl-0.11.2/tests/Powerset/membytes1.cc ppl-0.11.2/tests/Powerset/frombox1.cc ppl-0.11.2/tests/Powerset/difference1.cc ppl-0.11.2/tests/Powerset/universe1.cc ppl-0.11.2/tests/Powerset/containsintegerpoint1.cc ppl-0.11.2/tests/Powerset/entails1.cc ppl-0.11.2/tests/Powerset/affineimage1.cc ppl-0.11.2/tests/Powerset/frompolyhedron1.cc ppl-0.11.2/tests/Powerset/bounds1.cc ppl-0.11.2/tests/Powerset/equals1.cc ppl-0.11.2/tests/Powerset/Makefile.am ppl-0.11.2/tests/Powerset/fromspacedimension1.cc ppl-0.11.2/tests/Powerset/refinewith1.cc ppl-0.11.2/tests/Powerset/collapse1.cc ppl-0.11.2/tests/Powerset/empty1.cc ppl-0.11.2/tests/Powerset/intersection1.cc ppl-0.11.2/tests/Powerset/fromconstraints1.cc ppl-0.11.2/tests/Powerset/relationwith1.cc ppl-0.11.2/tests/Powerset/maxmin1.cc ppl-0.11.2/tests/Powerset/fromgrid1.cc ppl-0.11.2/tests/Powerset/fromoctagonalshape1.cc ppl-0.11.2/tests/Powerset/Makefile.in ppl-0.11.2/tests/Powerset/reduce1.cc ppl-0.11.2/tests/Powerset/closed1.cc ppl-0.11.2/tests/Powerset/frombdshape1.cc ppl-0.11.2/tests/Powerset/addcongruences1.cc ppl-0.11.2/tests/Powerset/spacedims1.cc ppl-0.11.2/tests/Powerset/disjunct1.cc ppl-0.11.2/tests/Powerset/concatenate1.cc ppl-0.11.2/tests/Powerset/bounded1.cc ppl-0.11.2/tests/Powerset/powerset1.cc ppl-0.11.2/tests/Powerset/upperbound1.cc ppl-0.11.2/tests/Powerset/fromcongruences1.cc ppl-0.11.2/tests/Powerset/addconstraints1.cc ppl-0.11.2/tests/Powerset/disjoint1.cc ppl-0.11.2/tests/Powerset/affinedimension1.cc ppl-0.11.2/tests/Powerset/discrete1.cc ppl-0.11.2/tests/Powerset/size1.cc ppl-0.11.2/tests/Powerset/affinepreimage1.cc ppl-0.11.2/tests/Powerset/simplifyusingcontext1.cc ppl-0.11.2/tests/Powerset/contains1.cc ppl-0.11.2/tests/Powerset/closure1.cc ppl-0.11.2/tests/files.cc ppl-0.11.2/tests/files.hh ppl-0.11.2/tests/Random_Number_Generator.inlines.hh ppl-0.11.2/tests/Polyhedron/ ppl-0.11.2/tests/Polyhedron/exceptions1.cc ppl-0.11.2/tests/Polyhedron/addgenerator2.cc ppl-0.11.2/tests/Polyhedron/permute.cc ppl-0.11.2/tests/Polyhedron/timeelapse1.cc ppl-0.11.2/tests/Polyhedron/membytes1.cc ppl-0.11.2/tests/Polyhedron/minconstraints2.cc ppl-0.11.2/tests/Polyhedron/frombox1.cc ppl-0.11.2/tests/Polyhedron/generators1.cc ppl-0.11.2/tests/Polyhedron/dropsomenonintegerpoints2.cc ppl-0.11.2/tests/Polyhedron/termination2.cc ppl-0.11.2/tests/Polyhedron/addcongruence1.cc ppl-0.11.2/tests/Polyhedron/writeconsys1.cc ppl-0.11.2/tests/Polyhedron/refinewithcongruences1.cc ppl-0.11.2/tests/Polyhedron/universe1.cc ppl-0.11.2/tests/Polyhedron/mapspacedims1.cc ppl-0.11.2/tests/Polyhedron/writevariable1.cc ppl-0.11.2/tests/Polyhedron/boundedh79extrapolation1.cc ppl-0.11.2/tests/Polyhedron/containsintegerpoint1.cc ppl-0.11.2/tests/Polyhedron/nncminimize1.cc ppl-0.11.2/tests/Polyhedron/addgenerators1.cc ppl-0.11.2/tests/Polyhedron/linearsystem1.cc ppl-0.11.2/tests/Polyhedron/timeelapse2.cc ppl-0.11.2/tests/Polyhedron/affineimage1.cc ppl-0.11.2/tests/Polyhedron/memory2.cc ppl-0.11.2/tests/Polyhedron/contains2.cc ppl-0.11.2/tests/Polyhedron/writepolyhedron1.cc ppl-0.11.2/tests/Polyhedron/smm1.cc ppl-0.11.2/tests/Polyhedron/bgp99extrapolation2.cc ppl-0.11.2/tests/Polyhedron/disjoint2.cc ppl-0.11.2/tests/Polyhedron/linearexpression1.cc ppl-0.11.2/tests/Polyhedron/bounds1.cc ppl-0.11.2/tests/Polyhedron/matrix1.cc ppl-0.11.2/tests/Polyhedron/polyhull1.cc ppl-0.11.2/tests/Polyhedron/equals1.cc ppl-0.11.2/tests/Polyhedron/affineimage2.cc ppl-0.11.2/tests/Polyhedron/nncminimize2.cc ppl-0.11.2/tests/Polyhedron/Makefile.am ppl-0.11.2/tests/Polyhedron/wrap1.cc ppl-0.11.2/tests/Polyhedron/randphull1.cc ppl-0.11.2/tests/Polyhedron/variablesset1.cc ppl-0.11.2/tests/Polyhedron/memory1.cc ppl-0.11.2/tests/Polyhedron/generalizedaffinepreimage2.cc ppl-0.11.2/tests/Polyhedron/h79widening2.cc ppl-0.11.2/tests/Polyhedron/refinewithcongruence1.cc ppl-0.11.2/tests/Polyhedron/max_min1.cc ppl-0.11.2/tests/Polyhedron/empty1.cc ppl-0.11.2/tests/Polyhedron/intersection1.cc ppl-0.11.2/tests/Polyhedron/refinewithconstraints1.cc ppl-0.11.2/tests/Polyhedron/writegensys1.cc ppl-0.11.2/tests/Polyhedron/writerelation1.cc ppl-0.11.2/tests/Polyhedron/append1.cc ppl-0.11.2/tests/Polyhedron/bhrz03widening1.cc ppl-0.11.2/tests/Polyhedron/ascii_dump_load1.cc ppl-0.11.2/tests/Polyhedron/mc91.cc ppl-0.11.2/tests/Polyhedron/ascii_dump_load3.cc ppl-0.11.2/tests/Polyhedron/frombox2.cc ppl-0.11.2/tests/Polyhedron/polyhullifexact1.cc ppl-0.11.2/tests/Polyhedron/fromgrid1.cc ppl-0.11.2/tests/Polyhedron/fromoctagonalshape1.cc ppl-0.11.2/tests/Polyhedron/append2.cc ppl-0.11.2/tests/Polyhedron/addconstraint1.cc ppl-0.11.2/tests/Polyhedron/relations1.cc ppl-0.11.2/tests/Polyhedron/removespacedims2.cc ppl-0.11.2/tests/Polyhedron/Makefile.in ppl-0.11.2/tests/Polyhedron/congruences1.cc ppl-0.11.2/tests/Polyhedron/limitedh79extrapolation1.cc ppl-0.11.2/tests/Polyhedron/watchdog1.cc ppl-0.11.2/tests/Polyhedron/dualhypercubes.cc ppl-0.11.2/tests/Polyhedron/linearpartition1.cc ppl-0.11.2/tests/Polyhedron/frombdshape1.cc ppl-0.11.2/tests/Polyhedron/mingenerators2.cc ppl-0.11.2/tests/Polyhedron/exceptions3.cc ppl-0.11.2/tests/Polyhedron/generalizedaffineimage1.cc ppl-0.11.2/tests/Polyhedron/polydifference2.cc ppl-0.11.2/tests/Polyhedron/geomcovers1.cc ppl-0.11.2/tests/Polyhedron/limitedbhrz03extrapolation1.cc ppl-0.11.2/tests/Polyhedron/addcongruences1.cc ppl-0.11.2/tests/Polyhedron/boundedaffineimage1.cc ppl-0.11.2/tests/Polyhedron/concatenate1.cc ppl-0.11.2/tests/Polyhedron/mingenerators1.cc ppl-0.11.2/tests/Polyhedron/bhrz03widening3.cc ppl-0.11.2/tests/Polyhedron/addspacedims1.cc ppl-0.11.2/tests/Polyhedron/relations2.cc ppl-0.11.2/tests/Polyhedron/refinewithconstraint1.cc ppl-0.11.2/tests/Polyhedron/weightwatch1.cc ppl-0.11.2/tests/Polyhedron/addgenerators2.cc ppl-0.11.2/tests/Polyhedron/topclosure1.cc ppl-0.11.2/tests/Polyhedron/bounded1.cc ppl-0.11.2/tests/Polyhedron/polyhull2.cc ppl-0.11.2/tests/Polyhedron/numberinput1.cc ppl-0.11.2/tests/Polyhedron/polyhullifexact2.cc ppl-0.11.2/tests/Polyhedron/expandspacedim2.cc ppl-0.11.2/tests/Polyhedron/generalizedaffineimage2.cc ppl-0.11.2/tests/Polyhedron/cnncconversion1.cc ppl-0.11.2/tests/Polyhedron/boundedbhrz03extrapolation1.cc ppl-0.11.2/tests/Polyhedron/termination1.cc ppl-0.11.2/tests/Polyhedron/frequency1.cc ppl-0.11.2/tests/Polyhedron/onepoint.cc ppl-0.11.2/tests/Polyhedron/bhrz03widening2.cc ppl-0.11.2/tests/Polyhedron/minconstraints1.cc ppl-0.11.2/tests/Polyhedron/dropsomenonintegerpoints1.cc ppl-0.11.2/tests/Polyhedron/writepolyhedron2.cc ppl-0.11.2/tests/Polyhedron/expandspacedim1.cc ppl-0.11.2/tests/Polyhedron/foldspacedims2.cc ppl-0.11.2/tests/Polyhedron/polydifference1.cc ppl-0.11.2/tests/Polyhedron/maxspacedim1.cc ppl-0.11.2/tests/Polyhedron/bgp99extrapolation1.cc ppl-0.11.2/tests/Polyhedron/relations3.cc ppl-0.11.2/tests/Polyhedron/addspacedims2.cc ppl-0.11.2/tests/Polyhedron/removespacedims1.cc ppl-0.11.2/tests/Polyhedron/hybrid.cc ppl-0.11.2/tests/Polyhedron/h79widening1.cc ppl-0.11.2/tests/Polyhedron/boundedaffinepreimage1.cc ppl-0.11.2/tests/Polyhedron/addconstraints1.cc ppl-0.11.2/tests/Polyhedron/topclosed1.cc ppl-0.11.2/tests/Polyhedron/constraints1.cc ppl-0.11.2/tests/Polyhedron/constrains1.cc ppl-0.11.2/tests/Polyhedron/bhz03widening1.cc ppl-0.11.2/tests/Polyhedron/affinetrans.cc ppl-0.11.2/tests/Polyhedron/unconstrain1.cc ppl-0.11.2/tests/Polyhedron/universe2.cc ppl-0.11.2/tests/Polyhedron/disjoint1.cc ppl-0.11.2/tests/Polyhedron/addgenerator1.cc ppl-0.11.2/tests/Polyhedron/exceptions2.cc ppl-0.11.2/tests/Polyhedron/generalizedaffinepreimage1.cc ppl-0.11.2/tests/Polyhedron/addconstraints2.cc ppl-0.11.2/tests/Polyhedron/wrap2.cc ppl-0.11.2/tests/Polyhedron/ascii_dump_load2.cc ppl-0.11.2/tests/Polyhedron/affinepreimage1.cc ppl-0.11.2/tests/Polyhedron/simplifyusingcontext1.cc ppl-0.11.2/tests/Polyhedron/foldspacedims1.cc ppl-0.11.2/tests/Polyhedron/contains1.cc ppl-0.11.2/tests/Partially_Reduced_Product/ ppl-0.11.2/tests/Partially_Reduced_Product/timeelapse1.cc ppl-0.11.2/tests/Partially_Reduced_Product/isuniverse1.cc ppl-0.11.2/tests/Partially_Reduced_Product/frombox1.cc ppl-0.11.2/tests/Partially_Reduced_Product/isempty1.cc ppl-0.11.2/tests/Partially_Reduced_Product/smashproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/constraintsproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/refinewithcongruences1.cc ppl-0.11.2/tests/Partially_Reduced_Product/difference1.cc ppl-0.11.2/tests/Partially_Reduced_Product/affineimage1.cc ppl-0.11.2/tests/Partially_Reduced_Product/frompolyhedron1.cc ppl-0.11.2/tests/Partially_Reduced_Product/dimension1.cc ppl-0.11.2/tests/Partially_Reduced_Product/bounds1.cc ppl-0.11.2/tests/Partially_Reduced_Product/equals1.cc ppl-0.11.2/tests/Partially_Reduced_Product/Makefile.am ppl-0.11.2/tests/Partially_Reduced_Product/partially_reduced_product_test.hh ppl-0.11.2/tests/Partially_Reduced_Product/intersection1.cc ppl-0.11.2/tests/Partially_Reduced_Product/refinewithconstraints1.cc ppl-0.11.2/tests/Partially_Reduced_Product/directproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/maxmin1.cc ppl-0.11.2/tests/Partially_Reduced_Product/fromgrid1.cc ppl-0.11.2/tests/Partially_Reduced_Product/fromoctagonalshape1.cc ppl-0.11.2/tests/Partially_Reduced_Product/asciidumpload1.cc ppl-0.11.2/tests/Partially_Reduced_Product/relations1.cc ppl-0.11.2/tests/Partially_Reduced_Product/Makefile.in ppl-0.11.2/tests/Partially_Reduced_Product/congruences1.cc ppl-0.11.2/tests/Partially_Reduced_Product/frombdshape1.cc ppl-0.11.2/tests/Partially_Reduced_Product/generalizedaffineimage1.cc ppl-0.11.2/tests/Partially_Reduced_Product/addcongruences1.cc ppl-0.11.2/tests/Partially_Reduced_Product/boundedaffineimage1.cc ppl-0.11.2/tests/Partially_Reduced_Product/spacedims1.cc ppl-0.11.2/tests/Partially_Reduced_Product/concatenate1.cc ppl-0.11.2/tests/Partially_Reduced_Product/topclosure1.cc ppl-0.11.2/tests/Partially_Reduced_Product/bounded1.cc ppl-0.11.2/tests/Partially_Reduced_Product/fromproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/shapepreservingproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/dropsomenonintegerpoints1.cc ppl-0.11.2/tests/Partially_Reduced_Product/upperbound1.cc ppl-0.11.2/tests/Partially_Reduced_Product/topclosed1.cc ppl-0.11.2/tests/Partially_Reduced_Product/constraints1.cc ppl-0.11.2/tests/Partially_Reduced_Product/congruencesproduct1.cc ppl-0.11.2/tests/Partially_Reduced_Product/disjoint1.cc ppl-0.11.2/tests/Partially_Reduced_Product/discrete1.cc ppl-0.11.2/tests/Partially_Reduced_Product/contains1.cc ppl-0.11.2/tests/Makefile.am ppl-0.11.2/tests/PIP_Problem/ ppl-0.11.2/tests/PIP_Problem/exceptions1.cc ppl-0.11.2/tests/PIP_Problem/pipproblem1.cc ppl-0.11.2/tests/PIP_Problem/Makefile.am ppl-0.11.2/tests/PIP_Problem/pipproblem2.cc ppl-0.11.2/tests/PIP_Problem/ascii_dump_load1.cc ppl-0.11.2/tests/PIP_Problem/Makefile.in ppl-0.11.2/tests/PIP_Problem/pipproblem3.cc ppl-0.11.2/tests/valgrind_suppressions ppl-0.11.2/tests/Random_Number_Generator.defs.hh ppl-0.11.2/tests/Grid/ ppl-0.11.2/tests/Grid/powersetgeometricallycovers1.cc ppl-0.11.2/tests/Grid/timeelapse1.cc ppl-0.11.2/tests/Grid/membytes1.cc ppl-0.11.2/tests/Grid/isuniverse1.cc ppl-0.11.2/tests/Grid/affinepreimage2.cc ppl-0.11.2/tests/Grid/frombox1.cc ppl-0.11.2/tests/Grid/limitedextrapolation2.cc ppl-0.11.2/tests/Grid/generators1.cc ppl-0.11.2/tests/Grid/addcongruence1.cc ppl-0.11.2/tests/Grid/isempty1.cc ppl-0.11.2/tests/Grid/refinewithcongruences1.cc ppl-0.11.2/tests/Grid/outputoperator2.cc ppl-0.11.2/tests/Grid/mapspacedims1.cc ppl-0.11.2/tests/Grid/containsintegerpoint1.cc ppl-0.11.2/tests/Grid/congruence1.cc ppl-0.11.2/tests/Grid/limitedextrapolation3.cc ppl-0.11.2/tests/Grid/congruences2.cc ppl-0.11.2/tests/Grid/addgenerators1.cc ppl-0.11.2/tests/Grid/grid2.cc ppl-0.11.2/tests/Grid/widening2.cc ppl-0.11.2/tests/Grid/affineimage1.cc ppl-0.11.2/tests/Grid/upperbound2.cc ppl-0.11.2/tests/Grid/widening1.cc ppl-0.11.2/tests/Grid/certificate1.cc ppl-0.11.2/tests/Grid/frompolyhedron1.cc ppl-0.11.2/tests/Grid/limitedextrapolation1.cc ppl-0.11.2/tests/Grid/asciidumpload4.cc ppl-0.11.2/tests/Grid/bounds1.cc ppl-0.11.2/tests/Grid/equals1.cc ppl-0.11.2/tests/Grid/affineimage2.cc ppl-0.11.2/tests/Grid/asciidumpload2.cc ppl-0.11.2/tests/Grid/Makefile.am ppl-0.11.2/tests/Grid/asciidumpload5.cc ppl-0.11.2/tests/Grid/wrap1.cc ppl-0.11.2/tests/Grid/dropnonintegerpoints1.cc ppl-0.11.2/tests/Grid/generalizedaffinepreimage2.cc ppl-0.11.2/tests/Grid/intersection1.cc ppl-0.11.2/tests/Grid/refinewithconstraints1.cc ppl-0.11.2/tests/Grid/outputoperator3.cc ppl-0.11.2/tests/Grid/generalizedaffinepreimage3.cc ppl-0.11.2/tests/Grid/maxmin1.cc ppl-0.11.2/tests/Grid/grid3.cc ppl-0.11.2/tests/Grid/approximatepartition1.cc ppl-0.11.2/tests/Grid/generalizedaffineimage3.cc ppl-0.11.2/tests/Grid/fromgrid1.cc ppl-0.11.2/tests/Grid/generators2.cc ppl-0.11.2/tests/Grid/fromoctagonalshape1.cc ppl-0.11.2/tests/Grid/asciidumpload1.cc ppl-0.11.2/tests/Grid/addconstraint1.cc ppl-0.11.2/tests/Grid/relations1.cc ppl-0.11.2/tests/Grid/removespacedims2.cc ppl-0.11.2/tests/Grid/Makefile.in ppl-0.11.2/tests/Grid/congruences1.cc ppl-0.11.2/tests/Grid/griddifference1.cc ppl-0.11.2/tests/Grid/grid1.cc ppl-0.11.2/tests/Grid/powersetdifference1.cc ppl-0.11.2/tests/Grid/frombdshape1.cc ppl-0.11.2/tests/Grid/generalizedaffineimage1.cc ppl-0.11.2/tests/Grid/generator1.cc ppl-0.11.2/tests/Grid/addcongruences1.cc ppl-0.11.2/tests/Grid/boundedaffineimage1.cc ppl-0.11.2/tests/Grid/concatenate1.cc ppl-0.11.2/tests/Grid/mingenerators1.cc ppl-0.11.2/tests/Grid/addspacedims1.cc ppl-0.11.2/tests/Grid/relations2.cc ppl-0.11.2/tests/Grid/widening3.cc ppl-0.11.2/tests/Grid/topclosure1.cc ppl-0.11.2/tests/Grid/powersetgeometricallyequals1.cc ppl-0.11.2/tests/Grid/bounded1.cc ppl-0.11.2/tests/Grid/mincongruences1.cc ppl-0.11.2/tests/Grid/generalizedaffineimage2.cc ppl-0.11.2/tests/Grid/frequency1.cc ppl-0.11.2/tests/Grid/expandspacedim1.cc ppl-0.11.2/tests/Grid/relations3.cc ppl-0.11.2/tests/Grid/removespacedims1.cc ppl-0.11.2/tests/Grid/upperbound1.cc ppl-0.11.2/tests/Grid/boundedaffinepreimage1.cc ppl-0.11.2/tests/Grid/addconstraints1.cc ppl-0.11.2/tests/Grid/topclosed1.cc ppl-0.11.2/tests/Grid/constraints1.cc ppl-0.11.2/tests/Grid/asciidumpload3.cc ppl-0.11.2/tests/Grid/bhz03widening1.cc ppl-0.11.2/tests/Grid/unconstrain1.cc ppl-0.11.2/tests/Grid/disjoint1.cc ppl-0.11.2/tests/Grid/addgenerator1.cc ppl-0.11.2/tests/Grid/discrete1.cc ppl-0.11.2/tests/Grid/generalizedaffinepreimage1.cc ppl-0.11.2/tests/Grid/outputoperator1.cc ppl-0.11.2/tests/Grid/affinedim1.cc ppl-0.11.2/tests/Grid/writecongruencesystem.cc ppl-0.11.2/tests/Grid/partition1.cc ppl-0.11.2/tests/Grid/affinepreimage1.cc ppl-0.11.2/tests/Grid/simplifyusingcontext1.cc ppl-0.11.2/tests/Grid/foldspacedims1.cc ppl-0.11.2/tests/Grid/asciidumpload6.cc ppl-0.11.2/tests/Grid/contains1.cc ppl-0.11.2/tests/ppl_test.cc ppl-0.11.2/tests/Makefile.in ppl-0.11.2/tests/Box/ ppl-0.11.2/tests/Box/interval1.cc ppl-0.11.2/tests/Box/timeelapse1.cc ppl-0.11.2/tests/Box/membytes1.cc ppl-0.11.2/tests/Box/frombox1.cc ppl-0.11.2/tests/Box/limitedcc76extrapolation1.cc ppl-0.11.2/tests/Box/refinewithcongruences1.cc ppl-0.11.2/tests/Box/difference1.cc ppl-0.11.2/tests/Box/universe1.cc ppl-0.11.2/tests/Box/mapspacedims1.cc ppl-0.11.2/tests/Box/containsintegerpoint1.cc ppl-0.11.2/tests/Box/equality1.cc ppl-0.11.2/tests/Box/affineimage1.cc ppl-0.11.2/tests/Box/frompolyhedron1.cc ppl-0.11.2/tests/Box/frompartiallyreducedproduct1.cc ppl-0.11.2/tests/Box/cc76widening.cc ppl-0.11.2/tests/Box/Makefile.am ppl-0.11.2/tests/Box/wrap1.cc ppl-0.11.2/tests/Box/refinewithcongruence1.cc ppl-0.11.2/tests/Box/max_min1.cc ppl-0.11.2/tests/Box/empty1.cc ppl-0.11.2/tests/Box/intersection1.cc ppl-0.11.2/tests/Box/refinewithconstraints2.cc ppl-0.11.2/tests/Box/refinewithconstraints1.cc ppl-0.11.2/tests/Box/ascii_dump_load1.cc ppl-0.11.2/tests/Box/fromspacedim1.cc ppl-0.11.2/tests/Box/fromgrid1.cc ppl-0.11.2/tests/Box/relations1.cc ppl-0.11.2/tests/Box/Makefile.in ppl-0.11.2/tests/Box/congruences1.cc ppl-0.11.2/tests/Box/frombdshape1.cc ppl-0.11.2/tests/Box/fromgensys1.cc ppl-0.11.2/tests/Box/propagateconstraints2.cc ppl-0.11.2/tests/Box/generalizedaffineimage1.cc ppl-0.11.2/tests/Box/relations4.cc ppl-0.11.2/tests/Box/geomcovers1.cc ppl-0.11.2/tests/Box/boundedaffineimage1.cc ppl-0.11.2/tests/Box/concatenate1.cc ppl-0.11.2/tests/Box/upperboundifexact1.cc ppl-0.11.2/tests/Box/writebox1.cc ppl-0.11.2/tests/Box/addspacedims1.cc ppl-0.11.2/tests/Box/relations2.cc ppl-0.11.2/tests/Box/refinewithconstraint1.cc ppl-0.11.2/tests/Box/bounded1.cc ppl-0.11.2/tests/Box/cc76narrowing1.cc ppl-0.11.2/tests/Box/propagateconstraints1.cc ppl-0.11.2/tests/Box/generalizedaffineimage2.cc ppl-0.11.2/tests/Box/frequency1.cc ppl-0.11.2/tests/Box/minconstraints1.cc ppl-0.11.2/tests/Box/expandspacedim1.cc ppl-0.11.2/tests/Box/maxspacedim1.cc ppl-0.11.2/tests/Box/bgp99extrapolation1.cc ppl-0.11.2/tests/Box/refinewithconstraint2.cc ppl-0.11.2/tests/Box/relations3.cc ppl-0.11.2/tests/Box/removespacedims1.cc ppl-0.11.2/tests/Box/upperbound1.cc ppl-0.11.2/tests/Box/boundedaffinepreimage1.cc ppl-0.11.2/tests/Box/addconstraints1.cc ppl-0.11.2/tests/Box/topclosed1.cc ppl-0.11.2/tests/Box/constraints1.cc ppl-0.11.2/tests/Box/constrains1.cc ppl-0.11.2/tests/Box/bhz03widening1.cc ppl-0.11.2/tests/Box/run_tests ppl-0.11.2/tests/Box/unconstrain1.cc ppl-0.11.2/tests/Box/disjoint1.cc ppl-0.11.2/tests/Box/affinedimension1.cc ppl-0.11.2/tests/Box/discrete1.cc ppl-0.11.2/tests/Box/generalizedaffinepreimage1.cc ppl-0.11.2/tests/Box/frompolyhedron2.cc ppl-0.11.2/tests/Box/affinepreimage1.cc ppl-0.11.2/tests/Box/simplifyusingcontext1.cc ppl-0.11.2/tests/Box/foldspacedims1.cc ppl-0.11.2/tests/Box/contains1.cc ppl-0.11.2/tests/MIP_Problem/ ppl-0.11.2/tests/MIP_Problem/exceptions1.cc ppl-0.11.2/tests/MIP_Problem/mipproblem2.cc ppl-0.11.2/tests/MIP_Problem/mipproblem1.cc ppl-0.11.2/tests/MIP_Problem/Makefile.am ppl-0.11.2/tests/MIP_Problem/ascii_dump_load1.cc ppl-0.11.2/tests/MIP_Problem/Makefile.in ppl-0.11.2/tests/MIP_Problem/mipproblem3.cc ppl-0.11.2/tests/Random_Number_Generator.types.hh ppl-0.11.2/tests/Octagonal_Shape/ ppl-0.11.2/tests/Octagonal_Shape/timeelapse1.cc ppl-0.11.2/tests/Octagonal_Shape/membytes1.cc ppl-0.11.2/tests/Octagonal_Shape/affinepreimage2.cc ppl-0.11.2/tests/Octagonal_Shape/frombox1.cc ppl-0.11.2/tests/Octagonal_Shape/writeoctagon1.cc ppl-0.11.2/tests/Octagonal_Shape/limitedcc76extrapolation1.cc ppl-0.11.2/tests/Octagonal_Shape/relatwithgen1.cc ppl-0.11.2/tests/Octagonal_Shape/cc76extrapolation1.cc ppl-0.11.2/tests/Octagonal_Shape/difference1.cc ppl-0.11.2/tests/Octagonal_Shape/universe1.cc ppl-0.11.2/tests/Octagonal_Shape/mapspacedims1.cc ppl-0.11.2/tests/Octagonal_Shape/containsintegerpoint1.cc ppl-0.11.2/tests/Octagonal_Shape/affineimage1.cc ppl-0.11.2/tests/Octagonal_Shape/relatwithcons1.cc ppl-0.11.2/tests/Octagonal_Shape/frompolyhedron1.cc ppl-0.11.2/tests/Octagonal_Shape/bounds1.cc ppl-0.11.2/tests/Octagonal_Shape/affineimage2.cc ppl-0.11.2/tests/Octagonal_Shape/Makefile.am ppl-0.11.2/tests/Octagonal_Shape/wrap1.cc ppl-0.11.2/tests/Octagonal_Shape/chinainit.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage2.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage5.cc ppl-0.11.2/tests/Octagonal_Shape/max_min1.cc ppl-0.11.2/tests/Octagonal_Shape/empty1.cc ppl-0.11.2/tests/Octagonal_Shape/intersection1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage4.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage3.cc ppl-0.11.2/tests/Octagonal_Shape/ascii_dump_load1.cc ppl-0.11.2/tests/Octagonal_Shape/fromspacedim1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage3.cc ppl-0.11.2/tests/Octagonal_Shape/fromgrid1.cc ppl-0.11.2/tests/Octagonal_Shape/fromoctagonalshape1.cc ppl-0.11.2/tests/Octagonal_Shape/Makefile.in ppl-0.11.2/tests/Octagonal_Shape/congruences1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage4.cc ppl-0.11.2/tests/Octagonal_Shape/frombdshape1.cc ppl-0.11.2/tests/Octagonal_Shape/fromgensys1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage1.cc ppl-0.11.2/tests/Octagonal_Shape/relatwithcons3.cc ppl-0.11.2/tests/Octagonal_Shape/relatwithcons2.cc ppl-0.11.2/tests/Octagonal_Shape/limitedbhmz05extrapolation1.cc ppl-0.11.2/tests/Octagonal_Shape/boundedaffineimage1.cc ppl-0.11.2/tests/Octagonal_Shape/concatenate1.cc ppl-0.11.2/tests/Octagonal_Shape/upperboundifexact1.cc ppl-0.11.2/tests/Octagonal_Shape/addspacedims1.cc ppl-0.11.2/tests/Octagonal_Shape/bhmz05widening1.cc ppl-0.11.2/tests/Octagonal_Shape/bounded1.cc ppl-0.11.2/tests/Octagonal_Shape/cc76narrowing1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffineimage2.cc ppl-0.11.2/tests/Octagonal_Shape/frequency1.cc ppl-0.11.2/tests/Octagonal_Shape/minconstraints1.cc ppl-0.11.2/tests/Octagonal_Shape/dropsomenonintegerpoints1.cc ppl-0.11.2/tests/Octagonal_Shape/expandspacedim1.cc ppl-0.11.2/tests/Octagonal_Shape/maxspacedim1.cc ppl-0.11.2/tests/Octagonal_Shape/integerupperboundifexact1.cc ppl-0.11.2/tests/Octagonal_Shape/removespacedims1.cc ppl-0.11.2/tests/Octagonal_Shape/upperbound1.cc ppl-0.11.2/tests/Octagonal_Shape/boundedaffinepreimage1.cc ppl-0.11.2/tests/Octagonal_Shape/max_min2.cc ppl-0.11.2/tests/Octagonal_Shape/constraints1.cc ppl-0.11.2/tests/Octagonal_Shape/constrains1.cc ppl-0.11.2/tests/Octagonal_Shape/bhz03widening1.cc ppl-0.11.2/tests/Octagonal_Shape/run_tests ppl-0.11.2/tests/Octagonal_Shape/unconstrain1.cc ppl-0.11.2/tests/Octagonal_Shape/disjoint1.cc ppl-0.11.2/tests/Octagonal_Shape/affinedimension1.cc ppl-0.11.2/tests/Octagonal_Shape/discrete1.cc ppl-0.11.2/tests/Octagonal_Shape/generalizedaffinepreimage1.cc ppl-0.11.2/tests/Octagonal_Shape/affinepreimage1.cc ppl-0.11.2/tests/Octagonal_Shape/simplifyusingcontext1.cc ppl-0.11.2/tests/Octagonal_Shape/foldspacedims1.cc ppl-0.11.2/tests/Octagonal_Shape/contains1.cc ppl-0.11.2/tests/README ppl-0.11.2/tests/BD_Shape/ ppl-0.11.2/tests/BD_Shape/timeelapse1.cc ppl-0.11.2/tests/BD_Shape/membytes1.cc ppl-0.11.2/tests/BD_Shape/frombox1.cc ppl-0.11.2/tests/BD_Shape/limitedcc76extrapolation1.cc ppl-0.11.2/tests/BD_Shape/writebdshape1.cc ppl-0.11.2/tests/BD_Shape/cc76extrapolation1.cc ppl-0.11.2/tests/BD_Shape/difference1.cc ppl-0.11.2/tests/BD_Shape/universe1.cc ppl-0.11.2/tests/BD_Shape/mapspacedims1.cc ppl-0.11.2/tests/BD_Shape/containsintegerpoint1.cc ppl-0.11.2/tests/BD_Shape/equality1.cc ppl-0.11.2/tests/BD_Shape/affineimage1.cc ppl-0.11.2/tests/BD_Shape/frompolyhedron1.cc ppl-0.11.2/tests/BD_Shape/bounds1.cc ppl-0.11.2/tests/BD_Shape/affineimage2.cc ppl-0.11.2/tests/BD_Shape/Makefile.am ppl-0.11.2/tests/BD_Shape/wrap1.cc ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage2.cc ppl-0.11.2/tests/BD_Shape/max_min1.cc ppl-0.11.2/tests/BD_Shape/empty1.cc ppl-0.11.2/tests/BD_Shape/intersection1.cc ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage3.cc ppl-0.11.2/tests/BD_Shape/ascii_dump_load1.cc ppl-0.11.2/tests/BD_Shape/fromspacedim1.cc ppl-0.11.2/tests/BD_Shape/fromgrid1.cc ppl-0.11.2/tests/BD_Shape/fromoctagonalshape1.cc ppl-0.11.2/tests/BD_Shape/relations1.cc ppl-0.11.2/tests/BD_Shape/Makefile.in ppl-0.11.2/tests/BD_Shape/congruences1.cc ppl-0.11.2/tests/BD_Shape/limitedh79extrapolation1.cc ppl-0.11.2/tests/BD_Shape/frombdshape1.cc ppl-0.11.2/tests/BD_Shape/fromgensys1.cc ppl-0.11.2/tests/BD_Shape/generalizedaffineimage1.cc ppl-0.11.2/tests/BD_Shape/relations4.cc ppl-0.11.2/tests/BD_Shape/geomcovers1.cc ppl-0.11.2/tests/BD_Shape/limitedbhmz05extrapolation1.cc ppl-0.11.2/tests/BD_Shape/boundedaffineimage1.cc ppl-0.11.2/tests/BD_Shape/concatenate1.cc ppl-0.11.2/tests/BD_Shape/upperboundifexact1.cc ppl-0.11.2/tests/BD_Shape/addspacedims1.cc ppl-0.11.2/tests/BD_Shape/relations2.cc ppl-0.11.2/tests/BD_Shape/bhmz05widening1.cc ppl-0.11.2/tests/BD_Shape/bounded1.cc ppl-0.11.2/tests/BD_Shape/cc76narrowing1.cc ppl-0.11.2/tests/BD_Shape/generalizedaffineimage2.cc ppl-0.11.2/tests/BD_Shape/frequency1.cc ppl-0.11.2/tests/BD_Shape/minconstraints1.cc ppl-0.11.2/tests/BD_Shape/dropsomenonintegerpoints1.cc ppl-0.11.2/tests/BD_Shape/expandspacedim1.cc ppl-0.11.2/tests/BD_Shape/maxspacedim1.cc ppl-0.11.2/tests/BD_Shape/bgp99extrapolation1.cc ppl-0.11.2/tests/BD_Shape/relations3.cc ppl-0.11.2/tests/BD_Shape/integerupperboundifexact1.cc ppl-0.11.2/tests/BD_Shape/removespacedims1.cc ppl-0.11.2/tests/BD_Shape/h79widening1.cc ppl-0.11.2/tests/BD_Shape/upperbound1.cc ppl-0.11.2/tests/BD_Shape/boundedaffinepreimage1.cc ppl-0.11.2/tests/BD_Shape/max_min2.cc ppl-0.11.2/tests/BD_Shape/addconstraints1.cc ppl-0.11.2/tests/BD_Shape/constraints1.cc ppl-0.11.2/tests/BD_Shape/constrains1.cc ppl-0.11.2/tests/BD_Shape/bhz03widening1.cc ppl-0.11.2/tests/BD_Shape/run_tests ppl-0.11.2/tests/BD_Shape/unconstrain1.cc ppl-0.11.2/tests/BD_Shape/disjoint1.cc ppl-0.11.2/tests/BD_Shape/affinedimension1.cc ppl-0.11.2/tests/BD_Shape/discrete1.cc ppl-0.11.2/tests/BD_Shape/generalizedaffinepreimage1.cc ppl-0.11.2/tests/BD_Shape/affinepreimage1.cc ppl-0.11.2/tests/BD_Shape/simplifyusingcontext1.cc ppl-0.11.2/tests/BD_Shape/foldspacedims1.cc ppl-0.11.2/tests/BD_Shape/contains1.cc ppl-0.11.2/tests/BD_Shape/closure1.cc ppl-0.11.2/tests/ppl_test.hh ppl-0.11.2/BUGS ppl-0.11.2/ppl.lsm.in ppl-0.11.2/utils/ ppl-0.11.2/utils/timings.hh ppl-0.11.2/utils/Makefile.am ppl-0.11.2/utils/text2cxxarray.in ppl-0.11.2/utils/Makefile.in ppl-0.11.2/utils/cm_splitter.sh ppl-0.11.2/utils/cm_cleaner.sh ppl-0.11.2/utils/build_header.in ppl-0.11.2/utils/timings.cc ppl-0.11.2/README.configure ppl-0.11.2/ltmain.sh ppl-0.11.2/config.guess ppl-0.11.2/install-sh ppl-0.11.2/config.rpath ppl-0.11.2/aclocal.m4 ppl-0.11.2/Makefile.am ppl-0.11.2/instchk.hh ppl-0.11.2/src/ ppl-0.11.2/src/OR_Matrix.defs.hh ppl-0.11.2/src/PIP_Tree.cc ppl-0.11.2/src/Bit_Row.types.hh ppl-0.11.2/src/BHRZ03_Certificate.types.hh ppl-0.11.2/src/fpu.defs.hh ppl-0.11.2/src/OR_Matrix.types.hh ppl-0.11.2/src/MIP_Problem.inlines.hh ppl-0.11.2/src/Box.types.hh ppl-0.11.2/src/C_Polyhedron.cc ppl-0.11.2/src/Weight_Profiler.cc ppl-0.11.2/src/Result.defs.hh ppl-0.11.2/src/checked_float.inlines.hh ppl-0.11.2/src/Pointset_Powerset.types.hh ppl-0.11.2/src/H79_Certificate.inlines.hh ppl-0.11.2/src/PIP_Problem.types.hh ppl-0.11.2/src/Interval_Info.inlines.hh ppl-0.11.2/src/C_Polyhedron.types.hh ppl-0.11.2/src/distances.inlines.hh ppl-0.11.2/src/Grid_Status.idefs.hh ppl-0.11.2/src/Temp.templates.hh ppl-0.11.2/src/PIP_Tree.types.hh ppl-0.11.2/src/DB_Row.templates.hh ppl-0.11.2/src/Poly_Gen_Relation.cc ppl-0.11.2/src/Bit_Row.inlines.hh ppl-0.11.2/src/H79_Certificate.defs.hh ppl-0.11.2/src/Generator.cc ppl-0.11.2/src/Poly_Con_Relation.inlines.hh ppl-0.11.2/src/distances.defs.hh ppl-0.11.2/src/Interval.inlines.hh ppl-0.11.2/src/Interval_Restriction.defs.hh ppl-0.11.2/src/iterator_to_const.inlines.hh ppl-0.11.2/src/Generator.inlines.hh ppl-0.11.2/src/c_streambuf.types.hh ppl-0.11.2/src/Grid_Generator.cc ppl-0.11.2/src/Polyhedron_widenings.cc ppl-0.11.2/src/Generator.types.hh ppl-0.11.2/src/Grid_Certificate.cc ppl-0.11.2/src/Bit_Row.defs.hh ppl-0.11.2/src/Ph_Status.cc ppl-0.11.2/src/GMP_Integer.inlines.hh ppl-0.11.2/src/Polyhedron.defs.hh ppl-0.11.2/src/c_streambuf.inlines.hh ppl-0.11.2/src/Grid_simplify.cc ppl-0.11.2/src/Og_Status.idefs.hh ppl-0.11.2/src/GMP_Integer.types.hh ppl-0.11.2/src/Powerset.defs.hh ppl-0.11.2/src/Grid_Generator_System.defs.hh ppl-0.11.2/src/Grid.types.hh ppl-0.11.2/src/Congruence_System.defs.hh ppl-0.11.2/src/Polyhedron_chdims.cc ppl-0.11.2/src/NNC_Polyhedron.inlines.hh ppl-0.11.2/src/Poly_Con_Relation.defs.hh ppl-0.11.2/src/Polyhedron.types.hh ppl-0.11.2/src/Congruence.inlines.hh ppl-0.11.2/src/C_Polyhedron.defs.hh ppl-0.11.2/src/Octagonal_Shape.cc ppl-0.11.2/src/termination.templates.hh ppl-0.11.2/src/Matrix.defs.hh ppl-0.11.2/src/Pointset_Powerset.templates.hh ppl-0.11.2/src/Bit_Matrix.inlines.hh ppl-0.11.2/src/checked_int.inlines.hh ppl-0.11.2/src/DB_Row.inlines.hh ppl-0.11.2/src/MIP_Problem.templates.hh ppl-0.11.2/src/Init.defs.hh ppl-0.11.2/src/Row.inlines.hh ppl-0.11.2/src/Checked_Number.cc ppl-0.11.2/src/Linear_Expression.types.hh ppl-0.11.2/src/fpu-ia32.inlines.hh ppl-0.11.2/src/simplify.cc ppl-0.11.2/src/Variables_Set.cc ppl-0.11.2/src/Generator_System.cc ppl-0.11.2/src/Grid_Generator.defs.hh ppl-0.11.2/src/Linear_Expression.defs.hh ppl-0.11.2/src/MIP_Problem.defs.hh ppl-0.11.2/src/Og_Status.inlines.hh ppl-0.11.2/src/stdiobuf.cc ppl-0.11.2/src/Interval.defs.hh ppl-0.11.2/src/BD_Shape.defs.hh ppl-0.11.2/src/Generator_System.inlines.hh ppl-0.11.2/src/Constraint_System.inlines.hh ppl-0.11.2/src/Rational_Interval.hh ppl-0.11.2/src/Widening_Function.inlines.hh ppl-0.11.2/src/ppl-config.cc.in ppl-0.11.2/src/Bit_Matrix.cc ppl-0.11.2/src/Grid_Certificate.defs.hh ppl-0.11.2/src/Congruence.types.hh ppl-0.11.2/src/BHRZ03_Certificate.defs.hh ppl-0.11.2/src/Makefile.am ppl-0.11.2/src/Grid_Certificate.types.hh ppl-0.11.2/src/c_streambuf.cc ppl-0.11.2/src/Grid_nonpublic.cc ppl-0.11.2/src/Coefficient_traits_template.hh ppl-0.11.2/src/H79_Certificate.cc ppl-0.11.2/src/assign_or_swap.hh ppl-0.11.2/src/DB_Row.defs.hh ppl-0.11.2/src/Poly_Gen_Relation.inlines.hh ppl-0.11.2/src/Linear_Expression.inlines.hh ppl-0.11.2/src/BHRZ03_Certificate.cc ppl-0.11.2/src/Box.templates.hh ppl-0.11.2/src/Grid_Generator_System.cc ppl-0.11.2/src/Constraint.types.hh ppl-0.11.2/src/Octagonal_Shape.templates.hh ppl-0.11.2/src/Row.types.hh ppl-0.11.2/src/checked_numeric_limits.hh ppl-0.11.2/src/Grid_Generator.inlines.hh ppl-0.11.2/src/Coefficient.inlines.hh ppl-0.11.2/src/Linear_System.cc ppl-0.11.2/src/wrap_assign.hh ppl-0.11.2/src/ppl.hh.dist ppl-0.11.2/src/Powerset.inlines.hh ppl-0.11.2/src/BD_Shape.inlines.hh ppl-0.11.2/src/Grid_Generator_System.inlines.hh ppl-0.11.2/src/Congruence_System.types.hh ppl-0.11.2/src/Determinate.types.hh ppl-0.11.2/src/minimize.cc ppl-0.11.2/src/fpu-ia32.cc ppl-0.11.2/src/Weight_Profiler.defs.hh ppl-0.11.2/src/Polyhedron_nonpublic.cc ppl-0.11.2/src/Init.types.hh ppl-0.11.2/src/ppl_header.hh ppl-0.11.2/src/Scalar_Products.defs.hh ppl-0.11.2/src/Grid_public.cc ppl-0.11.2/src/Variables_Set.inlines.hh ppl-0.11.2/src/Generator_System.defs.hh ppl-0.11.2/src/Grid_chdims.cc ppl-0.11.2/src/BDS_Status.inlines.hh ppl-0.11.2/src/Checked_Number.templates.hh ppl-0.11.2/src/Partially_Reduced_Product.types.hh ppl-0.11.2/src/BUGS.cc.dist ppl-0.11.2/src/Octagonal_Shape.inlines.hh ppl-0.11.2/src/Congruence_System.cc ppl-0.11.2/src/Bit_Row.cc ppl-0.11.2/src/Variables_Set.types.hh ppl-0.11.2/src/OR_Matrix.templates.hh ppl-0.11.2/src/Ph_Status.inlines.hh ppl-0.11.2/src/Box.defs.hh ppl-0.11.2/src/Linear_System.defs.hh ppl-0.11.2/src/Box_Status.inlines.hh ppl-0.11.2/src/Init.inlines.hh ppl-0.11.2/src/Partially_Reduced_Product.inlines.hh ppl-0.11.2/src/Poly_Con_Relation.cc ppl-0.11.2/src/Slow_Copy.hh ppl-0.11.2/src/Interval_Info.defs.hh ppl-0.11.2/src/Scalar_Products.types.hh ppl-0.11.2/src/Box.inlines.hh ppl-0.11.2/src/Congruence.cc ppl-0.11.2/src/math_utilities.inlines.hh ppl-0.11.2/src/Float.defs.hh ppl-0.11.2/src/Powerset.templates.hh ppl-0.11.2/src/Generator.defs.hh ppl-0.11.2/src/Matrix.types.hh ppl-0.11.2/src/Variable.cc ppl-0.11.2/src/C_Integer.hh ppl-0.11.2/src/DB_Row.types.hh ppl-0.11.2/src/NNC_Polyhedron.cc ppl-0.11.2/src/MIP_Problem.types.hh ppl-0.11.2/src/Pointset_Powerset.defs.hh ppl-0.11.2/src/Coefficient.cc ppl-0.11.2/src/Matrix.inlines.hh ppl-0.11.2/src/Makefile.in ppl-0.11.2/src/Constraint.inlines.hh ppl-0.11.2/src/WRD_coefficient_types.defs.hh ppl-0.11.2/src/Grid_Generator.types.hh ppl-0.11.2/src/Grid.defs.hh ppl-0.11.2/src/Float.cc ppl-0.11.2/src/Box.cc ppl-0.11.2/src/checked_mpq.inlines.hh ppl-0.11.2/src/Variable.inlines.hh ppl-0.11.2/src/Ptr_Iterator.defs.hh ppl-0.11.2/src/Has_Assign_Or_Swap.hh ppl-0.11.2/src/Poly_Con_Relation.types.hh ppl-0.11.2/src/NNC_Polyhedron.types.hh ppl-0.11.2/src/PIP_Problem.defs.hh ppl-0.11.2/src/Polyhedron_public.cc ppl-0.11.2/src/Pointset_Powerset.inlines.hh ppl-0.11.2/src/DB_Matrix.templates.hh ppl-0.11.2/src/DB_Matrix.types.hh ppl-0.11.2/src/Boundary.defs.hh ppl-0.11.2/src/Pointset_Powerset.cc ppl-0.11.2/src/Grid_Certificate.inlines.hh ppl-0.11.2/src/Poly_Gen_Relation.defs.hh ppl-0.11.2/src/Determinate.defs.hh ppl-0.11.2/src/Generator_System.types.hh ppl-0.11.2/src/Ptr_Iterator.types.hh ppl-0.11.2/src/version.cc ppl-0.11.2/src/BHRZ03_Certificate.inlines.hh ppl-0.11.2/src/Constraint.cc ppl-0.11.2/src/Bit_Matrix.defs.hh ppl-0.11.2/src/Rounding_Dir.defs.hh ppl-0.11.2/src/Checked_Number.inlines.hh ppl-0.11.2/src/Polyhedron.inlines.hh ppl-0.11.2/src/c_streambuf.defs.hh ppl-0.11.2/src/Coefficient.defs.hh ppl-0.11.2/src/Grid_conversion.cc ppl-0.11.2/src/version.hh.in ppl-0.11.2/src/stdiobuf.types.hh ppl-0.11.2/src/fpu.types.hh ppl-0.11.2/src/MIP_Problem.cc ppl-0.11.2/src/Float.inlines.hh ppl-0.11.2/src/Linear_Expression.cc ppl-0.11.2/src/BD_Shape.types.hh ppl-0.11.2/src/Partial_Function.inlines.hh ppl-0.11.2/src/Scalar_Products.cc ppl-0.11.2/src/Determinate.inlines.hh ppl-0.11.2/src/wrap_string.hh ppl-0.11.2/src/Octagonal_Shape.types.hh ppl-0.11.2/src/checked.cc ppl-0.11.2/src/Temp.defs.hh ppl-0.11.2/src/Grid_Status.cc ppl-0.11.2/src/Partial_Function.defs.hh ppl-0.11.2/src/stdiobuf.defs.hh ppl-0.11.2/src/Linear_System.inlines.hh ppl-0.11.2/src/Scalar_Products.inlines.hh ppl-0.11.2/src/Checked_Number.types.hh ppl-0.11.2/src/checked.inlines.hh ppl-0.11.2/src/wrap_string.cc ppl-0.11.2/src/Init.cc ppl-0.11.2/src/Interval.templates.hh ppl-0.11.2/src/PIP_Tree.inlines.hh ppl-0.11.2/src/Grid_Generator_System.types.hh ppl-0.11.2/src/Grid_widenings.cc ppl-0.11.2/src/Bit_Matrix.types.hh ppl-0.11.2/src/initializer.hh ppl-0.11.2/src/Partial_Function.cc ppl-0.11.2/src/Box_Status.idefs.hh ppl-0.11.2/src/Numeric_Format.defs.hh ppl-0.11.2/src/mp_std_bits.cc ppl-0.11.2/src/distances.types.hh ppl-0.11.2/src/globals.cc ppl-0.11.2/src/BDS_Status.idefs.hh ppl-0.11.2/src/swapping_sort.icc ppl-0.11.2/src/mp_std_bits.defs.hh ppl-0.11.2/src/assert.hh ppl-0.11.2/src/Row.cc ppl-0.11.2/src/Ph_Status.idefs.hh ppl-0.11.2/src/BD_Shape.cc ppl-0.11.2/src/PIP_Problem.cc ppl-0.11.2/src/max_space_dimension.hh ppl-0.11.2/src/Congruence.defs.hh ppl-0.11.2/src/H79_Certificate.types.hh ppl-0.11.2/src/PIP_Problem.inlines.hh ppl-0.11.2/src/PIP_Problem.templates.hh ppl-0.11.2/src/Constraint_System.defs.hh ppl-0.11.2/src/checked_mpz.inlines.hh ppl-0.11.2/src/mp_std_bits.inlines.hh ppl-0.11.2/src/Interval_Info.types.hh ppl-0.11.2/src/CREDITS.cc.dist ppl-0.11.2/src/Rounding_Dir.inlines.hh ppl-0.11.2/src/PIP_Tree.defs.hh ppl-0.11.2/src/Row.defs.hh ppl-0.11.2/src/COPYING.cc.dist ppl-0.11.2/src/Grid.inlines.hh ppl-0.11.2/src/Rational_Box.hh ppl-0.11.2/src/fpu-sparc.inlines.hh ppl-0.11.2/src/Interval.types.hh ppl-0.11.2/src/Matrix.cc ppl-0.11.2/src/globals.types.hh ppl-0.11.2/src/Widening_Function.types.hh ppl-0.11.2/src/BD_Shape.templates.hh ppl-0.11.2/src/termination.cc ppl-0.11.2/src/Partial_Function.types.hh ppl-0.11.2/src/math_utilities.defs.hh ppl-0.11.2/src/Variables_Set.defs.hh ppl-0.11.2/src/Topology.hh ppl-0.11.2/src/globals.inlines.hh ppl-0.11.2/src/Powerset.types.hh ppl-0.11.2/src/Variable.defs.hh ppl-0.11.2/src/Constraint_System.cc ppl-0.11.2/src/Linear_System.types.hh ppl-0.11.2/src/NNC_Polyhedron.defs.hh ppl-0.11.2/src/DB_Matrix.defs.hh ppl-0.11.2/src/WRD_coefficient_types.inlines.hh ppl-0.11.2/src/Linear_Row.types.hh ppl-0.11.2/src/algorithms.hh ppl-0.11.2/src/termination.defs.hh ppl-0.11.2/src/stdiobuf.inlines.hh ppl-0.11.2/src/Grid.templates.hh ppl-0.11.2/src/Linear_Row.cc ppl-0.11.2/src/Grid_Status.inlines.hh ppl-0.11.2/src/fpu-none.inlines.hh ppl-0.11.2/src/checked.defs.hh ppl-0.11.2/src/Result.inlines.hh ppl-0.11.2/src/Poly_Gen_Relation.types.hh ppl-0.11.2/src/meta_programming.hh ppl-0.11.2/src/Checked_Number.defs.hh ppl-0.11.2/src/C_Polyhedron.inlines.hh ppl-0.11.2/src/DB_Matrix.inlines.hh ppl-0.11.2/src/checked_ext.inlines.hh ppl-0.11.2/src/Coefficient.types.hh ppl-0.11.2/src/conversion.cc ppl-0.11.2/src/Ptr_Iterator.inlines.hh ppl-0.11.2/src/Widening_Function.defs.hh ppl-0.11.2/src/fpu-c99.inlines.hh ppl-0.11.2/src/OR_Matrix.inlines.hh ppl-0.11.2/src/Linear_Row.inlines.hh ppl-0.11.2/src/iterator_to_const.types.hh ppl-0.11.2/src/compiler.hh ppl-0.11.2/src/Constraint.defs.hh ppl-0.11.2/src/Linear_Row.defs.hh ppl-0.11.2/src/Octagonal_Shape.defs.hh ppl-0.11.2/src/Variable.types.hh ppl-0.11.2/src/Congruence_System.inlines.hh ppl-0.11.2/src/intervals.defs.hh ppl-0.11.2/src/Constraint_System.types.hh ppl-0.11.2/src/globals.defs.hh ppl-0.11.2/src/GMP_Integer.defs.hh ppl-0.11.2/src/namespaces.hh ppl-0.11.2/src/Partially_Reduced_Product.defs.hh ppl-0.11.2/src/Partially_Reduced_Product.templates.hh ppl-0.11.2/src/iterator_to_const.defs.hh ppl-0.11.2/src/Polyhedron.templates.hh ppl-0.11.2/src/Temp.inlines.hh ppl-0.11.2/Watchdog/ ppl-0.11.2/Watchdog/depcomp ppl-0.11.2/Watchdog/tests/ ppl-0.11.2/Watchdog/tests/Makefile.am ppl-0.11.2/Watchdog/tests/valgrind_suppressions ppl-0.11.2/Watchdog/tests/Makefile.in ppl-0.11.2/Watchdog/tests/watchdog1.cc ppl-0.11.2/Watchdog/tests/pwl_test.hh ppl-0.11.2/Watchdog/tests/pwl_test.cc ppl-0.11.2/Watchdog/BUGS ppl-0.11.2/Watchdog/utils/ ppl-0.11.2/Watchdog/utils/Makefile.am ppl-0.11.2/Watchdog/utils/Makefile.in ppl-0.11.2/Watchdog/utils/build_header.in ppl-0.11.2/Watchdog/ltmain.sh ppl-0.11.2/Watchdog/config.guess ppl-0.11.2/Watchdog/install-sh ppl-0.11.2/Watchdog/config.rpath ppl-0.11.2/Watchdog/aclocal.m4 ppl-0.11.2/Watchdog/Makefile.am ppl-0.11.2/Watchdog/src/ ppl-0.11.2/Watchdog/src/Threshold_Watcher.defs.hh ppl-0.11.2/Watchdog/src/EList.defs.hh ppl-0.11.2/Watchdog/src/EList.types.hh ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.types.hh ppl-0.11.2/Watchdog/src/Handler.inlines.hh ppl-0.11.2/Watchdog/src/Time.defs.hh ppl-0.11.2/Watchdog/src/EList_Iterator.inlines.hh ppl-0.11.2/Watchdog/src/Threshold_Watcher.inlines.hh ppl-0.11.2/Watchdog/src/Handler.defs.hh ppl-0.11.2/Watchdog/src/Makefile.am ppl-0.11.2/Watchdog/src/Pending_List.defs.hh ppl-0.11.2/Watchdog/src/Threshold_Watcher.cc ppl-0.11.2/Watchdog/src/Threshold_Watcher.templates.hh ppl-0.11.2/Watchdog/src/Watchdog.defs.hh ppl-0.11.2/Watchdog/src/Pending_Element.defs.hh ppl-0.11.2/Watchdog/src/EList_Iterator.defs.hh ppl-0.11.2/Watchdog/src/pwl_header.hh ppl-0.11.2/Watchdog/src/Watchdog.inlines.hh ppl-0.11.2/Watchdog/src/Time.inlines.hh ppl-0.11.2/Watchdog/src/Pending_Element.inlines.hh ppl-0.11.2/Watchdog/src/Makefile.in ppl-0.11.2/Watchdog/src/Pending_List.inlines.hh ppl-0.11.2/Watchdog/src/Watchdog.cc ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.inlines.hh ppl-0.11.2/Watchdog/src/Time.types.hh ppl-0.11.2/Watchdog/src/Pending_List.templates.hh ppl-0.11.2/Watchdog/src/pwl.hh.dist ppl-0.11.2/Watchdog/src/Watchdog.types.hh ppl-0.11.2/Watchdog/src/Doubly_Linked_Object.defs.hh ppl-0.11.2/Watchdog/src/Time.cc ppl-0.11.2/Watchdog/src/Pending_Element.types.hh ppl-0.11.2/Watchdog/src/Threshold_Watcher.types.hh ppl-0.11.2/Watchdog/src/EList.inlines.hh ppl-0.11.2/Watchdog/src/Handler.types.hh ppl-0.11.2/Watchdog/src/EList_Iterator.types.hh ppl-0.11.2/Watchdog/src/Pending_List.types.hh ppl-0.11.2/Watchdog/configure.ac ppl-0.11.2/Watchdog/config.h.in ppl-0.11.2/Watchdog/configure ppl-0.11.2/Watchdog/pwl-config.h.in ppl-0.11.2/Watchdog/Makefile.in ppl-0.11.2/Watchdog/m4/ ppl-0.11.2/Watchdog/m4/libtool.m4 ppl-0.11.2/Watchdog/m4/lib-ld.m4 ppl-0.11.2/Watchdog/m4/Makefile.am ppl-0.11.2/Watchdog/m4/Makefile.in ppl-0.11.2/Watchdog/m4/ltsugar.m4 ppl-0.11.2/Watchdog/m4/ltoptions.m4 ppl-0.11.2/Watchdog/m4/lib-link.m4 ppl-0.11.2/Watchdog/m4/lt~obsolete.m4 ppl-0.11.2/Watchdog/m4/ltversion.m4 ppl-0.11.2/Watchdog/compile ppl-0.11.2/Watchdog/doc/ ppl-0.11.2/Watchdog/doc/gpl.ps.gz ppl-0.11.2/Watchdog/doc/devref.doxyconf-latex.in ppl-0.11.2/Watchdog/doc/pwl-user-0.8.pdf ppl-0.11.2/Watchdog/doc/pwl.sty ppl-0.11.2/Watchdog/doc/fdl.tex ppl-0.11.2/Watchdog/doc/pwl-user-0.8-html.tar.gz ppl-0.11.2/Watchdog/doc/gpl.pdf ppl-0.11.2/Watchdog/doc/devref.doxyconf-html.in ppl-0.11.2/Watchdog/doc/user.doxyconf-html.in ppl-0.11.2/Watchdog/doc/Makefile.am ppl-0.11.2/Watchdog/doc/gpl.dox ppl-0.11.2/Watchdog/doc/user.doxyconf-latex.in ppl-0.11.2/Watchdog/doc/fdl.ps.gz ppl-0.11.2/Watchdog/doc/Makefile.in ppl-0.11.2/Watchdog/doc/user.tex ppl-0.11.2/Watchdog/doc/gpl.txt ppl-0.11.2/Watchdog/doc/README.doc ppl-0.11.2/Watchdog/doc/fdl.pdf ppl-0.11.2/Watchdog/doc/fdl.dox ppl-0.11.2/Watchdog/doc/fdl.txt ppl-0.11.2/Watchdog/doc/pwl-user-0.8.ps.gz ppl-0.11.2/Watchdog/doc/devref.tex ppl-0.11.2/Watchdog/doc/gpl.tex ppl-0.11.2/Watchdog/INSTALL ppl-0.11.2/Watchdog/config.sub ppl-0.11.2/Watchdog/COPYING ppl-0.11.2/Watchdog/README ppl-0.11.2/Watchdog/NEWS ppl-0.11.2/Watchdog/ChangeLog ppl-0.11.2/Watchdog/mkinstalldirs ppl-0.11.2/Watchdog/CREDITS ppl-0.11.2/Watchdog/missing ppl-0.11.2/Watchdog/ChangeLog_2001-2008 ppl-0.11.2/Watchdog/pwl-config.sed ppl-0.11.2/configure.ac ppl-0.11.2/ppl-config.sed ppl-0.11.2/config.h.in ppl-0.11.2/configure ppl-0.11.2/Makefile.in ppl-0.11.2/README.solaris ppl-0.11.2/m4/ ppl-0.11.2/m4/ac_check_yap.m4 ppl-0.11.2/m4/ac_check_gmp.m4 ppl-0.11.2/m4/ac_check_xsb_prolog.m4 ppl-0.11.2/m4/lib-prefix.m4 ppl-0.11.2/m4/ac_cxx_flexible_arrays.m4 ppl-0.11.2/m4/m4.m4 ppl-0.11.2/m4/libtool.m4 ppl-0.11.2/m4/ac_cxx_double_exact_output.m4 ppl-0.11.2/m4/ac_cxx_attribute_weak.m4 ppl-0.11.2/m4/ac_prog_javah.m4 ppl-0.11.2/m4/ac_cxx_remainder_bug.m4 ppl-0.11.2/m4/ac_cxx_long_double_binary_format.m4 ppl-0.11.2/m4/lib-ld.m4 ppl-0.11.2/m4/Makefile.am ppl-0.11.2/m4/ac_cxx_ieee_inexact_flag.m4 ppl-0.11.2/m4/ac_check_classpath.m4 ppl-0.11.2/m4/ac_cxx_float_binary_format.m4 ppl-0.11.2/m4/ac_check_swi_prolog.m4 ppl-0.11.2/m4/ppl.m4 ppl-0.11.2/m4/ppl_c.m4 ppl-0.11.2/m4/ac_cxx_proper_long_double.m4 ppl-0.11.2/m4/ac_check_fpu_control.m4 ppl-0.11.2/m4/Makefile.in ppl-0.11.2/m4/ltsugar.m4 ppl-0.11.2/m4/ac_prog_java.m4 ppl-0.11.2/m4/ac_check_sicstus_prolog.m4 ppl-0.11.2/m4/ac_cxx_long_double_exact_output.m4 ppl-0.11.2/m4/ac_prog_javac.m4 ppl-0.11.2/m4/ac_cxx_plain_char_is_signed.m4 ppl-0.11.2/m4/ltoptions.m4 ppl-0.11.2/m4/lib-link.m4 ppl-0.11.2/m4/ac_cxx_limit_memory.m4 ppl-0.11.2/m4/lt~obsolete.m4 ppl-0.11.2/m4/ac_prog_jar.m4 ppl-0.11.2/m4/ac_check_ciao.m4 ppl-0.11.2/m4/ac_text_md5sum.m4 ppl-0.11.2/m4/ltversion.m4 ppl-0.11.2/m4/ocaml.m4 ppl-0.11.2/m4/ac_cxx_float_exact_output.m4 ppl-0.11.2/m4/ac_cxx_double_binary_format.m4 ppl-0.11.2/compile ppl-0.11.2/doc/ ppl-0.11.2/doc/ppl-user-0.11.2.pdf ppl-0.11.2/doc/ppl-config.1 ppl-0.11.2/doc/gpl.ps.gz ppl-0.11.2/doc/devref.doxyconf-latex.in ppl-0.11.2/doc/ppl-user-java-interface-0.11.2-html.tar.gz ppl-0.11.2/doc/fdl.tex ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2.ps.gz ppl-0.11.2/doc/ppl-user-java-interface-0.11.2.pdf ppl-0.11.2/doc/gpl.pdf ppl-0.11.2/doc/devref.doxyconf-html.in ppl-0.11.2/doc/definitions.dox ppl-0.11.2/doc/user.doxyconf-html.in ppl-0.11.2/doc/Makefile.am ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2.pdf ppl-0.11.2/doc/devref-language-interface.tex ppl-0.11.2/doc/user-language-interface.tex ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2-html.tar.gz ppl-0.11.2/doc/gpl.dox ppl-0.11.2/doc/ppl-user-0.11.2-html.tar.gz ppl-0.11.2/doc/ppl.sty ppl-0.11.2/doc/user-language-interface.doxyconf.in ppl-0.11.2/doc/user.doxyconf-latex.in ppl-0.11.2/doc/fdl.ps.gz ppl-0.11.2/doc/ppl-user-c-interface-0.11.2.ps.gz ppl-0.11.2/doc/libppl_c.3 ppl-0.11.2/doc/Makefile.in ppl-0.11.2/doc/ppl-user-0.11.2.ps.gz ppl-0.11.2/doc/user.tex ppl-0.11.2/doc/ppl-user-prolog-interface-0.11.2.ps.gz ppl-0.11.2/doc/interfaces-latex.sed ppl-0.11.2/doc/gpl.txt ppl-0.11.2/doc/devref-language-interface.doxyconf.in ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2-html.tar.gz ppl-0.11.2/doc/ppl-user-ocaml-interface-0.11.2.pdf ppl-0.11.2/doc/README.doc ppl-0.11.2/doc/fdl.pdf ppl-0.11.2/doc/fdl.dox ppl-0.11.2/doc/fdl.txt ppl-0.11.2/doc/devref.tex ppl-0.11.2/doc/ppl-user-c-interface-0.11.2-html.tar.gz ppl-0.11.2/doc/ppl-user-java-interface-0.11.2.ps.gz ppl-0.11.2/doc/ppl-user-c-interface-0.11.2.pdf ppl-0.11.2/doc/interfaces-html.sed ppl-0.11.2/doc/libppl.3 ppl-0.11.2/doc/gpl.tex ppl-0.11.2/demos/ ppl-0.11.2/demos/Makefile.am ppl-0.11.2/demos/Makefile.in ppl-0.11.2/demos/ppl_pips/ ppl-0.11.2/demos/ppl_pips/expected_int8_a ppl-0.11.2/demos/ppl_pips/expected_mpz_a ppl-0.11.2/demos/ppl_pips/Makefile.am ppl-0.11.2/demos/ppl_pips/expected_int16_a ppl-0.11.2/demos/ppl_pips/expected_int64_a ppl-0.11.2/demos/ppl_pips/expected_int64 ppl-0.11.2/demos/ppl_pips/Makefile.in ppl-0.11.2/demos/ppl_pips/expected_int32 ppl-0.11.2/demos/ppl_pips/ppl_pips.1 ppl-0.11.2/demos/ppl_pips/expected_mpz ppl-0.11.2/demos/ppl_pips/examples/ ppl-0.11.2/demos/ppl_pips/examples/esced.pip ppl-0.11.2/demos/ppl_pips/examples/test02.dat ppl-0.11.2/demos/ppl_pips/examples/ex2.pip ppl-0.11.2/demos/ppl_pips/examples/rairoi.dat ppl-0.11.2/demos/ppl_pips/examples/Makefile.am ppl-0.11.2/demos/ppl_pips/examples/max.dat ppl-0.11.2/demos/ppl_pips/examples/fimmel.pip ppl-0.11.2/demos/ppl_pips/examples/big.pip ppl-0.11.2/demos/ppl_pips/examples/max.pip ppl-0.11.2/demos/ppl_pips/examples/invert.dat ppl-0.11.2/demos/ppl_pips/examples/Makefile.in ppl-0.11.2/demos/ppl_pips/examples/maxb.dat ppl-0.11.2/demos/ppl_pips/examples/square.pip ppl-0.11.2/demos/ppl_pips/examples/petit.dat ppl-0.11.2/demos/ppl_pips/examples/sor1d.pip ppl-0.11.2/demos/ppl_pips/examples/test12i.dat ppl-0.11.2/demos/ppl_pips/examples/README ppl-0.11.2/demos/ppl_pips/examples/linear.dat ppl-0.11.2/demos/ppl_pips/examples/loz.dat ppl-0.11.2/demos/ppl_pips/examples/pairi.dat ppl-0.11.2/demos/ppl_pips/examples/lineri.dat ppl-0.11.2/demos/ppl_pips/examples/brisebarre.pip ppl-0.11.2/demos/ppl_pips/examples/cg1.pip ppl-0.11.2/demos/ppl_pips/ppl_pips.cc ppl-0.11.2/demos/ppl_pips/expected_int16 ppl-0.11.2/demos/ppl_pips/expected_int32_a ppl-0.11.2/demos/ppl_pips/expected_int8 ppl-0.11.2/demos/ppl_lcdd/ ppl-0.11.2/demos/ppl_lcdd/ppl_lcdd.1 ppl-0.11.2/demos/ppl_lcdd/expected_int8_a ppl-0.11.2/demos/ppl_lcdd/expected_mpz_a ppl-0.11.2/demos/ppl_lcdd/Makefile.am ppl-0.11.2/demos/ppl_lcdd/expected_int16_a ppl-0.11.2/demos/ppl_lcdd/expected_int64_a ppl-0.11.2/demos/ppl_lcdd/expected_int64 ppl-0.11.2/demos/ppl_lcdd/Makefile.in ppl-0.11.2/demos/ppl_lcdd/expected_int32 ppl-0.11.2/demos/ppl_lcdd/expected_mpz ppl-0.11.2/demos/ppl_lcdd/examples/ ppl-0.11.2/demos/ppl_lcdd/examples/cube6.ine ppl-0.11.2/demos/ppl_lcdd/examples/icododeca_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/sampleh3.ine ppl-0.11.2/demos/ppl_lcdd/examples/sampleh2.ine ppl-0.11.2/demos/ppl_lcdd/examples/cp7.ext ppl-0.11.2/demos/ppl_lcdd/examples/redcheck.ext ppl-0.11.2/demos/ppl_lcdd/examples/infeas.ine ppl-0.11.2/demos/ppl_lcdd/examples/dcube12.ext ppl-0.11.2/demos/ppl_lcdd/examples/cross4.ine ppl-0.11.2/demos/ppl_lcdd/examples/diamond.ine ppl-0.11.2/demos/ppl_lcdd/examples/sample.ine ppl-0.11.2/demos/ppl_lcdd/examples/tsp5.ext ppl-0.11.2/demos/ppl_lcdd/examples/cp4.ine ppl-0.11.2/demos/ppl_lcdd/examples/integralpoints.ine ppl-0.11.2/demos/ppl_lcdd/examples/trunc10.ine ppl-0.11.2/demos/ppl_lcdd/examples/cross8.ine ppl-0.11.2/demos/ppl_lcdd/examples/metric80_16.ine ppl-0.11.2/demos/ppl_lcdd/examples/cube3.ine ppl-0.11.2/demos/ppl_lcdd/examples/1d.ine ppl-0.11.2/demos/ppl_lcdd/examples/in2.ine ppl-0.11.2/demos/ppl_lcdd/examples/dcube10.ext ppl-0.11.2/demos/ppl_lcdd/examples/irbox20-4.ext ppl-0.11.2/demos/ppl_lcdd/examples/tsp5.ine ppl-0.11.2/demos/ppl_lcdd/examples/mp5a.ine ppl-0.11.2/demos/ppl_lcdd/examples/dcube6.ext ppl-0.11.2/demos/ppl_lcdd/examples/cube10.ine ppl-0.11.2/demos/ppl_lcdd/examples/in3.ine ppl-0.11.2/demos/ppl_lcdd/examples/cubetop.ine ppl-0.11.2/demos/ppl_lcdd/examples/cp6.ext ppl-0.11.2/demos/ppl_lcdd/examples/sampleh5.ine ppl-0.11.2/demos/ppl_lcdd/examples/project1res.ine ppl-0.11.2/demos/ppl_lcdd/examples/in0.ine ppl-0.11.2/demos/ppl_lcdd/examples/irbox200-4.ext ppl-0.11.2/demos/ppl_lcdd/examples/sampleh7.ine ppl-0.11.2/demos/ppl_lcdd/examples/cp4.ext ppl-0.11.2/demos/ppl_lcdd/examples/reg24-5.ine ppl-0.11.2/demos/ppl_lcdd/examples/Makefile.am ppl-0.11.2/demos/ppl_lcdd/examples/project1_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/1da.ine ppl-0.11.2/demos/ppl_lcdd/examples/mit31-20.ine ppl-0.11.2/demos/ppl_lcdd/examples/allzero.ine ppl-0.11.2/demos/ppl_lcdd/examples/project2_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/cyc.ine ppl-0.11.2/demos/ppl_lcdd/examples/ccp5.ext ppl-0.11.2/demos/ppl_lcdd/examples/mit90-86.ine ppl-0.11.2/demos/ppl_lcdd/examples/cyclic12-6.ext ppl-0.11.2/demos/ppl_lcdd/examples/reg600-5_m.ext ppl-0.11.2/demos/ppl_lcdd/examples/mit41-16.ine ppl-0.11.2/demos/ppl_lcdd/examples/rcubocta.ine ppl-0.11.2/demos/ppl_lcdd/examples/dodeca_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/ccp6.ext ppl-0.11.2/demos/ppl_lcdd/examples/in6.ine ppl-0.11.2/demos/ppl_lcdd/examples/samplev3.ext ppl-0.11.2/demos/ppl_lcdd/examples/ex1.ine ppl-0.11.2/demos/ppl_lcdd/examples/mit.ine ppl-0.11.2/demos/ppl_lcdd/examples/kkd18_4.ine ppl-0.11.2/demos/ppl_lcdd/examples/cut32_16.ext ppl-0.11.2/demos/ppl_lcdd/examples/hexocta.ine ppl-0.11.2/demos/ppl_lcdd/examples/in4.ine ppl-0.11.2/demos/ppl_lcdd/examples/Makefile.in ppl-0.11.2/demos/ppl_lcdd/examples/kkd38_6.ine ppl-0.11.2/demos/ppl_lcdd/examples/mit288-281.ine ppl-0.11.2/demos/ppl_lcdd/examples/cut16_11.ext ppl-0.11.2/demos/ppl_lcdd/examples/in1.ine ppl-0.11.2/demos/ppl_lcdd/examples/cross10.ine ppl-0.11.2/demos/ppl_lcdd/examples/cubocta.ine ppl-0.11.2/demos/ppl_lcdd/examples/cross12.ine ppl-0.11.2/demos/ppl_lcdd/examples/rhomtria_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/dcube8.ext ppl-0.11.2/demos/ppl_lcdd/examples/mit708-9.ine ppl-0.11.2/demos/ppl_lcdd/examples/cyclic17_8.ine ppl-0.11.2/demos/ppl_lcdd/examples/cube12.ine ppl-0.11.2/demos/ppl_lcdd/examples/mp6.ine ppl-0.11.2/demos/ppl_lcdd/examples/kq20_11_m.ine ppl-0.11.2/demos/ppl_lcdd/examples/prodst62.ext ppl-0.11.2/demos/ppl_lcdd/examples/kkd27_5.ine ppl-0.11.2/demos/ppl_lcdd/examples/cross6.ine ppl-0.11.2/demos/ppl_lcdd/examples/project2res.ine ppl-0.11.2/demos/ppl_lcdd/examples/dcube3.ext ppl-0.11.2/demos/ppl_lcdd/examples/cube.ine ppl-0.11.2/demos/ppl_lcdd/examples/in7.ine ppl-0.11.2/demos/ppl_lcdd/examples/ccp4.ext ppl-0.11.2/demos/ppl_lcdd/examples/cyclic14-8.ext ppl-0.11.2/demos/ppl_lcdd/examples/README ppl-0.11.2/demos/ppl_lcdd/examples/ccc5.ext ppl-0.11.2/demos/ppl_lcdd/examples/trunc7.ine ppl-0.11.2/demos/ppl_lcdd/examples/cp5.ext ppl-0.11.2/demos/ppl_lcdd/examples/metric40_11.ine ppl-0.11.2/demos/ppl_lcdd/examples/sampleh4.ine ppl-0.11.2/demos/ppl_lcdd/examples/mp5.ine ppl-0.11.2/demos/ppl_lcdd/examples/cyclic10-4.ext ppl-0.11.2/demos/ppl_lcdd/examples/reg24-5.ext ppl-0.11.2/demos/ppl_lcdd/examples/mit71-61.ine ppl-0.11.2/demos/ppl_lcdd/examples/nonfull.ine ppl-0.11.2/demos/ppl_lcdd/examples/cube8.ine ppl-0.11.2/demos/ppl_lcdd/examples/cyclic25_13.ext ppl-0.11.2/demos/ppl_lcdd/examples/sampleh6.ine ppl-0.11.2/demos/ppl_lcdd/examples/samplev1.ext ppl-0.11.2/demos/ppl_lcdd/examples/sampleh1.ine ppl-0.11.2/demos/ppl_lcdd/examples/in5.ine ppl-0.11.2/demos/ppl_lcdd/examples/origin.ine ppl-0.11.2/demos/ppl_lcdd/examples/cp6.ine ppl-0.11.2/demos/ppl_lcdd/examples/grcubocta.ine ppl-0.11.2/demos/ppl_lcdd/examples/cube.ext ppl-0.11.2/demos/ppl_lcdd/examples/ccc4.ext ppl-0.11.2/demos/ppl_lcdd/examples/mp5.ext ppl-0.11.2/demos/ppl_lcdd/examples/cp5.ine ppl-0.11.2/demos/ppl_lcdd/examples/ccc6.ext ppl-0.11.2/demos/ppl_lcdd/examples/samplev2.ext ppl-0.11.2/demos/ppl_lcdd/examples/cyclic16-10.ext ppl-0.11.2/demos/ppl_lcdd/examples/sampleh8.ine ppl-0.11.2/demos/ppl_lcdd/expected_int16 ppl-0.11.2/demos/ppl_lcdd/ppl_lcdd.cc ppl-0.11.2/demos/ppl_lcdd/expected_int32_a ppl-0.11.2/demos/ppl_lcdd/expected_int8 ppl-0.11.2/demos/ppl_lpsol/ ppl-0.11.2/demos/ppl_lpsol/expected_int8_a ppl-0.11.2/demos/ppl_lpsol/expected_mpz_a ppl-0.11.2/demos/ppl_lpsol/ppl_lpsol.1 ppl-0.11.2/demos/ppl_lpsol/Makefile.am ppl-0.11.2/demos/ppl_lpsol/expected_int16_a ppl-0.11.2/demos/ppl_lpsol/expected_int64_a ppl-0.11.2/demos/ppl_lpsol/expected_int64 ppl-0.11.2/demos/ppl_lpsol/Makefile.in ppl-0.11.2/demos/ppl_lpsol/expected_int32 ppl-0.11.2/demos/ppl_lpsol/dummy.cc ppl-0.11.2/demos/ppl_lpsol/expected_mpz ppl-0.11.2/demos/ppl_lpsol/examples/ ppl-0.11.2/demos/ppl_lpsol/examples/sc50a.mps ppl-0.11.2/demos/ppl_lpsol/examples/sample.mps ppl-0.11.2/demos/ppl_lpsol/examples/modglob.mps ppl-0.11.2/demos/ppl_lpsol/examples/noswot.mps ppl-0.11.2/demos/ppl_lpsol/examples/sc50b.mps ppl-0.11.2/demos/ppl_lpsol/examples/egout.mps ppl-0.11.2/demos/ppl_lpsol/examples/unboundedmin.mps ppl-0.11.2/demos/ppl_lpsol/examples/Makefile.am ppl-0.11.2/demos/ppl_lpsol/examples/ex1.mps ppl-0.11.2/demos/ppl_lpsol/examples/p0033.mps ppl-0.11.2/demos/ppl_lpsol/examples/bgprtr.mps ppl-0.11.2/demos/ppl_lpsol/examples/lseu.mps ppl-0.11.2/demos/ppl_lpsol/examples/opt1217.mps ppl-0.11.2/demos/ppl_lpsol/examples/boeing2.mps ppl-0.11.2/demos/ppl_lpsol/examples/Makefile.in ppl-0.11.2/demos/ppl_lpsol/examples/ship08l.mps ppl-0.11.2/demos/ppl_lpsol/examples/mas74.mps ppl-0.11.2/demos/ppl_lpsol/examples/blend.mps ppl-0.11.2/demos/ppl_lpsol/examples/kb2.mps ppl-0.11.2/demos/ppl_lpsol/examples/ex12.mps ppl-0.11.2/demos/ppl_lpsol/examples/markshare1.mps ppl-0.11.2/demos/ppl_lpsol/examples/mas76.mps ppl-0.11.2/demos/ppl_lpsol/examples/README ppl-0.11.2/demos/ppl_lpsol/examples/sc105.mps ppl-0.11.2/demos/ppl_lpsol/examples/markshare2.mps ppl-0.11.2/demos/ppl_lpsol/examples/rout.mps ppl-0.11.2/demos/ppl_lpsol/examples/pk1.mps ppl-0.11.2/demos/ppl_lpsol/examples/boeing1.mps ppl-0.11.2/demos/ppl_lpsol/examples/mip.mps ppl-0.11.2/demos/ppl_lpsol/examples/afiro.mps ppl-0.11.2/demos/ppl_lpsol/examples/adlittle.mps ppl-0.11.2/demos/ppl_lpsol/expected_int16 ppl-0.11.2/demos/ppl_lpsol/ppl_lpsol.c ppl-0.11.2/demos/ppl_lpsol/glpk_set_d_eps.c ppl-0.11.2/demos/ppl_lpsol/expected_int32_a ppl-0.11.2/demos/ppl_lpsol/expected_int8 ppl-0.11.2/INSTALL ppl-0.11.2/config.sub ppl-0.11.2/COPYING ppl-0.11.2/README ppl-0.11.2/NEWS ppl-0.11.2/ChangeLog ppl-0.11.2/mkinstalldirs ppl-0.11.2/ppl-config.h.in ppl-0.11.2/CREDITS ppl-0.11.2/missing ppl-0.11.2/STANDARDS ppl-0.11.2/ChangeLog_2001-2008 ppl-0.11.2/TODO ppl-0.11.2/interfaces/ ppl-0.11.2/interfaces/OCaml/ ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml.m4 ppl-0.11.2/interfaces/OCaml/tests/ ppl-0.11.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml_code.m4 ppl-0.11.2/interfaces/OCaml/tests/Makefile.am ppl-0.11.2/interfaces/OCaml/tests/ppl_ocaml_tests_common ppl-0.11.2/interfaces/OCaml/tests/Makefile.in ppl-0.11.2/interfaces/OCaml/tests/ppl_interface_generator_ocaml_test_ml.m4 ppl-0.11.2/interfaces/OCaml/tests/test1.ml ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_files.m4 ppl-0.11.2/interfaces/OCaml/Makefile.am ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.inlines.hh ppl-0.11.2/interfaces/OCaml/README.ocaml ppl-0.11.2/interfaces/OCaml/Makefile.in ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_globals.ml ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.defs.hh ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_globals.mli ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_code.m4 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4 ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 ppl-0.11.2/interfaces/OCaml/ppl_ocaml_common.cc ppl-0.11.2/interfaces/OCaml/OCaml_interface.dox ppl-0.11.2/interfaces/OCaml/ppl_interface_generator_ocaml_hh_files.m4 ppl-0.11.2/interfaces/ppl_interface_generator_common.m4 ppl-0.11.2/interfaces/interfaced_boxes.hh ppl-0.11.2/interfaces/ppl_interface_generator_common_dat.m4 ppl-0.11.2/interfaces/ppl_interface_generator_common_procedure_generators.m4 ppl-0.11.2/interfaces/Makefile.am ppl-0.11.2/interfaces/Makefile.in ppl-0.11.2/interfaces/ppl_interface_generator_copyright ppl-0.11.2/interfaces/C/ ppl-0.11.2/interfaces/C/ppl_c_implementation_common.inlines.hh ppl-0.11.2/interfaces/C/ppl_c_header.h ppl-0.11.2/interfaces/C/ppl_interface_generator_c_cc_files.m4 ppl-0.11.2/interfaces/C/tests/ ppl-0.11.2/interfaces/C/tests/watchdog1.c ppl-0.11.2/interfaces/C/tests/ppl_c_test.cc ppl-0.11.2/interfaces/C/tests/Makefile.am ppl-0.11.2/interfaces/C/tests/ppl_c_test.h ppl-0.11.2/interfaces/C/tests/Makefile.in ppl-0.11.2/interfaces/C/tests/formatted_output.c ppl-0.11.2/interfaces/C/tests/print_to_buffer.h ppl-0.11.2/interfaces/C/tests/weightwatch1.c ppl-0.11.2/interfaces/C/tests/pip_test.c ppl-0.11.2/interfaces/C/tests/print_to_buffer.c ppl-0.11.2/interfaces/C/C_interface.dox ppl-0.11.2/interfaces/C/ppl_interface_generator_c_cc_code.m4 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_hh_files.m4 ppl-0.11.2/interfaces/C/ppl_c_implementation_common.defs.hh ppl-0.11.2/interfaces/C/Makefile.am ppl-0.11.2/interfaces/C/Makefile.in ppl-0.11.2/interfaces/C/ppl_interface_generator_c_h_code.m4 ppl-0.11.2/interfaces/C/ppl_interface_generator_c_h.m4 ppl-0.11.2/interfaces/C/ppl_c.h.dist ppl-0.11.2/interfaces/C/ppl_c_implementation_common.cc ppl-0.11.2/interfaces/C/ppl_interface_generator_c_procedure_generators.m4 ppl-0.11.2/interfaces/C/ppl_c_version.h.in ppl-0.11.2/interfaces/Java/ ppl-0.11.2/interfaces/Java/parma_polyhedra_library/ ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PPL_Object.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Variable.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Coefficient.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Name.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Control_Parameter_Value.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/MIP_Problem_Status.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Coefficient.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Difference.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Relation_Symbol.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Optimization_Mode.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Constraint_System.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Fake_Class_for_Doxygen.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Decision_Node.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Invalid_Argument_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Partial_Function.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Representation.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Congruence_System.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Makefile.am ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Poly_Con_Relation.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Unary_Minus.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Tree_Node.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/MIP_Problem.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Degenerate_Element.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Artificial_Parameter_Sequence.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Complexity_Class.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Variables_Set.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Makefile.in ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Timeout_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Congruence.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Logic_Error_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Length_Error_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Solution_Node.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Pair.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Poly_Gen_Relation.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator_System.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_Type.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Times.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Overflow_Error_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem_Status.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Variable.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Generator_Type.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Grid_Generator_System.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Constraint.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/PIP_Problem.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Domain_Error_Exception.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/IO.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/By_Reference.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Width.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression_Sum.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Linear_Expression.java ppl-0.11.2/interfaces/Java/parma_polyhedra_library/Bounded_Integer_Type_Overflow.java ppl-0.11.2/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4 ppl-0.11.2/interfaces/Java/tests/ ppl-0.11.2/interfaces/Java/tests/MIP_Problem_test1.java ppl-0.11.2/interfaces/Java/tests/NNC_Polyhedron_test1.java ppl-0.11.2/interfaces/Java/tests/C_Polyhedron_test1.java ppl-0.11.2/interfaces/Java/tests/Makefile.am ppl-0.11.2/interfaces/Java/tests/ppl_interface_generator_java_test_java.m4 ppl-0.11.2/interfaces/Java/tests/Parma_Polyhedra_Library_test1.java ppl-0.11.2/interfaces/Java/tests/Test_Executor.java ppl-0.11.2/interfaces/Java/tests/Makefile.in ppl-0.11.2/interfaces/Java/tests/PIP_Problem_test1.java ppl-0.11.2/interfaces/Java/tests/ppl_java_tests_common ppl-0.11.2/interfaces/Java/tests/PPL_Test.java ppl-0.11.2/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java ppl-0.11.2/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 ppl-0.11.2/interfaces/Java/Makefile.am ppl-0.11.2/interfaces/Java/Makefile.in ppl-0.11.2/interfaces/Java/README.java ppl-0.11.2/interfaces/Java/jni/ ppl-0.11.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4 ppl-0.11.2/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 ppl-0.11.2/interfaces/Java/jni/Makefile.am ppl-0.11.2/interfaces/Java/jni/Makefile.in ppl-0.11.2/interfaces/Java/jni/ppl_java_common.defs.hh ppl-0.11.2/interfaces/Java/jni/ppl_java_common.inlines.hh ppl-0.11.2/interfaces/Java/jni/ppl_java_common.cc ppl-0.11.2/interfaces/Java/jni/ppl_java_globals.cc ppl-0.11.2/interfaces/marked_pointers.hh ppl-0.11.2/interfaces/Prolog/ ppl-0.11.2/interfaces/Prolog/ppl_prolog_sysdep_dox ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 ppl-0.11.2/interfaces/Prolog/tests/ ppl-0.11.2/interfaces/Prolog/tests/clpq.pl ppl-0.11.2/interfaces/Prolog/tests/tak.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_mpz_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int64 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int32 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int16_a ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_mpz ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int32 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int8 ppl-0.11.2/interfaces/Prolog/tests/sumto.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int8_a ppl-0.11.2/interfaces/Prolog/tests/mc91.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int8 ppl-0.11.2/interfaces/Prolog/tests/Makefile.am ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int64_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_mpz ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int16 ppl-0.11.2/interfaces/Prolog/tests/script_clpq2 ppl-0.11.2/interfaces/Prolog/tests/ackn.clpq ppl-0.11.2/interfaces/Prolog/tests/pl_check.pl ppl-0.11.2/interfaces/Prolog/tests/clpq2.pl ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int16 ppl-0.11.2/interfaces/Prolog/tests/ack.clpq ppl-0.11.2/interfaces/Prolog/tests/fib.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int32_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int16 ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int64_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int64 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int8_a ppl-0.11.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl.m4 ppl-0.11.2/interfaces/Prolog/tests/smm.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_mpz ppl-0.11.2/interfaces/Prolog/tests/Makefile.in ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int8 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_mpz_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int16_a ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int8_a ppl-0.11.2/interfaces/Prolog/tests/schedule.clpq ppl-0.11.2/interfaces/Prolog/tests/expected_pgt ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int32 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int32_a ppl-0.11.2/interfaces/Prolog/tests/script_clpq ppl-0.11.2/interfaces/Prolog/tests/expected_clpq2_int64_a ppl-0.11.2/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_int16_a ppl-0.11.2/interfaces/Prolog/tests/expected_clpq_mpz_a ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int32_a ppl-0.11.2/interfaces/Prolog/tests/expected_pchk_int64 ppl-0.11.2/interfaces/Prolog/tests/script_clpq2_int8 ppl-0.11.2/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.cc ppl-0.11.2/interfaces/Prolog/Makefile.am ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 ppl-0.11.2/interfaces/Prolog/ppl_prolog_sysindep_dox ppl-0.11.2/interfaces/Prolog/SWI/ ppl-0.11.2/interfaces/Prolog/SWI/swi_efli.cc ppl-0.11.2/interfaces/Prolog/SWI/pl_clpq.pl ppl-0.11.2/interfaces/Prolog/SWI/ppl_pl.cc ppl-0.11.2/interfaces/Prolog/SWI/swi_prolog_generated_test.pl ppl-0.11.2/interfaces/Prolog/SWI/swi_pl_check.pl ppl-0.11.2/interfaces/Prolog/SWI/Makefile.am ppl-0.11.2/interfaces/Prolog/SWI/swi_cfli.hh ppl-0.11.2/interfaces/Prolog/SWI/ppl_swiprolog.pl ppl-0.11.2/interfaces/Prolog/SWI/swi_efli.hh ppl-0.11.2/interfaces/Prolog/SWI/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/SWI/Makefile.in ppl-0.11.2/interfaces/Prolog/SWI/README.swiprolog ppl-0.11.2/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 ppl-0.11.2/interfaces/Prolog/SWI/pl_clpq.cc ppl-0.11.2/interfaces/Prolog/GNU/ ppl-0.11.2/interfaces/Prolog/GNU/gp_clpq.pl ppl-0.11.2/interfaces/Prolog/GNU/Makefile.am ppl-0.11.2/interfaces/Prolog/GNU/README.gprolog ppl-0.11.2/interfaces/Prolog/GNU/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/GNU/ppl_interface_generator_gprolog_pl.m4 ppl-0.11.2/interfaces/Prolog/GNU/Makefile.in ppl-0.11.2/interfaces/Prolog/GNU/gprolog_efli.cc ppl-0.11.2/interfaces/Prolog/GNU/gprolog_efli.hh ppl-0.11.2/interfaces/Prolog/GNU/gnu_prolog_generated_test.pl ppl-0.11.2/interfaces/Prolog/GNU/gprolog_cfli.hh ppl-0.11.2/interfaces/Prolog/GNU/gnu_pl_check.pl ppl-0.11.2/interfaces/Prolog/Prolog_interface.dox ppl-0.11.2/interfaces/Prolog/Makefile.in ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.inlines.hh ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_systems.m4 ppl-0.11.2/interfaces/Prolog/ppl_prolog_common.defs.hh ppl-0.11.2/interfaces/Prolog/XSB/ ppl-0.11.2/interfaces/Prolog/XSB/xsb_efli.hh ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 ppl-0.11.2/interfaces/Prolog/XSB/xsb_clpq.P ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_prolog_generated_test_P.m4 ppl-0.11.2/interfaces/Prolog/XSB/Makefile.am ppl-0.11.2/interfaces/Prolog/XSB/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/XSB/Makefile.in ppl-0.11.2/interfaces/Prolog/XSB/xsb_efli.cc ppl-0.11.2/interfaces/Prolog/XSB/xsb_pl_check.P ppl-0.11.2/interfaces/Prolog/XSB/xsb_clpq2.P ppl-0.11.2/interfaces/Prolog/XSB/xsb_cfli.hh ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 ppl-0.11.2/interfaces/Prolog/XSB/ppl_interface_generator_xsb_hh.m4 ppl-0.11.2/interfaces/Prolog/SICStus/ ppl-0.11.2/interfaces/Prolog/SICStus/sp_clpq.pl ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_efli.cc ppl-0.11.2/interfaces/Prolog/SICStus/sp_pl_check.pl ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_efli.hh ppl-0.11.2/interfaces/Prolog/SICStus/Makefile.am ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.cc ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.h ppl-0.11.2/interfaces/Prolog/SICStus/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/SICStus/sicstus_cfli.ic ppl-0.11.2/interfaces/Prolog/SICStus/Makefile.in ppl-0.11.2/interfaces/Prolog/SICStus/ppl_interface_generator_sicstus_sd_cc.m4 ppl-0.11.2/interfaces/Prolog/SICStus/ppl_sicstus.pl ppl-0.11.2/interfaces/Prolog/SICStus/sp_prolog_generated_test.pl ppl-0.11.2/interfaces/Prolog/YAP/ ppl-0.11.2/interfaces/Prolog/YAP/yap_efli.hh ppl-0.11.2/interfaces/Prolog/YAP/yap_clpq.pl ppl-0.11.2/interfaces/Prolog/YAP/yap_pl_check.pl ppl-0.11.2/interfaces/Prolog/YAP/Makefile.am ppl-0.11.2/interfaces/Prolog/YAP/README.yap ppl-0.11.2/interfaces/Prolog/YAP/ppl_interface_generator_yap_cc.m4 ppl-0.11.2/interfaces/Prolog/YAP/yap_clpq2.pl ppl-0.11.2/interfaces/Prolog/YAP/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/YAP/Makefile.in ppl-0.11.2/interfaces/Prolog/YAP/yap_efli.cc ppl-0.11.2/interfaces/Prolog/YAP/ppl_yap.pl ppl-0.11.2/interfaces/Prolog/YAP/yap_prolog_generated_test.pl ppl-0.11.2/interfaces/Prolog/YAP/yap_cfli.hh ppl-0.11.2/interfaces/Prolog/Ciao/ ppl-0.11.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_prolog_generated_test_pl.m4 ppl-0.11.2/interfaces/Prolog/Ciao/Makefile.am ppl-0.11.2/interfaces/Prolog/Ciao/README.ciao ppl-0.11.2/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_pl.m4 ppl-0.11.2/interfaces/Prolog/Ciao/ciao_clpq2.pl ppl-0.11.2/interfaces/Prolog/Ciao/ppl_prolog_sysdep.hh ppl-0.11.2/interfaces/Prolog/Ciao/Makefile.in ppl-0.11.2/interfaces/Prolog/Ciao/ciao_clpq.pl ppl-0.11.2/interfaces/Prolog/Ciao/ciao_efli.cc ppl-0.11.2/interfaces/Prolog/Ciao/ciao_cfli.hh ppl-0.11.2/interfaces/Prolog/Ciao/ciao_efli.hh ppl-0.11.2/interfaces/Prolog/Ciao/ciao_pl_check.pl ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 ppl-0.11.2/interfaces/Prolog/ppl_interface_generator_prolog_hh_code.m4 sudo -u fink-bld [ENV] sh -c /tmp/fink.jwwTW [ -r /sw/fink/dists/stable/main/finkinfo/devel/ppl9.patch ] sudo -u fink-bld [ENV] sh -c /tmp/fink.Q8q3L /tmp/fink.WYmZI #!/bin/sh -ev # patch: conditionally provide std::numeric_limits for gmpxx classes, # newly added in gmp-5.1.0 patch -p1 < /sw/fink/dists/stable/main/finkinfo/devel/ppl9.patch patching file src/mp_std_bits.defs.hh Hunk #1 succeeded at 44 (offset -3639 lines). Hunk #2 succeeded at 164 (offset -3639 lines). patching file src/ppl.hh.dist patching file src/mp_std_bits.cc # g++-4.0.1 rejects template instantiating w/ anonymous enums -- fangism # this was fixed in ppl-0.11; the following patch doesn't do anything # file=src/meta_programming.hh # sed -i.orig -e '/struct Bool/,/^};/s|enum {|enum value_type {|' $file # symbols in anonymous namespace given extern linkage file=src/initializer.hh sed -i.orig -e '/::Init.*initializer/s|^|static |' $file # To take advantage of precompiled headers, defined macros must match. # patch could apply to src/Makefile.am too file=src/Makefile.in sed -i.orig -e '/CXXCOMPILE.*-xc++-header/s|-o|-DPIC &|' $file # files compiled here are VERY taxing on memory, so we serialize file=tests/MIP_Problem/Makefile.in echo ".NOTPARALLEL: check-am" >> $file # move pkglibdir to a versioned dir to avoid shlib conflict file=interfaces/Java/jni/Makefile.in sed -i.orig -e '/^pkglibdir =/s|$|-0.11|' $file file=interfaces/Java/Makefile.in sed -i.orig -e '/^pkglibdir =/s|$|-0.11|' $file # use consistent architecture for testing, override default as needed file=interfaces/Java/tests/Makefile.in case "x86_64" in powerpc ) ;; i386 ) sed -i.orig '/\$(JAVA)/s|-classpath|-d32 &|' $file ;; x64_64 ) ;; esac sudo -u fink-bld [ENV] sh -c /tmp/fink.Dk22d /tmp/fink.c14F1 #!/bin/sh -ev mkdir build cd build if test -x /usr/libexec/java_home then JAVA_HOME=`/usr/libexec/java_home` else JAVA_FW=/System/Library/Frameworks/JavaVM.framework JAVA_HOME=$JAVA_FW/Home fi /usr/libexec/java_home test -d $JAVA_HOME && test -x $JAVA_HOME || \ { echo "$JAVA_HOME not found." ; exit 1 ;} JAVA_INCLUDE=$JAVA_HOME/include test -r $JAVA_INCLUDE/jni.h || JAVA_INCLUDE=$JAVA_FW/Headers test -r $JAVA_INCLUDE/jni.h || \ { echo "Missing Java development package containing jni.h." ; \ echo "Please download/install from connect.apple.com and try again." ; \ echo "Thank you and have a nice day." ; exit 1 ;} Missing Java development package containing jni.h. Please download/install from connect.apple.com and try again. Thank you and have a nice day. ### execution of /tmp/fink.c14F1 failed, exit code 1 ### execution of /tmp/fink.Dk22d failed, exit code 1 Removing runtime build-lock... Removing build-lock package... /sw/bin/dpkg-lockwait -r fink-buildlock-ppl9-0.11.2-5 (Reading database ... 264470 files and directories currently installed.) Removing fink-buildlock-ppl9-0.11.2-5 ... Failed: phase compiling: ppl9-0.11.2-5 failed Before reporting any errors, please run "fink selfupdate" and try again. Also try using "fink configure" to set your maximum build jobs to 1 and attempt to build the package again. If you continue to have issues, please check to see if the FAQ on Fink's website solves the problem. If not, ask on one (not both, please) of these mailing lists: The Fink Users List <fink-users@lists.sourceforge.net> The Fink Beginners List <fink-beginn...@lists.sourceforge.net>, with a carbon copy to the maintainer: David Fang <fang...@users.sourceforge.net> Note that this is preferable to emailing just the maintainer directly, since most fink package maintainers do not have access to all possible hardware and software configurations. Please try to include the complete error message in your report. This generally consists of a compiler line starting with e.g. "gcc" or "g++" followed by the actual error output from the compiler. Also include the following system information: Package manager version: 0.38.3 Distribution version: selfupdate-rsync Mon Dec 15 20:56:16 2014, 10.7, x86_64 Trees: local/main stable/main Xcode.app: 4.6.3 Xcode command-line tools: 4.6.0.0.1.1365549073 Max. Fink build jobs: 4 airbears2-10-142-35-110:Diss-2000 saleh$ ------------------------------------------------------------------------------ Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk _______________________________________________ Fink-users mailing list Fink-users@lists.sourceforge.net List archive: http://news.gmane.org/gmane.os.macosx.fink.user Subscription management: https://lists.sourceforge.net/lists/listinfo/fink-users