diff --git a/prism/etc/scripts/prism-install-rhel b/prism/etc/scripts/prism-install-rhel new file mode 100755 index 00000000..ca68ca38 --- /dev/null +++ b/prism/etc/scripts/prism-install-rhel @@ -0,0 +1,19 @@ +#!/bin/sh + +# Script for installation of PRISM on a clean install of RHEL/CentOS/etc Linux. + +# Install dependencies: make/gcc/Java +sudo yum update +sudo yum -y install git gcc gcc-c++ java-1.8.0-openjdk-devel + +# Install Python (only needed for testing (prism-auto) currently) +sudo yum -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 diff --git a/prism/etc/scripts/prism-install-ubuntu b/prism/etc/scripts/prism-install-ubuntu new file mode 100755 index 00000000..8719bc96 --- /dev/null +++ b/prism/etc/scripts/prism-install-ubuntu @@ -0,0 +1,19 @@ +#!/bin/sh + +# Script for installation of PRISM on a clean install of Ubuntu + +# Install dependencies: make/gcc/Java +sudo apt-get update +sudo apt -y install make gcc g++ default-jdk + +# 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