From 3b5ec33830c238b9cd510c98be9dc65a9274df9a Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Wed, 9 Sep 2020 11:26:37 +0200
Subject: termux: ln gnatmake-10

---
 dist/termux.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dist')

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"
-- 
cgit v1.2.3