Results 1 ... 23 found in asciilifeform for 'adacore'
phf: re adacore, there was a handful of clear moments when it became obvious that the stack is gnarly. i believe it was the c ffi and the outright broken arm task management, after that use of ada continued, but with a "i guess it's better than c" sentiment.
asciilifeform stabbed randomly at the thing and found e.g. this, where 'Ada didn't have a way to provide the memory safety guarantees Rust has until June 2018. And if you take a look at what AdaCore did about that you'll realize they just copied Rust's CREW/borrowing model.' rly is mega-intelligent & informed discussion nao ?
signpost: https://github.com/AdaCore/ada_language_server << curious if this is any good. emacs-lsp is a thing.
cgra: http://logs.nosuchlabs.com/log/asciilifeform/2020-12-16#1026187 << asciilifeform, wasn't aware of exact details when, but i assumed musl-based, yeah. also, personally already had to drop a handful of ffa's restrictions, and tweak a ffa build param, because so far i've been using the gnat in ubuntu 16.04, which is older than the adacore 2016
trinque: I had to move from Devuan to a newer Gentoo which already had the adacore thing in portage.
trinque: whelp. I got proper adacore gnat to fucking build finally, outside the ave1 thing.
trinque: yep, thought we needed to start from adacore's
trinque: asciilifeform: I see gnat-gpl in there, but not adacore. filename?
trinque: asciilifeform: did anyone back up the adacore-2016 *bins* anywhere?
trinque: alright, I suppose I'll modify the recipe to start with adacore's 2016 bins, but boy is that irritating
asciilifeform: verisimilitude: 'already made' is a quite strict concept in ada planet. req'd reading.
shinohai: asciilifeform: what is equivalent of `gcc-4.9.adacore2016.tar.bz2` on dulap.xyz ?
asciilifeform rereads, notices 'More surprisingly, the feed URL itself still pointed to the vanished "mirrors.cdn.adacore.com" hostname' in orig piece, lol, already there
asciilifeform: jfw: i'ma fetch those tarballs & mirror. and -- interestingly -- http://mirrors.cdn.adacore.com dun seem to resolve any moar! will use your url list.
feedbot: http://fixpoint.welshcomputing.com/2020/the-missing-adacore-public-download-index-vintage-2018-while-it-lasts/ << Fixpoint -- The missing Adacore public download index, vintage 2018, while it lasts