mac-saleh$ fink list -it system-java Information about 11359 packages read in 1 seconds. i system-java 1.6.0-1 [virtual package representing Java 1.6.0] i system-java-dev 1.6.0-1 [virtual package representing Java SDK 1.6.0] i system-java14 1.4.2-1 [virtual package representing Java 1.4.2] i system-java14-dev 1.4.2-1 [virtual package representing Java 1.4.2 development headers] i system-java15 1.5.0-1 [virtual package representing Java 1.5.0] i system-java15-dev 1.5.0-1 [virtual package representing Java 1.5.0 development headers] i system-java16 1.6.0-1 [virtual package representing Java 1.6.0] i system-java16-dev 1.6.0-1 [virtual package representing Java 1.6.0 development headers] i system-java3d 0-1 [virtual package representing Java3D] i system-javaai 0-1 [virtual package representing Java Advanced Imaging]
On Dec 15, 2014, at 9:15 PM, Alexander Hansen wrote: > >> On Dec 15, 2014, at 9:11 PM, Saleh Elmohamed <m.a.saleh.elmoha...@gmail.com> >> wrote: >> >> 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$ >> > > What do you get from “fink list -it system-java”? > > -- > Alexander Hansen, Ph.D. > Fink User Liaison > ------------------------------------------------------------------------------ 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