From 99853361819bff87e7cf8103c5205721ec195c32 Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Tue, 5 Jan 2021 20:46:15 +0100
Subject: mv dist/* scripts/

---
 dist/termux.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 dist/termux.sh

(limited to 'dist/termux.sh')

diff --git a/dist/termux.sh b/dist/termux.sh
deleted file mode 100755
index f2b115850..000000000
--- a/dist/termux.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-# 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-10 llvm clang make
-setupgcc-10
-setup-patchforgcc
-
-mkdir -p build-termux
-cd build-termux
-CXX=clang++
-../configure --default-pic --enable-synth --with-llvm-config=llvm-config --prefix="$PREFIX"
-make
-make install
-- 
cgit v1.2.3