?- pack_publish('.', []).
Alternatively, an archive file has been uploaded to a public location. In this scenario we can publish the pack using
?- pack_publish(URL, [])
In both scenarios, pack_publish/2 by default creates an isolated environment and installs the package in this directory from the public URL. On success it triggers the pack server to register the URL as a new pack or a new release of a pack.
Packs may also be published using the app pack
,
e.g.
swipl pack publish .
Options:
true
, and Spec is a git managed directory,
install using the remote repo.git tag -s <tag>
.git tag -f <tag>
.false
(default true
), perform the
installation, but do not upload to the server. This can be used for
testing.true
(default), install and build all packages in an
isolated package directory. If false
, use other packages
installed for the environment. The latter may be used to speedup
debugging.true
(default), clean the destination directory first