From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Wed, 12 Oct 2022 15:46:40 +0000 (+0100)
Subject: feat(tasyagle-install): Added flex removal, running example (which fails)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=626f0870d7d6d52e17225e7cf69087c1196632fc;p=dev-env-setup.git

feat(tasyagle-install): Added flex removal, running example (which fails)
---

diff --git a/tasyagle-install b/tasyagle-install
index defb93c..07c26a7 100755
--- a/tasyagle-install
+++ b/tasyagle-install
@@ -10,7 +10,10 @@ apt-get install -y quilt tcsh swig libedit-dev tcl8.6-dev \
 	default-jre-headless default-jdk-headless \
 	libncurses5 libedit-dev \
 	libsaxon-java libsaxonb-java libservlet3.1-java fop\
-	# tex-live
+	groff # tex-live
+
+# Make sure to use the flex included with tasyagle
+apt-get remove flex
 
 mkdir -p /home/$SUDO_USER/src
 cd /home/$SUDO_USER/src
@@ -36,14 +39,14 @@ else
 	chgrp -R $SUDO_USER /home/$SUDO_USER/.bashrc
 fi
 
-
-# Compile the documentation
+# Compile the documentation and example
 echo "Entering bash as $SUDO_USER to reload .bashrc and compile docs!"
 runuser $SUDO_USER -c "/bin/bash << EOF
 . ~/.bashrc
-echo $PATH
 cd /home/$SUDO_USER/src/tas-yagle/distrib/docxml2
 make
+cd /home/$SUDO_USER/src/tas-yagle/distrib/share/tutorials/hitas/inv
+./db.tcl
 EOF"
 
 echo "Finished tas-yagle compilation, make sure to source .bashrc!"