Skip to content

Instantly share code, notes, and snippets.

@emaballarin
Last active September 26, 2023 21:38
Show Gist options
  • Save emaballarin/6614ffa4513d2617bafa34d9e86e2e53 to your computer and use it in GitHub Desktop.
Save emaballarin/6614ffa4513d2617bafa34d9e86e2e53 to your computer and use it in GitHub Desktop.
Installing the very latest Prism (https://github.com/prismplp/prism) should not be *that* convoluted...
#!/usr/bin/env bash
#
# PRISM
git clone --recursive --recurse-submodules --single-branch --depth=1 --shallow-submodules --branch master https://github.com/prismplp/prism.git
cd prism/src/c
USE_NPY=1 make -f Makefile.gmake
USE_NPY=1 make -f Makefile.gmake install
cd ../prolog
make install
cd ../../tools/
sh init_package.sh
zip -r prism_linux_dev.auto.zip prism/
cp ./prism_linux_dev.auto.zip ../../
cd ../../
rm -rf prism
#
# PyPRISM
pip install --upgrade --no-deps --force git+https://github.com/prismplp/pyprism.git
git clone --recursive --recurse-submodules --single-branch --depth=1 --shallow-submodules --branch main https://github.com/prismplp/pyprism.git
cd pyprism
mkdir -p ~/.ipython/kernels/prism/
cp pyprism_kernel/kernel.py ~/.ipython/kernels/prism/
cd ../
rm -rf pyprism
#
# T-PRISM
pip install --upgrade --no-deps --force "git+https://github.com/prismplp/prism.git#egg=t-prism&subdirectory=bin"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment