diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-09-08 15:07:05 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-09-12 18:46:07 +0200 |
commit | b869ec592ca0570fb157fadfb06b72d36b7d0aac (patch) | |
tree | 6844d61dc4b98b1833f65723259c405a0fece145 /dist | |
parent | cd6476fd3bccad677afa347e67241d0a994209d1 (diff) | |
download | ghdl-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.sh | 4 |
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 |