06:31 |
jurov |
What is the best way to obtain working GNAT? |
| |
~ 1 hours 51 minutes ~ |
08:22 |
shinohai |
jurov: I obtained working GNAT using ave1's thing, though had to modify his build script just a bit to fix broken links from adacore site. |
08:24 |
jurov |
shinohai: i did dig out http://ave1.org/2019/gnat-sjlj-build-project/ but there's no code? |
08:27 |
shinohai |
ah ok I was referring to http://ave1.org/2018/building-gnat-on-musl-no-more-usrincludex86_64-linux-gnu/ ... sorry for confusion. |
| |
~ 29 minutes ~ |
08:56 |
jurov |
http://fixpoint.welshcomputing.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/ oh my |
08:58 |
shinohai |
Yup it's a total mess, I did small writeup on it http://btc.info.gf/blog/wip-a-static-gnat-with-musl-nosuchlabs-edition.html |
08:58 |
* |
shinohai still needs to clean that up, perhaps mirror all the goodies in one spot as well ..... |
| |
~ 15 minutes ~ |
09:14 |
jurov |
and there isn't some stopgap alternative keccak V implementation? |
| |
↖ |
09:15 |
shinohai |
Aside from vk.pl I dunno. I've been using esthlos-v for some time now, I like it. |