diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 14:27:22 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-14 14:27:22 +0100 |
commit | c0fc155aef61870c6dbc04aabd317ea418762fa7 (patch) | |
tree | df381960576fc55d4229acbc96766797b638031b /tl-build.sh | |
parent | d77fe20728201db025f21c80d7fb7fdda26eccf3 (diff) | |
download | texlive-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-x | tl-build.sh | 14 |
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 | ||
5 | this_dir=`pwd` | 5 | this_dir=`pwd` |
6 | tl_sourcedir=`pwd`/source | 6 | if [[ $1 == "dev" ]];then |
7 | 7 | tl_sourcedir=${this_dir}/source | |
8 | else | ||
9 | . ${this_dir}/variables.conf | ||
10 | tl_sourcedir=${this_dir}/texlive-${TL_PUBDATE}-source | ||
11 | fi | ||
12 | |||
8 | echo "" | 13 | echo "" |
9 | echo " TeX Live for OpenBSD built script " | 14 | echo " TeX Live for OpenBSD built script " |
10 | echo "" | 15 | echo "" |
@@ -13,11 +18,10 @@ echo "Please specify whether you also want to include xindy, context" | |||
13 | echo "and asymptote in the process." | 18 | echo "and asymptote in the process." |
14 | echo "" | 19 | echo "" |
15 | 20 | ||
16 | echo "Do I have to get the latest development sources? (You ought to" | 21 | echo "Do I have to get the sources? (You ought to have done so before launching this script.)" |
17 | echo "have done so before launching this script.)" | ||
18 | read get_dev_src?'[y/n] ' | 22 | read get_dev_src?'[y/n] ' |
19 | if [[ ${get_dev_src} == "y" ]]; then | 23 | if [[ ${get_dev_src} == "y" ]]; then |
20 | ./checkout-tl.sh && echo "... Ok." | 24 | ./checkout-tl.sh $1 && echo "... Ok." |
21 | fi | 25 | fi |
22 | 26 | ||
23 | echo "Include clisp and xindy?" | 27 | echo "Include clisp and xindy?" |