-
Notifications
You must be signed in to change notification settings - Fork 5
Build ePMC under Debian based Linux Distributions
This tutorial has been tested on the following distributions:
- Ubuntu 16.04 LTS, 64-bits
- Ubuntu 14.04 LTS, 64-bits
You can either download the packaged source code (.zip) from the GitHub website, or simply clone the repository to local file system by
git clone https://github.com/ePMC-team/ePMC
NOTE: git is preinstalled in most popular Linux distribution. Otherwise, you need to install it manually. For example, in Debian-based distributions, use
sudo apt-get install git
to install git.
As some of our plugins depend on some features that openjdk doesn't support, we strongly suggest you to choose Oracle JDK instead. And the version should not be earlier than 8.0.
First, you should download JDK (8.0+) for linux from the offcial web site. And extract it:
tar -xvf jdk-8u111-linux-x64.tar.gz
sudo mv jdk1.8.0_111 /usr/lib/jvm/oracle-jdk8
You need to set this jdk as the default one, by
sudo update-alternatives --install /usr/bin/java java /usr/lib/jvm/oracle-jdk8/bin/java 1
sudo update-alternatives --config java
sudo update-alternatives --install /usr/bin/javac javac /usr/lib/jvm/oracle-jdk8/bin/javac 1
sudo update-alternatives --config javac
sudo update-alternatives --install /usr/bin/jar jar /usr/lib/jvm/oracle-jdk8/bin/jar 1
sudo update-alternatives --config jar
and choose oracle jdk in the list. update-alternatives is strongly recommended to set Oracle JDK as the default provider of java. Because in some cases where users simply create a soft link of java to /usr/bin, apt-get doesn't know that java is already installed. And as a result, OpenJDK is wrongly installed and you may find errors when running ePMC.
Besides, you still have to set up the environment variables manually in .bashrc.
export JAVA_HOME=/usr/lib/jvm/oracle-jdk8
export PATH=$JAVA_HOME/bin:$PATH
This modification will be applied after reboot. But you can use source .bashrc to make it work immediately.
Maven is a software project management and comprehension tool. It can be downloaded from the maven website (http://maven.apache.org/). This is needed to manage the compilation of the several components of IscasMC.
We can simply use apt to install maven:
sudo apt-get install maven
We have several pre-defined distributions in ePMC. Refer to distributions to check the difference between them.
./build.sh <distribution-identifier>
If you are new to our tool, you may want to build the standard distribution simply by
./build.sh
Well done! Now you'll find a long list of supported commands and options. You can follow our tutorial to learn how to use this model checker :)