From 626f0870d7d6d52e17225e7cf69087c1196632fc Mon Sep 17 00:00:00 2001
From: Andrey Miroshnikov <andrey@technepisteme.xyz>
Date: Wed, 12 Oct 2022 16:46:40 +0100
Subject: [PATCH] feat(tasyagle-install): Added flex removal, running example
 (which fails)

---
 tasyagle-install | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

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!"
-- 
2.30.2