January 2006 - PPL-devel - BUGSENG Mailman

problems with sicstus (attachment)
by Peter Schneider-Kamp 24 Jan '06

24 Jan '06

Hi, sorry for forgetting to attach the output of "make install" to my previous mail :-( I also did a "make check" now and this worked flawlessly. But the problem with "make install" remains. Kind regards and sorry for the inconvenience, Peter -- Peter Schneider-Kamp mailto:psk@informatik.rwth-aachen.de LuFG Informatik II http://www-i2.informatik.rwth-aachen.de/~nowonder RWTH Aachen phone: ++49 241 80-21211 Making install in utils make[1]: Entering directory `/home/nowonder/cti/ppl-0.8/utils' make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/utils' make[2]: Nothing to be done for `install-exec-am'. make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/utils' make[1]: Leaving directory `/home/nowonder/cti/ppl-0.8/utils' Making install in src make[1]: Entering directory `/home/nowonder/cti/ppl-0.8/src' make install-am make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/src' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/src' test -z "/usr/local/lib" || mkdir -p -- "/usr/local/lib" /bin/sh ../libtool --mode=install /usr/bin/install -c 'libppl.la' '/usr/local/lib/libppl.la' /usr/bin/install -c .libs/libppl.so.5.0.0 /usr/local/lib/libppl.so.5.0.0 (cd /usr/local/lib && { ln -s -f libppl.so.5.0.0 libppl.so.5 || { rm -f libppl.so.5 && ln -s libppl.so.5.0.0 libppl.so.5; }; }) (cd /usr/local/lib && { ln -s -f libppl.so.5.0.0 libppl.so || { rm -f libppl.so && ln -s libppl.so.5.0.0 libppl.so; }; }) /usr/bin/install -c .libs/libppl.lai /usr/local/lib/libppl.la /usr/bin/install -c .libs/libppl.a /usr/local/lib/libppl.a chmod 644 /usr/local/lib/libppl.a ranlib /usr/local/lib/libppl.a PATH="$PATH:/sbin" ldconfig -n /usr/local/lib ---------------------------------------------------------------------- Libraries have been installed in: /usr/local/lib If you ever happen to want to link against installed libraries in a given directory, LIBDIR, you must either use libtool, and specify the full pathname of the library, or use the `-LLIBDIR' flag during linking and do at least one of the following: - add LIBDIR to the `LD_LIBRARY_PATH' environment variable during execution - add LIBDIR to the `LD_RUN_PATH' environment variable during linking - use the `-Wl,--rpath -Wl,LIBDIR' linker flag - have your system administrator add LIBDIR to `/etc/ld.so.conf' See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages. ---------------------------------------------------------------------- test -z "/usr/local/bin" || mkdir -p -- "/usr/local/bin" /bin/sh ../libtool --mode=install /usr/bin/install -c 'ppl-config' '/usr/local/bin/ppl-config' /usr/bin/install -c .libs/ppl-config /usr/local/bin/ppl-config /bin/sh ../mkinstalldirs /usr/local/include /usr/bin/install -c -m 644 ppl_install.hh /usr/local/include/ppl.hh make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/src' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/src' make[1]: Leaving directory `/home/nowonder/cti/ppl-0.8/src' Making install in Watchdog make[1]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog' Making install in utils make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog/utils' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog/utils' make[3]: Nothing to be done for `install-exec-am'. make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog/utils' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog/utils' Making install in src make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' make install-am make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' make[4]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' test -z "/usr/local/lib" || mkdir -p -- "/usr/local/lib" /bin/sh ../libtool --mode=install /usr/bin/install -c 'libpwl.la' '/usr/local/lib/libpwl.la' /usr/bin/install -c .libs/libpwl.so.3.0.0 /usr/local/lib/libpwl.so.3.0.0 (cd /usr/local/lib && { ln -s -f libpwl.so.3.0.0 libpwl.so.3 || { rm -f libpwl.so.3 && ln -s libpwl.so.3.0.0 libpwl.so.3; }; }) (cd /usr/local/lib && { ln -s -f libpwl.so.3.0.0 libpwl.so || { rm -f libpwl.so && ln -s libpwl.so.3.0.0 libpwl.so; }; }) /usr/bin/install -c .libs/libpwl.lai /usr/local/lib/libpwl.la /usr/bin/install -c .libs/libpwl.a /usr/local/lib/libpwl.a chmod 644 /usr/local/lib/libpwl.a ranlib /usr/local/lib/libpwl.a PATH="$PATH:/sbin" ldconfig -n /usr/local/lib ---------------------------------------------------------------------- Libraries have been installed in: /usr/local/lib If you ever happen to want to link against installed libraries in a given directory, LIBDIR, you must either use libtool, and specify the full pathname of the library, or use the `-LLIBDIR' flag during linking and do at least one of the following: - add LIBDIR to the `LD_LIBRARY_PATH' environment variable during execution - add LIBDIR to the `LD_RUN_PATH' environment variable during linking - use the `-Wl,--rpath -Wl,LIBDIR' linker flag - have your system administrator add LIBDIR to `/etc/ld.so.conf' See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages. ---------------------------------------------------------------------- /bin/sh ../mkinstalldirs /usr/local/include /usr/bin/install -c -m 644 pwl_install.hh /usr/local/include/pwl.hh make[4]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog/src' make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/Watchdog' make[3]: Nothing to be done for `install-exec-am'. make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog' make[1]: Leaving directory `/home/nowonder/cti/ppl-0.8/Watchdog' Making install in tests make[1]: Entering directory `/home/nowonder/cti/ppl-0.8/tests' Making install in . make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/tests' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/tests' make[3]: Nothing to be done for `install-exec-am'. make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests' Making install in BD_Shape make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/tests/BD_Shape' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/tests/BD_Shape' make[3]: Nothing to be done for `install-exec-am'. make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests/BD_Shape' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests/BD_Shape' Making install in Polyhedron make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/tests/Polyhedron' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/tests/Polyhedron' make[3]: Nothing to be done for `install-exec-am'. make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests/Polyhedron' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests/Polyhedron' make[1]: Leaving directory `/home/nowonder/cti/ppl-0.8/tests' Making install in interfaces make[1]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces' Making install in C make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/C' make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/C' test -z "/usr/local/lib" || mkdir -p -- "/usr/local/lib" /bin/sh ../../libtool --mode=install /usr/bin/install -c 'libppl_c.la' '/usr/local/lib/libppl_c.la' /usr/bin/install -c .libs/libppl_c.so.0.1.0 /usr/local/lib/libppl_c.so.0.1.0 (cd /usr/local/lib && { ln -s -f libppl_c.so.0.1.0 libppl_c.so.0 || { rm -f libppl_c.so.0 && ln -s libppl_c.so.0.1.0 libppl_c.so.0; }; }) (cd /usr/local/lib && { ln -s -f libppl_c.so.0.1.0 libppl_c.so || { rm -f libppl_c.so && ln -s libppl_c.so.0.1.0 libppl_c.so; }; }) /usr/bin/install -c .libs/libppl_c.lai /usr/local/lib/libppl_c.la /usr/bin/install -c .libs/libppl_c.a /usr/local/lib/libppl_c.a chmod 644 /usr/local/lib/libppl_c.a ranlib /usr/local/lib/libppl_c.a PATH="$PATH:/sbin" ldconfig -n /usr/local/lib ---------------------------------------------------------------------- Libraries have been installed in: /usr/local/lib If you ever happen to want to link against installed libraries in a given directory, LIBDIR, you must either use libtool, and specify the full pathname of the library, or use the `-LLIBDIR' flag during linking and do at least one of the following: - add LIBDIR to the `LD_LIBRARY_PATH' environment variable during execution - add LIBDIR to the `LD_RUN_PATH' environment variable during linking - use the `-Wl,--rpath -Wl,LIBDIR' linker flag - have your system administrator add LIBDIR to `/etc/ld.so.conf' See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages. ---------------------------------------------------------------------- test -z "/usr/local/include" || mkdir -p -- "/usr/local/include" /usr/bin/install -c -m 644 'ppl_c.h' '/usr/local/include/ppl_c.h' make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/C' make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/C' Making install in Prolog make[2]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog' Making install in Ciao make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/Ciao' make[4]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/Ciao' test -z "/usr/local/lib/ppl" || mkdir -p -- "/usr/local/lib/ppl" test -z "/usr/local/lib/ppl" || mkdir -p -- "/usr/local/lib/ppl" make[4]: Nothing to be done for `install-data-am'. make[4]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/Ciao' make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/Ciao' Making install in GNU make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/GNU' make[4]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/GNU' test -z "/usr/local/bin" || mkdir -p -- "/usr/local/bin" test -z "/usr/local/lib/ppl" || mkdir -p -- "/usr/local/lib/ppl" test -z "/usr/local/lib/ppl" || mkdir -p -- "/usr/local/lib/ppl" make[4]: Nothing to be done for `install-data-am'. make[4]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/GNU' make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/GNU' Making install in SICStus make[3]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/SICStus' make[4]: Entering directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/SICStus' test -z "/usr/local/bin" || mkdir -p -- "/usr/local/bin" /bin/sh ../../../libtool --mode=install /usr/bin/install -c 'ppl_sicstus' '/usr/local/bin/ppl_sicstus' /usr/bin/install -c .libs/ppl_sicstus /usr/local/bin/ppl_sicstus test -z "/usr/local/lib/ppl" || mkdir -p -- "/usr/local/lib/ppl" /usr/bin/install -c -m 644 'ppl_sicstus.s.o' '/usr/local/lib/ppl/ppl_sicstus.s.o' /usr/bin/install -c -m 644 'ppl_sicstus.pl' '/usr/local/lib/ppl/ppl_sicstus.pl' /bin/sh ../../../libtool --mode=link --tag=CXX \ splfr ./ppl_sicstus.pl ppl_sicstus_sd.o -o ppl_sicstus.so \ ../../../src/libppl.la \ ../../../Watchdog/src/libpwl.la \ -lm -lgmpxx -lgmp splfr ./ppl_sicstus.pl ppl_sicstus_sd.o -o .libs/ppl_sicstus.so ../../../src/.libs/libppl.so -L/usr/x86_64-pc-linux-gnu/bin -L/usr/x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/../../../lib64 ../../../Watchdog/src/.libs/libpwl.so /usr/lib/libgmpxx.so -L/usr/lib/gcc/x86_64-pc-linux-gnu/3.4.4 -L/usr/lib/gcc/x86_64-pc-linux-gnu/3.4.4/../../../../x86_64-pc-linux-gnu/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/3.4.4/../../../../lib -L/lib/../lib -L/usr/lib/../lib /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.4/libstdc++.so -lm -L/usr/lib/gcc/x86_64-pc-linux-gnu/../../../x86_64-pc-linux-gnu/lib/../lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/../../../lib -lgcc_s -lc /usr/lib/libgmp.so /usr/lib/gcc/x86_64-pc-linux-gnu/3.4.4/../../../../x86_64-pc-linux-gnu/bin/ld: ppl_sicstus_sd.o: relocation R_X86_64_32 against `Parma_Polyhedra_Library::Coefficient_zero()::z' can not be used when making a shared object; recompile with -fPIC ppl_sicstus_sd.o: could not read symbols: Bad value collect2: ld returned 1 exit status ! Could not build dynamic foreign resource make[4]: *** [ppl_sicstus.so] Error 25 make[4]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/SICStus' make[3]: *** [install-am] Error 2 make[3]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog/SICStus' make[2]: *** [install-recursive] Error 1 make[2]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces/Prolog' make[1]: *** [install-recursive] Error 1 make[1]: Leaving directory `/home/nowonder/cti/ppl-0.8/interfaces' make: *** [install-recursive] Error 1

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Jan '06

24 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-24 16:54:54 Modified files: src : Grid_conversion.cc Log message: Slightly improve comments, error messages and formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Jan '06

24 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-24 13:33:46 Modified files: src : Grid_conversion.cc Log message: Improve comments in both conversion methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Jan '06

24 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-24 11:52:18 Modified files: src : Grid_conversion.cc Log message: Correct the comment in both conversions about the iteration of source_index and dest_index. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Jan '06

24 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-24 11:37:57 Modified files: src : Grid_conversion.cc Log message: Leave variable name tem_source_index as such. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_simplify.cc Grid.defs.hh
by Matthew Mundell 24 Jan '06

24 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-24 00:20:36 Modified files: src : Grid_simplify.cc Grid.defs.hh Log message: Update simplify(gs..) to expect the reduction to result in a system containing a point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 23 Jan '06

23 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-23 23:38:40 Modified files: src : Grid_simplify.cc Log message: Note a possible todo item in the congruence simplify method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 23 Jan '06

23 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-23 23:35:36 Modified files: src : Grid_simplify.cc Log message: Update reduce_congruence_with_equality to set the `row' element at `column' directly and to account for `row' elements known to be zero. Improve variable names in same method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 23 Jan '06

23 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-23 23:28:17 Modified files: src : Grid_simplify.cc Log message: Update reduce_parameter_with_line to set the `row' element at `column' directly and to account for `row' elements known to be zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 23 Jan '06

23 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2006-01-23 22:52:24 Modified files: src : Grid_simplify.cc Log message: Clean comments and improve variable names in the reduce methods. Update these methods to all subtract the pivot from the row (intead of the other way around). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0