diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-09-09 11:26:37 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-09-12 18:46:07 +0200 |
| commit | 3b5ec33830c238b9cd510c98be9dc65a9274df9a (patch) | |
| tree | 261dc04930d045e7475499efdfa1bba6782e6079 /dist/termux.sh | |
| parent | b869ec592ca0570fb157fadfb06b72d36b7d0aac (diff) | |
| download | ghdl-3b5ec33830c238b9cd510c98be9dc65a9274df9a.tar.gz ghdl-3b5ec33830c238b9cd510c98be9dc65a9274df9a.tar.bz2 ghdl-3b5ec33830c238b9cd510c98be9dc65a9274df9a.zip | |
termux: ln gnatmake-10
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" |