asa;src/swipl-devel% swipl Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.17-18-gac3b1e2) Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- pack_install( os_lib ). % Contacting server at http://www.swi-prolog.org/pack/query ... ok Install os_lib@0.2 from http://stoics.org.uk/~nicos/sware/packs/os_lib/os_lib-0.2.tgz Y/n? Create directory for packages (1) * /home/nicos/lib/swipl/pack (2) /usr/local/users/nicos/local/git/lib/swipl-7.3.17/pack (3) Cancel Your choice? % Contacting server at http://www.swi-prolog.org/pack/query ... ok % "os_lib-0.2.tgz" was downloaded 1 times Package: os_lib Title: Operating system interaction predicates. Installed version: 0.2 Author: Nicos Angelopoulos Maintainer: Nicos Angelopoulos Packager: Nicos Angelopoulos Home page: http://stoics.org.uk/~nicos/sware/os Download URL: http://stoics.org.uk/~nicos/sware/packs/os/os-*.tgz Install "os_lib-0.2.tgz" (44,630 bytes) Y/n? true. ?- % halt asa;src/swipl-devel% swipl Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.17-18-gac3b1e2) Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- use_module( library(requires) ). ERROR: source_sink `library(requires)' does not exist ?- pack_remove( os_lib | ). % Removing '/usr/local/users/nicos/local/git/lib/swipl-7.3.17/pack/os_lib' and contents true. ?- pack_install( os_lib ). % Contacting server at http://www.swi-prolog.org/pack/query ... ok Install os_lib@0.3 from http://stoics.org.uk/~nicos/sware/packs/os_lib/os_lib-0.3.tgz Y/n? Create directory for packages (1) * /home/nicos/lib/swipl/pack (2) /usr/local/users/nicos/local/git/lib/swipl-7.3.17/pack (3) Cancel Your choice? % Contacting server at http://www.swi-prolog.org/pack/query ... ok Warning: Package depends on the following: Warning: "requires", provided by requires@0.5 from http://stoics.org.uk/~nicos/sware/packs/requires/requires-0.5.tgz What do you wish to do (1) * Install proposed dependencies (2) Only install requested package (3) Cancel Your choice? % "os_lib-0.3.tgz" was downloaded 1 times i requires@0.5 - Predicate based code development Package: os_lib Title: Operating system interaction predicates. Installed version: 0.3 Author: Nicos Angelopoulos Maintainer: Nicos Angelopoulos Packager: Nicos Angelopoulos Home page: http://stoics.org.uk/~nicos/sware/os Download URL: http://stoics.org.uk/~nicos/sware/packs/os/os-*.tgz Requires: requires Install "os_lib-0.3.tgz" (44,713 bytes) Y/n? true. ?- % halt asa;src/swipl-devel% cls bench/ configure.out demo/ INSTALL Makefile.in packages/ README.doc README.MacOSX scripts/ boot/ COPYING doc-version lib/ make-install.out prepare* README.git README.mingw src/ build.templ* customize/ gen-files/ library/ make.out README README.gmp README.windows swipl.home configure* debian/ include/ Makefile man/ README.cygwin README.linux ReleaseNotes/ VERSION asa;src/swipl-devel% swipl Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.17-18-gac3b1e2) Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- use_module( library(requires) ). true. ?- lib( os_lib ). % Contacting server at http://www.swi-prolog.org/pack/query ... ok i os_lib@0.3 - Operating system interaction predicates. Lib not found, but pack exists, do you want me to run ?- pack_install(os_lib). Y/n? false. ?- lib(os). % Contacting server at http://www.swi-prolog.org/pack/query ... ok p options@0.4 - Options handling. Lib not found, but pack exists, do you want me to run ?- pack_install(options). Y/n? % Contacting server at http://www.swi-prolog.org/pack/query ... ok Install options@0.4 from http://stoics.org.uk/~nicos/sware/packs/options/options-0.4.tgz Y/n? % Contacting server at http://www.swi-prolog.org/pack/query ... ok % "options-0.4.tgz" was downloaded 1 times Package: options Title: Options handling. Installed version: 0.4 Author: Nicos Angelopoulos Maintainer: Nicos Angelopoulos Packager: Nicos Angelopoulos Home page: http://stoics.org.uk/~nicos/sware/options Download URL: http://stoics.org.uk/~nicos/sware/packs/options/options-*.tgz Requires: requires Install "options-0.4.tgz" (16,506 bytes) Y/n? % Contacting server at http://www.swi-prolog.org/pack/query ... ok p pack_errors@0.2 - Contextual error handling for packs. Lib not found, but pack exists, do you want me to run ?- pack_install(pack_errors). Y/n? % Contacting server at http://www.swi-prolog.org/pack/query ... ok Install pack_errors@0.2 from http://stoics.org.uk/~nicos/sware/packs/pack_errors/pack_errors-0.2.tgz Y/n? % Contacting server at http://www.swi-prolog.org/pack/query ... ok % "pack_errors-0.2.tgz" was downloaded 2 times Package: pack_errors Title: Contextual error handling for packs. Installed version: 0.2 Author: Nicos Angelopoulos Maintainer: Nicos Angelopoulos Packager: Nicos Angelopoulos Home page: http://stoics.org.uk/~nicos/sware/pack_errors Download URL: ...http://stoics.org.uk/~nicos/sware/packs/pack_errors/pack_errors-*.tgz Requires: requires Install "pack_errors-0.2.tgz" (14,768 bytes) Y/n? true.