ben_vulpes: asciilifeform: can you imagine? i go to stand up a pxeboot server and find nigh unto zero documentation on how to produce a pxelinux.0 anywhere; builing syslinux from source doesn't even produce something named even vaguely like what i want
feedbot: http://thetarpit.org/2020/on-the-hellpits-of-abstraction << The Tar Pit -- On the hellpits of abstraction
feedbot: http://thetarpit.org/2020/work-plan-for-m2-2020 << The Tar Pit -- Work plan for M2 2020
feedbot: http://thetarpit.org/2020/on-the-hellpits-of-abstraction << The Tar Pit -- On the hellpits of abstraction
feedbot: http://thetarpit.org/2020/again-on-general-purpose-tools << The Tar Pit -- Again on "general-purpose" tools
asciilifeform: oh hey ben_vulpes, wb
asciilifeform: re pxeboot -- iirc in '15 i posted instructions re tftp, on the trb ml.
asciilifeform: !w poll
watchglass: Polling 11 nodes...
watchglass: 192.151.158.26:8333 : Could not connect!
watchglass: 205.134.172.6:8333 : (172-6.core.ai.net) Alive: (0.086s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 108.31.170.3:8333 : (pool-108-31-170-3.washdc.fios.verizon.net) Alive: (0.039s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872 (Operator: asciilifeform)
watchglass: 205.134.172.27:8333 : Alive: (0.083s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872 (Operator: asciilifeform)
watchglass: 205.134.172.26:8333 : Alive: (0.142s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 205.134.172.4:8333 : (172-4.core.ai.net) Alive: (0.118s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=624128
watchglass: 208.94.240.42:8333 : Alive: (0.147s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 143.202.160.10:8333 : Alive: (0.225s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 213.109.238.156:8333 : Alive: (0.349s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 103.36.92.112:8333 : (terebe.ns01.net) Alive: (0.573s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
watchglass: 188.121.168.69:8333 : (rev-188-121-168-69.radiolan.sk) Alive: (0.691s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872
trinque: hey asciilifeform, did you ever produce a static *gnat*? I've been flipping configure switches on gcc-4.9.4 for a while now, and the thing produces statically-linked gcc, and dynamically linked gnat.
trinque: apparently ignoring both of CFLAGS and LDFLAGS!
asciilifeform: trinque: near as i could tell, ave1's binary kit ( and what it built on my boxen ) was static...
asciilifeform: trinque: are you still working with his kit, or making from older gcc's ?
trinque: asciilifeform: mind running `file` on one of your gnat bins for me?
asciilifeform: sure, 1s
trinque: I'm working with a modified version of his scripts yes
trinque: (heavily)
asciilifeform: $ file bin/x86_64-linux-musl/bin/x86_64-linux-musl-gnat
asciilifeform: bin/x86_64-linux-musl/bin/x86_64-linux-musl-gnat: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped
trinque: cool, I just broke something. thank you!
asciilifeform: $ file bin/x86_64-linux-musl/bin/x86_64-linux-musl-gcc
asciilifeform: bin/x86_64-linux-musl/bin/x86_64-linux-musl-gcc: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped
asciilifeform: trinque: np
trinque: yeah, my gcc is indeed static, gnat not.
trinque will get out the jumpers and car battery, bbl
asciilifeform: btw i don't recall if this was discussed in detail, but i was the one who orig. asked for gcc 4.9.4 rather than 4.7. the reason was that i was not able to find an ada-2012istic (i.e. supporting preconditions and various other fascisms) gnat that sat on 4.7. this doesn't mean that it is impossible to transplant a 2012istic frontend onto a 4.7, but afaik no one yet tried.
trinque: I ran into same over the weekend.
trinque: could not build 4.7.4 gnat due to link errors.
asciilifeform: in abstract, i'm a believer in 'older gcc, ecologically cleaner gcc'
trinque: taking a hard dependency on gnat imho moots any benefit of using 4.7.4 (which afaik can be bootstrapped with C compiler alone) because you still need a GNAT also to bootstrap.
trinque: so yes, unless a vintage bin is found, why bother
asciilifeform: this continues to annoy me, to the point that i'm considering writing a barbaric compiler of the subset of ada that i actually give a damn about
trinque: (and you still wont be bootstrapping the GNAT parts with tcc)
trinque: yep
asciilifeform: it aint a difficult lang to compile, in principle
asciilifeform: there's ~0 (esp. in asciilifeform's subset...) 'smart' garbage
asciilifeform speaking of adaisms, i have ch21's modular inverter written. nao grinding out the proofs for it, and the human text..
trinque: nice, I'm extremely behind on your series, but intend to pick it up at next stack pop.
asciilifeform: 21 i expect will be the last 'mathematical' piece. after that, hashism; optional asmism (ty bvt); and keygen recipes.
asciilifeform: final mass i estimate will be 10k loc. ( current: ~7.7k, this includes blanks & comments , the latter are ~50% of mass atm )
shinohai: Welp for fun thought I'd try ave1's gnat builder from here but appears better part of the links no longer work. *sigh*
asciilifeform: shinohai: didja miss the thread from earlier ? re the gnat deps
snsabot: (trinque) 2020-04-06 asciilifeform: jfw: i posted my copy of his dep tarballs
asciilifeform: shinohai: if you turn up sumthing that it needs that ain't in the former or latter, lemme know what it was, so i can post it
shinohai: asciilifeform: Yeah I substituted your mirror in initial "download.sh" script ... still fails when grabbing binutils from some other broken gnu.org limk
asciilifeform: pretty sure i have the whole set
asciilifeform: look through both lists
shinohai: Will do, will likely post up a "dulap" mirrored version of this build when I get it working
asciilifeform: a++
shinohai: How fast 2 years goes, last time I tried this it worked xD
asciilifeform: littering build recipes w/ 'fetch xyz from heathendom' will do that.
asciilifeform: fwiw i config'd 100% of my own boxen to fetch from dulap.xyz. if ever somehow end up wanting item that aint in there, will fetch manually (and, if it worx, include it in mirror for other folx)
shinohai: asciilifeform: what is equivalent of `gcc-4.9.adacore2016.tar.bz2` on dulap.xyz ?
shinohai: Also ave1 's script calls for mpfr-3.1.6 .... I only see up to 3.1.5 on yer mirror
asciilifeform: shinohai: and on adacorpse side, possibly http://dulap.xyz/ada/gcc-4.9-gpl-2016-src.tar.gz
asciilifeform: tbf i have nfi where ave1 orig. got his
shinohai: 2nd link I tried, it fails. Gonna try w/ the nosuchlabs link
asciilifeform: shinohai: 1s, i'm aboutta upload the missing item
shinohai: kk
asciilifeform: shinohai: aite, nao should have in there all of the deps for all of the vers of ave1's gnat
asciilifeform: lemme know if find still missing any.
asciilifeform: i pulled'em outta the build dirs of where i tested ave1's releases
shinohai: Sweet thx asciilifeform
shinohai: neato, also has the kernel headers
feedbot: http://mvdstandard.net/2020/04/west-texas-intermediate-price-falls-below-zero/ << The Montevideo Standard -- West Texas Intermediate Price Falls Below Zero
shinohai: http://nosuchlabs.com/pub/gnatdeps/index.html <<< got working static gnat by substituting all links for these, thx again asciilifeform
asciilifeform: shinohai: np