projects
/
dev-env-setup.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8dc870c
)
feat(tasyagle-install): Added flex removal, running example (which fails)
author
Andrey Miroshnikov
<andrey@technepisteme.xyz>
Wed, 12 Oct 2022 15:46:40 +0000
(16:46 +0100)
committer
Andrey Miroshnikov
<andrey@technepisteme.xyz>
Wed, 12 Oct 2022 15:47:52 +0000
(16:47 +0100)
tasyagle-install
patch
|
blob
|
history
diff --git
a/tasyagle-install
b/tasyagle-install
index defb93c3397dff12cd9364eead6ab4daea15b21f..07c26a73dc1e6819bebc6242c1804c15afc62cfd 100755
(executable)
--- 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\
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
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
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 "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/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!"
EOF"
echo "Finished tas-yagle compilation, make sure to source .bashrc!"