aboutsummaryrefslogtreecommitdiffstats
path: root/dist
diff options
context:
space:
mode:
authorumarcor <unai.martinezcorral@ehu.eus>2020-09-08 15:07:05 +0200
committertgingold <tgingold@users.noreply.github.com>2020-09-12 18:46:07 +0200
commitb869ec592ca0570fb157fadfb06b72d36b7d0aac (patch)
tree6844d61dc4b98b1833f65723259c405a0fece145 /dist
parentcd6476fd3bccad677afa347e67241d0a994209d1 (diff)
downloadghdl-b869ec592ca0570fb157fadfb06b72d36b7d0aac.tar.gz
ghdl-b869ec592ca0570fb157fadfb06b72d36b7d0aac.tar.bz2
ghdl-b869ec592ca0570fb157fadfb06b72d36b7d0aac.zip
termux: update gnat, install llvm and make explicitly
Diffstat (limited to 'dist')
-rw-r--r--dist/termux.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/termux.sh b/dist/termux.sh
index 5957c8ae2..4b9b796bb 100644
--- a/dist/termux.sh
+++ b/dist/termux.sh
@@ -3,8 +3,8 @@
cd $(dirname "$0")/..
curl -fsSL https://its-pointless.github.io/setup-pointless-repo.sh | bash -
-pkg install gnat-9
-setupgcc-9
+pkg install gnat-10 llvm make
+setupgcc-10
mkdir -p build-termux
cd build-termux