diff --git a/README.md b/README.md index cf2522c1..e8b79459 100644 --- a/README.md +++ b/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`: diff --git a/install_on_ubuntu.sh b/install_on_ubuntu.sh new file mode 100644 index 00000000..91653fa4 --- /dev/null +++ b/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