create script to install Spin

scripts/postinstall

@@ -1,6 +1,8 @@
 #!/bin/bash
 
 # TigerOS postinstall package setup script
+# author: Aidan Kahrs <axk4545@rit.edu>
+
 
 # Check that the current user is root
 if [ $EUID != 0 ]
@@ -40,14 +42,14 @@ do
             esac
             done
             wget https://dev.mysql.com/get/mysql57-community-release-fc25-9.noarch.rpm -O mysql-repo.rpm
-            sudo dnf install mysql-repo.rpm
-            sudo dnf install mysql-community-server
+            sudo dnf install -y mysql-repo.rpm
+            sudo dnf install -y mysql-community-server
             echo "mysql installed see https://dev.mysql.com/doc/mysql-yum-repo-quick-guide/en/ step 4 for further instructions"
-            sudo dnf install mongodb
+            sudo dnf install -y mongodb
             sudo semanage port -a -t mongod_port_t -p tcp 27017
-            #sudo dnf install httpd
-            sudo dnf install subversion filezilla nodejs php
-			#call jGRASP script here
+            #sudo dnf install -y httpd
+            sudo dnf install -y subversion filezilla nodejs php
+                  #call jGRASP script here
             echo "Install finished"
             exit
             ;;
@@ -61,7 +63,7 @@ do
             [Nn]* ) exit;;
             esac
             done
-            sudo dnf install wireshark python python3 
+            sudo dnf install -y wireshark python python3 
             #call jGrasp installer script here
             echo "Install finished"
             exit
@@ -76,7 +78,7 @@ do
             [Nn]* ) exit;;
             esac
             done
-            sudo dnf install eclipse-jdt ruby sqlite 
+            sudo dnf install -y eclipse-jdt ruby sqlite 
             #call Spin and Alloy install scripts here
             echo "Install finished"
             exit

scripts/se/spin.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+# Spin install script for TigerOS
+# author: Aidan Kahrs <axk4545@rit.edu>
+
+# Check that the current user is root
+if [ $EUID != 0 ]
+then
+    echo "Please run this script as root (sudo $@$0)."
+    exit
+fi
+wget http://spinroot.com/spin/Src/spin646.tar.gz -O /tmp/spin.tar.gz
+tar -xvf /tmp/spin.tar.gz
+cd /tmp/Spin/Src*
+dnf install -y byacc
+make
+install -p -m 755 spin /usr/local/bin/spin
+sed -i 's#BIN=/usr/bin#BIN=/usr/local/bin#g' /tmp/Spin/iSpin/install.sh
+dnf install tcl tk
+bash /tmp/Spin/iSpin/install.sh
+dnf remove byacc