diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/.github/scripts/build-tl.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh index e9bcd5ee3ce..3e77b57914b 100755 --- a/Build/source/.github/scripts/build-tl.sh +++ b/Build/source/.github/scripts/build-tl.sh @@ -120,4 +120,25 @@ export TL_MAKE_FLAGS ./Build -C $BUILDARGS mv inst/bin/* $arch + +# +# Build asy if possible +# +case $buildsys in + ubuntu|debian) + export DEBIAN_FRONTEND=noninteractive + apt-get install build-essential pkg-config libeigen3-dev libcurl4-openssl-dev libreadline-dev libboost-filesystem-dev libtirpc-dev flex libglu1-mesa-dev freeglut3-dev libosmesa6-dev libreadline6-dev zlib1g-dev bison libglm-dev libncurses-dev + cd utils/asymptote + ./configure --prefix=/tmp/asyinst --enable-static --enable-texlive-build CXXFLAGS=-std=c++11 --disable-gsl --disable-fftw --disable-lsp + sed -i -e 's/^LIBS = /LIBS = -static-libgcc -static-libstdc++ /' Makefile + make -j2 + strip asy + cp asy ../../$arch. + ;; +esac + + + + + tar czvf texlive-bin-$arch.tar.gz $arch |