SWI-Prolog -- pack_install/2

Did you know ...

Search Documentation:

Predicate pack_install/2

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(prolog_pack): A package manager for Prolog
- Packages

Availability::- use_module(library(prolog_pack)).(can be autoloaded)

Source

[det]pack_install(+Name, +Options)

Install package Name. Processes the options below. Default options as would be used by pack_install/1 are used to complete the provided Options.

url(+URL): Source for downloading the package
package_directory(+Dir): Directory into which to install the package.
global(+Boolean): If true, install in the XDG common application data path, making the pack accessible to everyone. If false, install in the XDG user application data path, making the pack accessible for the current user only. If the option is absent, use the first existing and writable directory. If that doesn't exist find locations where it can be created and prompt the user to do so.
insecure(+Boolean): When true (default false), do not perform any checks on SSL certificates when downloading using https.
interactive(+Boolean): Use default answer without asking the user if there is a default action.
silent(+Boolean): If true (default false), suppress informational progress messages.
upgrade(+Boolean): If true (default false), upgrade package if it is already installed.
rebuild(Condition): Rebuild the foreign components. Condition is one of if_absent (default, do nothing if the directory with foreign resources exists), make (run make) or true (run‘make distclean` followed by the default configure and build steps).
test(Boolean): If true (default), run the pack tests.
git(+Boolean): If true (default false unless URL ends with =.git=), assume the URL is a GIT repository.
link(+Boolean): Can be used if the installation source is a local directory and the file system supports symbolic links. In this case the system adds the current directory to the pack registration using a symbolic link and performs the local installation steps.

Non-interactive installation can be established using the option interactive(false). It is adviced to install from a particular trusted URL instead of the plain pack name for unattented operation.

Tags are associated to your profile if you are logged in|Report abuse

Tags:

doc-needs-help

LogicalCaptain said (2021-02-26T08:52:07):

0

Bug

The input buffer should be emptied after the first answer

Verify package status (anonymously)
        at "https://www.swi-prolog.org/pack/query" Y/n?

If you type Y+Enter here, the second answer needs no input to proceed

Install "by_unix-0.2.tgz" (15,238 bytes) Y/n?
true.

Problem

As is the custom for Prolog (due to its intended use), this predicate fails if there is a problem leaving you clueless as to what went wrong. We need a general approach for this kind of problem. Like a non-backtrackable rolling log in the Prolog database.

Chris Mungall said (2018-08-11T12:49:05):

0

The upgrade option doesn't appear to work:

?- pack_install(pubmed, [upgrade(true)]).
% Contacting server at http://www.swi-prolog.org/pack/query ... ok
% Pack `pubmed' is already installed @0.0.1
true.

This is despite 0.0.4 of pubmed being available

Kilian Evang said (2014-05-20T11:02:35):

0

"Use default answer without asking the user if there is a default action."

->

"If false (default is true), use default answer without asking the user if there is a default action."

?