diff options
Diffstat (limited to 'dist/termux.sh')
| -rw-r--r-- | dist/termux.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dist/termux.sh b/dist/termux.sh index 4b9b796bb..2f2d20561 100644 --- a/dist/termux.sh +++ b/dist/termux.sh @@ -6,6 +6,9 @@ curl -fsSL https://its-pointless.github.io/setup-pointless-repo.sh | bash - pkg install gnat-10 llvm make setupgcc-10 +# Temporal fix. See https://github.com/its-pointless/gcc_termux/issues/100 +ln -s $PREFIX/bin/gnatmake-10 $PREFIX/bin/gnatmake + mkdir -p build-termux cd build-termux ../configure --default-pic --enable-synth --with-llvm-config=llvm-config --prefix="$PREFIX" |