install script for ubuntu

README.md

@@ -165,6 +165,9 @@ in Section [Build Dependencies](#build-dependencies) below.
     # Configure
     $ ./configure --disable-dependency-tracking --prefix /path/
 
+### Installing in ubuntu
+The easiest way to build and install the software in ubuntu is downloading the git repository and running the script file "install_on_ubuntu.sh". This file takes care of getting all dependencies and running the necessary commands.
+
 ### Building a Windows target
 
 If you are building a Windows target with MinGW you need to pass additional variables and flags to `./configure`:

install_on_ubuntu.sh

@@ -0,0 +1,46 @@
+#!/bin/bash
+
+# Update
+sudo apt update -y
+sudo apt upgrade -y
+
+# Required dependencies when installing from github:
+sudo apt install git -y
+sudo apt install make -y
+sudo apt install automake -y
+sudo apt install libtool -y
+sudo apt install flex -y
+sudo apt install bison -y
+sudo apt install pkgconf -y
+sudo apt install cmake -y
+
+# Required dependencies
+sudo apt install libpopt-dev -y
+sudo apt install zlib1g-dev -y
+sudo apt install openjdk-11-jdk -y
+sudo apt install ant -y
+
+########################### install sylvan & sylvan dependencies #############################
+sudo apt install libgmp-dev -y
+sudo apt install libhwloc-dev -y
+git clone https://github.com/trolando/sylvan.git
+cd sylvan
+mkdir build
+cd build
+cmake ..
+make
+sudo make install
+cd ../..
+
+########################## PNML dependencies ##############################
+sudo apt install xml2 -y
+sudo apt install libxml2-dev -y
+
+################################# install LTSMIN from github #################################
+git clone https://github.com/utwente-fmt/ltsmin.git
+cd ltsmin
+git submodule update --init
+./ltsminreconf
+./configure
+make
+sudo make install