You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
616 B
20 lines
616 B
#!/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/prismmodelchecker/prism.git
|
|
|
|
# Compile PRISM and run a single test
|
|
# (should ultimately display: "Testing result: PASS")
|
|
(cd prism/prism && make && make test)
|