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 | |
parent | d77fe20728201db025f21c80d7fb7fdda26eccf3 (diff) | |
download | texlive-openbsd-c0fc155aef61870c6dbc04aabd317ea418762fa7.tar.gz |
better include an option to compile either TL-current (default) or TL-dev
-rwxr-xr-x | checkout-tl.sh | 25 | ||||
-rwxr-xr-x | tl-build.sh | 14 |
2 files changed, 18 insertions, 21 deletions
diff --git a/checkout-tl.sh b/checkout-tl.sh index 41caac4..4d42437 100755 --- a/checkout-tl.sh +++ b/checkout-tl.sh | |||
@@ -1,19 +1,12 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | #rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . | 2 | if [[ $1 == "dev" ]];then |
3 | PWD=`pwd` | 3 | rsync -a --delete --exclude=.svn tug.org::tldevsrc/Build/source . |
4 | REV=70573 | ||
5 | if [[ ! -d source ]];then | ||
6 | svn co svn://tug.org/texlive/trunk/Build/source@${REV} | ||
7 | else | 4 | else |
8 | cd source | 5 | # source variables |
9 | svn update -r ${REV} | 6 | PWD=$(pwd) |
10 | if [[ $? -ne 0 ]];then | 7 | TMPDIR=$(mktemp -d) |
11 | echo "Please remove or rename the source/ directory" | 8 | . ${PWD}/variables.conf |
12 | echo "and re-run this command." | 9 | [[ -d "texlive-${TL_PUBDATE}-source" ]] && rm -rf texlive-${TL_PUBDATE}-source |
13 | exit 1 | 10 | wget --show-progress https://mirrors.ctan.org/systems/texlive/Source/texlive-${TL_PUBDATE}-source.tar.xz -P ${TMPDIR}/ |
14 | fi | 11 | xzcat ${TMPDIR}/texlive-${TL_PUBDATE}-source.tar.xz | tar xf - |
15 | svn revert --recursive . | ||
16 | svn status --no-ignore | grep '^[?I]' | sed "s/^[?I] //" \ | ||
17 | | xargs -I{} rm -rf "{}" | ||
18 | fi | 12 | fi |
19 | cd ${PWD} | ||
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?" |