Making install in . make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2' make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2' 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/stefan/Downloads/ppl-1.2' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2' Making install in utils make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/utils' make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/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/stefan/Downloads/ppl-1.2/utils' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/utils' Making install in src make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/src' make install-am make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/src' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/src' /bin/mkdir -p '/usr/local/lib' /bin/bash ../libtool --mode=install /usr/bin/install -c libppl.la '/usr/local/lib' libtool: install: /usr/bin/install -c .libs/libppl.so.14.0.0 /usr/local/lib/libppl.so.14.0.0 libtool: install: (cd /usr/local/lib && { ln -s -f libppl.so.14.0.0 libppl.so.14 || { rm -f libppl.so.14 && ln -s libppl.so.14.0.0 libppl.so.14; }; }) libtool: install: (cd /usr/local/lib && { ln -s -f libppl.so.14.0.0 libppl.so || { rm -f libppl.so && ln -s libppl.so.14.0.0 libppl.so; }; }) libtool: install: /usr/bin/install -c .libs/libppl.lai /usr/local/lib/libppl.la libtool: install: /usr/bin/install -c .libs/libppl.a /usr/local/lib/libppl.a libtool: install: chmod 644 /usr/local/lib/libppl.a libtool: install: ranlib /usr/local/lib/libppl.a libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin:/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/mkdir -p '/usr/local/bin' /bin/bash ../libtool --mode=install /usr/bin/install -c ppl-config '/usr/local/bin' libtool: install: /usr/bin/install -c .libs/ppl-config /usr/local/bin/ppl-config make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src' Making install in tests make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests' Making install in . make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/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/stefan/Downloads/ppl-1.2/tests' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests' Making install in Concrete_Expression make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression' 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/stefan/Downloads/ppl-1.2/tests/Concrete_Expression' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression' Making install in CO_Tree make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree' 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/stefan/Downloads/ppl-1.2/tests/CO_Tree' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree' Making install in PIP_Problem make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem' 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/stefan/Downloads/ppl-1.2/tests/PIP_Problem' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem' Making install in Powerset make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset' 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/stefan/Downloads/ppl-1.2/tests/Powerset' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset' Making install in Partially_Reduced_Product make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product' 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/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product' Making install in Box make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Box' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Box' 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/stefan/Downloads/ppl-1.2/tests/Box' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Box' Making install in MIP_Problem make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem' 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/stefan/Downloads/ppl-1.2/tests/MIP_Problem' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem' Making install in Octagonal_Shape make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_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/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape' Making install in BD_Shape make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/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/stefan/Downloads/ppl-1.2/tests/BD_Shape' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape' Making install in Polyhedron make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/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/stefan/Downloads/ppl-1.2/tests/Polyhedron' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron' Making install in Grid make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Grid' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Grid' 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/stefan/Downloads/ppl-1.2/tests/Grid' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Grid' Making install in Watchdog make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/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/stefan/Downloads/ppl-1.2/tests/Watchdog' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests' Making install in interfaces make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces' make install-recursive make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces' Making install in . make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces' Making install in demos make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos' Making install in ppl_lcdd make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' Making install in examples make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' /bin/mkdir -p '/usr/local/bin' /bin/bash ../../libtool --mode=install /usr/bin/install -c ppl_lcdd '/usr/local/bin' libtool: install: /usr/bin/install -c .libs/ppl_lcdd /usr/local/bin/ppl_lcdd /bin/mkdir -p '/usr/local/share/man/man1' /usr/bin/install -c -m 644 ppl_lcdd.1 '/usr/local/share/man/man1' make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd' Making install in ppl_lpsol make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' Making install in examples make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' /bin/mkdir -p '/usr/local/share/man/man1' /usr/bin/install -c -m 644 ppl_lpsol.1 '/usr/local/share/man/man1' make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol' Making install in ppl_pips make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' Making install in examples make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' /bin/mkdir -p '/usr/local/bin' /bin/bash ../../libtool --mode=install /usr/bin/install -c ppl_pips '/usr/local/bin' libtool: install: /usr/bin/install -c .libs/ppl_pips /usr/local/bin/ppl_pips /bin/mkdir -p '/usr/local/share/man/man1' /usr/bin/install -c -m 644 ppl_pips.1 '/usr/local/share/man/man1' make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips' make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos' make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos' 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/stefan/Downloads/ppl-1.2/demos' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos' Making install in doc make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/doc' make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/doc' make[2]: Nothing to be done for 'install-exec-am'. for ball in ppl-user-1.2-html.tar.gz ; do \ test -f $ball || test -f ./$ball \ || false || make $ball; \ dir=`basename $ball .tar.gz`; \ /bin/bash ../mkinstalldirs /usr/local/share/doc/ppl/$dir; \ gunzip -c `if test -f $ball; then echo .; else echo .; fi`/$ball | tar xf - ; \ if test -d $dir/ocamldoc; then \ /bin/bash ../mkinstalldirs /usr/local/share/doc/ppl/$dir/ocamldoc; \ for file in $dir/ocamldoc/*; do \ /usr/bin/install -c -m 644 $file \ /usr/local/share/doc/ppl/$dir/ocamldoc/`basename $file`; \ done; \ fi; \ for file in $dir/*; do \ /usr/bin/install -c -m 644 $file /usr/local/share/doc/ppl/$dir/`basename $file`; \ done; \ done /bin/bash ../mkinstalldirs /usr/local/share/doc/ppl for file in gpl.pdf fdl.pdf ppl-user-1.2.pdf ; do \ test -f $file || test -f ./$file \ || false || make $file; \ /usr/bin/install -c -m 644 `if test -f $file; then echo .; else echo .; fi`/$file /usr/local/share/doc/ppl/$file; \ done /bin/bash ../mkinstalldirs /usr/local/share/doc/ppl for file in gpl.ps.gz fdl.ps.gz ppl-user-1.2.ps.gz ; do \ test -f $file || test -f ./$file \ || false || make $file; \ /usr/bin/install -c -m 644 `if test -f $file; then echo .; else echo .; fi`/$file /usr/local/share/doc/ppl/$file; \ done /bin/bash ../mkinstalldirs /usr/local/share/doc/ppl for file in ./*.txt ./README.doc; do \ /usr/bin/install -c -m 644 $file /usr/local/share/doc/ppl/`basename $file`; \ done for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \ /usr/bin/install -c -m 644 ./../$file /usr/local/share/doc/ppl/$file; \ done /bin/mkdir -p '/usr/local/share/man/man1' /usr/bin/install -c -m 644 ppl-config.1 '/usr/local/share/man/man1' /bin/mkdir -p '/usr/local/share/man/man3' /usr/bin/install -c -m 644 libppl.3 libppl_c.3 '/usr/local/share/man/man3' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/doc' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/doc' Making install in m4 make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/m4' make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/m4' make[2]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/local/share/aclocal' /usr/bin/install -c -m 644 ppl.m4 ppl_c.m4 '/usr/local/share/aclocal' make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/m4' make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/m4'