From 53d5088435d0f2843f4327f351ad38a7728859b1 Mon Sep 17 00:00:00 2001
From: Codermann63 <96649204+Codermann63@users.noreply.github.com>
Date: Wed, 17 Jan 2024 13:20:13 +0100
Subject: [PATCH 1/2] added ubuntu install script and updated readme to reflect
 this

---
 README.md            |  3 +++
 install_on_ubuntu.sh | 46 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 49 insertions(+)
 create mode 100644 install_on_ubuntu.sh

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..f32c4de6
--- /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/Codermann63/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

From 9e0ff608a48c9e96837902738aaadcc8ccd8b31a Mon Sep 17 00:00:00 2001
From: codermann63 <codermann63@github.com>
Date: Tue, 23 Jan 2024 11:52:18 +0100
Subject: [PATCH 2/2] changed line endings and sylvan git

---
 install_on_ubuntu.sh | 92 ++++++++++++++++++++++----------------------
 1 file changed, 46 insertions(+), 46 deletions(-)

diff --git a/install_on_ubuntu.sh b/install_on_ubuntu.sh
index f32c4de6..91653fa4 100644
--- a/install_on_ubuntu.sh
+++ b/install_on_ubuntu.sh
@@ -1,46 +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/Codermann63/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
+#!/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