From 60a6f13379ed47d33fc6ecdcb314460be33ba46c Mon Sep 17 00:00:00 2001
From: umarcor <38422348+umarcor@users.noreply.github.com>
Date: Thu, 20 Feb 2020 07:43:16 +0100
Subject: add build script for termux (#1143)

---
 dist/termux.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 dist/termux.sh

diff --git a/dist/termux.sh b/dist/termux.sh
new file mode 100644
index 000000000..635338407
--- /dev/null
+++ b/dist/termux.sh
@@ -0,0 +1,15 @@
+# Build and install GHDL on termux (https://termux.com/)
+
+cd $(dirname "$0")/..
+
+curl -fsSL https://its-pointless.github.io/setup-pointless-repo.sh | bash -
+pkg install gnat-9
+setupgcc-9
+ln -s $PREFIX/lib/gcc/aarch64-linux-android/9.2.0/libgnat-9.so $PREFIX/lib/libgnat-9.so
+ln -s $PREFIX/lib/gcc/aarch64-linux-android/9.2.0/libgnarl-9.so $PREFIX/lib/libgnarl-9.so
+
+mkdir -p build-termux
+cd build-termux
+../configure --default-pic --enable-synth --with-llvm-config=llvm-config --prefix="$PREFIX"
+make
+make install
-- 
cgit v1.2.3