Results 1 ... 18 found in asciilifeform for 'adacore'
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