Skip to content

Instantly share code, notes, and snippets.

@s1db

s1db/rl-prism-install-ubuntu.sh

Created October 25, 2021 06:22
Show Gist options
  • Save s1db/cb0727e04a6fe52e2a9738aac9b449dc to your computer and use it in GitHub Desktop.
Save s1db/cb0727e04a6fe52e2a9738aac9b449dc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rl-prism-install-ubuntu.sh
#!/bin/sh
# Script for installation of PRISM on a clean install of Ubuntu
set -e # Abort if one of the commands fail
set -x # Print commands as they are executed
# Install dependencies: make/gcc/Java/git
sudo apt-get -y update
sudo apt -y install make gcc g++ default-jdk git
# Install Python (only needed for testing (prism-auto) currently)
sudo apt -y install python
# Download the latest development version from GitHub
git clone https://github.com/phate09/prism.git
cd prism
git checkout python_server
# Compile PRISM and run a single test
# (should ultimately display: "Testing result: PASS")
(cd prism && make && make test)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment