log☇︎
234 entries in 0.506s
mod6: I'll be spending some time this week to try to get adacore's stuff built into gentoo with gcc. not sure now how this will go, but will let you guys know.
a111: Logged on 2017-07-15 22:52 mod6: yah, gotta be the version of my make is different than yours, plus, i'm not using adacore's gnat
mod6: yah, gotta be the version of my make is different than yours, plus, i'm not using adacore's gnat ☟︎
asciilifeform: adacore's mmap resembles that 'avionics' thing. full of 'meta' liquishit.
asciilifeform: ( and ftr i have nfi whether adacore's thing works on netbsd etc )
asciilifeform: adacore has their own mmap library, gpl. but it is ~20x the size of mine, and it is difficult to see why
asciilifeform: mod6 et al : http://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug.html is useful
asciilifeform: on the box i'm sitting at nao, i have adacore's 4.9.4
asciilifeform: alternatively install adacore's thing
mod6: (without using adacore)
asciilifeform: oh, phun phakt, adacore distributes its own mmaptron -- but it is monstrous (easily 25x larger than mine) and largely on account of supporting winblowz
diana_coman: neah, it says it can't even see it then; will try another time with the adacore 4.9 ☟︎
asciilifeform: ( 4.9 from adacore )
asciilifeform: diana_coman: the example was written on a box with adacore's gnat; the stock gnu one is stricter, doesn't permit Foo'Image -- instead you gotta FooTypeName'Image(Foo) ☟︎
asciilifeform: it comes with adacore's gnat, but with the vanilla gnu one, you gotta build it by hand
phf: mod6: this is anathem, but you could split the learning of ada and the build from sources into separate unrelated projects by downloading a prebuilt binary from adacore. that's what i did first, http://libre.adacore.com/download/ unpack whatever version ./doinstall puts all the binaries (including its own version of gcc) into a subdir structure you specify
asciilifeform: ( adacore's was terrible, bulky, winblowz-fallback-containing, and overall unpleasant )
asciilifeform: for completeness i will also point out that adacore's tarball will, with some handholding, build.
asciilifeform: the 'riddle' unlocks very easily, scroll to the end of https://www2.adacore.com/gap-static/GNAT_Book/html/rts/g-socthi__ads.htm .
asciilifeform: https://www2.adacore.com/gap-static/GNAT_Book/html/rts/g-spipat__adb.htm << subj
assbot: Safe and Secure Software - An invitation to Ada 2005 | Technical Papers | Knowledge Center | AdaCore ... ( http://bit.ly/1NTGJWm )
asciilifeform: adlai: http://www.adacore.com/knowledge/technical-papers/safe-secure << moar examples than you could possibly want (warning, pdf)
asciilifeform: http://docs.adacore.com/sparkdocs-docs/Examiner_Ravenscar.htm
assbot: Universities | Academia | AdaCore ... ( http://bit.ly/1FzaAUO )
asciilifeform: decimation> asciilifeform: more on ada: http://www.adacore.com/academia/universities/ < the list of us universities has a conspicuous absence of 'popular' tech schools << 'where used' is by far the least appealing aspect of ada. as for 'where taught', the answer is largely nowhere. the kind of thinking implied by ada is a -culture- that has to be imparted.
assbot: Universities | Academia | AdaCore ... ( http://bit.ly/1IpqUs2 )
decimation: asciilifeform: more on ada: http://www.adacore.com/academia/universities/ < the list of us universities has a conspicuous absence of 'popular' tech schools
gribble: Ravenscar profile - Wikipedia, the free encyclopedia: <http://en.wikipedia.org/wiki/Ravenscar_profile>; Guide for the use of the Ada Ravenscar Profile in high ... - SIGAda: <http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf>; The SPARK Ravenscar Profile - AdaCore: <http://docs.adacore.com/sparkdocs-docs/Examiner_Ravenscar.htm>
asciilifeform: has anyone here managed to get adacore's 'gps' to run on anything other than winblows ?
asciilifeform: speaking of the ada foundation, i randomly tested their mac port ( http://mirrors.cdn.adacore.com/art/ee55f5eb79cb118552c03fc83fa2d5c1580f5353 ) and it only segfaults.
ascii_field: http://lists.adacore.com/pipermail/gtkada/2009-June/003811.html << achtung shitgnomologists.
asciilifeform: http://docs.adacore.com/spark2014-docs/html/ug/getting_started.html << interesting simple example
assbot: Tetris in SPARK on ARM Cortex M4 - The AdaCore Blog ... ( http://bit.ly/1FHKyeU )
asciilifeform: http://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4