Did you know ... | Search Documentation: |
![]() | Status of packs and TODO |
The package manager is highqly experimental. It clearly needs many additions as discussed below in the TODO section. We do assume that the basic structure is sufficiently simple and flexible that this can be maintained.
Distributing packages via GIT is, at least in theory, a much better alternative than using archive files. Git provides controlled version management, distribution, verification using SHA1 hashes and digital signatures. The current code contains partial support for installing from GIT repositories. What needs to be done is:
Currently, packages installation only supports pure Prolog packages. The
core system already adds <lib>/<arch> to the foreign
search path if
this directory appears in the pack. Future versions will allow for
building foreign packages. The idea is to support several different
build scenarios. The build tools will be called from Prolog, providing
information about the current Prolog version as environment variables.
all
(default) for building the packagecheck
to run the test suiteinstall
for installing the library in bin/<arch>clean
to clean the build environmentconfigure
is found, run this first.Variables:
SWIPL | SWI-Prolog executable (absolute path) |
SWIHOME | SWI-Prolog home directory |
SWIVERSION | Numeric SWI-Prolog version (e.g., 060114) |
SWILIB | SWI-Prolog Library to link to |
SWICFLAGS | Flags for compiling objects |
SWILDFLAGS | Flags to for linking a shared object/DLL |
If a directory test
is in the package, load the files in this
directory one-by-one. Each file must be named test_*.pl, be a module
file and export a predicate with the same (base)name as the file and
no arguments. This predicate is called by the test suite.
Perform code analysis to verify packages and package dependencies. Code analysis can also access conflicts, security riscs and conformance to standards. Some of this is already present in the ClioPatria package manager.
Provide user-rating of packages, allow for comments, etc.