aboutsummaryrefslogtreecommitdiff
path: root/tl-build.sh
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2024-03-14 14:27:22 +0100
committerRobert Alessi <alessi@robertalessi.net>2024-03-14 14:27:22 +0100
commitc0fc155aef61870c6dbc04aabd317ea418762fa7 (patch)
treedf381960576fc55d4229acbc96766797b638031b /tl-build.sh
parentd77fe20728201db025f21c80d7fb7fdda26eccf3 (diff)
downloadtexlive-openbsd-c0fc155aef61870c6dbc04aabd317ea418762fa7.tar.gz
better include an option to compile either TL-current (default) or TL-dev
Diffstat (limited to 'tl-build.sh')
-rwxr-xr-xtl-build.sh14
1 files changed, 9 insertions, 5 deletions
diff --git a/tl-build.sh b/tl-build.sh
index 1d47095..b6260a0 100755
--- a/tl-build.sh
+++ b/tl-build.sh
@@ -3,8 +3,13 @@
3# Public domain. Originally written 2005 by Karl Berry. 3# Public domain. Originally written 2005 by Karl Berry.
4 4
5this_dir=`pwd` 5this_dir=`pwd`
6tl_sourcedir=`pwd`/source 6if [[ $1 == "dev" ]];then
7 7 tl_sourcedir=${this_dir}/source
8else
9 . ${this_dir}/variables.conf
10 tl_sourcedir=${this_dir}/texlive-${TL_PUBDATE}-source
11fi
12
8echo "" 13echo ""
9echo " TeX Live for OpenBSD built script " 14echo " TeX Live for OpenBSD built script "
10echo "" 15echo ""
@@ -13,11 +18,10 @@ echo "Please specify whether you also want to include xindy, context"
13echo "and asymptote in the process." 18echo "and asymptote in the process."
14echo "" 19echo ""
15 20
16echo "Do I have to get the latest development sources? (You ought to" 21echo "Do I have to get the sources? (You ought to have done so before launching this script.)"
17echo "have done so before launching this script.)"
18read get_dev_src?'[y/n] ' 22read get_dev_src?'[y/n] '
19if [[ ${get_dev_src} == "y" ]]; then 23if [[ ${get_dev_src} == "y" ]]; then
20 ./checkout-tl.sh && echo "... Ok." 24 ./checkout-tl.sh $1 && echo "... Ok."
21fi 25fi
22 26
23echo "Include clisp and xindy?" 27echo "Include clisp and xindy?"