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:
c36f889
)
tasyagle-install: Add jdk package, make docs
author
Andrey Miroshnikov
<andrey@technepisteme.xyz>
Mon, 25 Jul 2022 15:13:52 +0000
(16:13 +0100)
committer
Andrey Miroshnikov
<andrey@technepisteme.xyz>
Mon, 25 Jul 2022 15:13:59 +0000
(16:13 +0100)
tasyagle-install
patch
|
blob
|
history
diff --git
a/tasyagle-install
b/tasyagle-install
index cbc9452ccda99e932607e119f281c52816828263..c81858930d706bd7c7cfbdd6f075da3b9b66661b 100755
(executable)
--- a/
tasyagle-install
+++ b/
tasyagle-install
@@
-7,7
+7,8
@@
fi
apt-get install -y quilt tcsh swig libedit-dev tcl8.6-dev \
libmotif-dev libxpa1 libxt-dev libxpm-dev \
- default-jre-headless libncurses5 libedit-dev \
+ default-jre-headless default-jdk-headless \
+ libncurses5 libedit-dev \
libsaxon-java libsaxonb-java libservlet3.1-java fop\
# tex-live
@@
-25,3
+26,7
@@
chgrp -R $SUDO_USER .
echo "Adding avt_env.sh to .bashrc"
echo "source /usr/local/avt_env.sh" >> /home/$SUDO_USER/.bashrc
+
+# Compile the documentation
+cd tas-yagle/distrib/docxml2
+make