15.5.3 Updating a package

If a package needs a revision to fix bugs or add functionality it needs to be updated. First, we create a development environment using

1. Clone the git repository that provides the pack.
2. 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.