If a package needs a revision to fix bugs or add functionality it
needs to be updated. First, we create a development environment using
- Clone the git repository that provides the pack.
- Install the pack as a link using the command below. If the
pack contains foreign build scripts, this creates a file
buildenv.sh that contains the environment variables for
building the pack.
?- pack_install(.).
Next, we can edit the pack sources and rebuild it the chosen build
tools after running source buildenv.sh to set the
appropriate environment variables. After validating that the pack works
as expected follow the instructions in section
15.5.2.2 to publish the new version.
