Hi, Ludovic Courtès skribis: > On commit 9b4c3c675c05870e5983c21ce4ff944e0b0bc2fa of ‘core-updates’, > mescc-tools fails tests, with generated binaries segfaulting: > > $ ./pre-inst-env guix build mescc-tools > > […] > > + . ./sha256.sh > ++ set -ex > ++ ./bin/get_machine > + ./bin/M1 -f test/test3/defs -f test/test3/lisp.s --BigEndian --architecture knight-native -o test/test3/hold > + '[' amd64 = amd64 ']' > + ./test/results/test1-binary > + ./bin/hex2 -f elf_headers/elf32.hex2 -f test/test2/hold --LittleEndian --architecture x86 --BaseAddress 0x8048000 -o test/results/test2-binary --exec_enable > test/test1/hello.sh: line 37: 125 Segmentation fault ./test/results/test1-binary < test/test1/hex0.hex0 > test/test1/proof1 [...] > builder for `/gnu/store/lir8pmc63k1bcj4ml9gsx1769aw9ndj2-mescc-tools-0.7.0.drv' failed with exit code 1 I found that this upstream commit, which made it in version 1.1.0, fixes the segfault: commit e633669dfdf16f503a7d740b9058e343536533b4 Author: nimaje Date: Thu Oct 15 19:12:18 2020 -0400 Fix ELF headers to be more well behaved I tried backporting it (patch below) but that leads to: --8<---------------cut here---------------start------------->8--- test/test2/hello.sh + ./bin/M1 -f test/test2/hex.M1 --LittleEndian --Architecture 1 -o test/test2/hold + ./bin/hex2 -f elf_headers/elf32.hex2 -f test/test2/hold --LittleEndian --Architecture 1 --BaseAddress 0x8048000 -o test/results/test2-binary --exec_enable ++ ./bin/get_machine + '[' x86_64 = x86_64 ']' + ./test/results/test2-binary + r=0 + '[' 0 = 0 ']' ++ sha256sum -c test/test2/proof.answer sha256sum: WARNING: 1 computed checksum did NOT match + out='test/test2/proof: FAILED' + '[' 'test/test2/proof: FAILED' = 'test/test2/proof: OK' ']' + exit 2 make: *** [makefile:94: test2-binary] Error 2 Test suite failed, dumping logs. error: in phase 'check': uncaught exception: %exception #<&invoke-error program: "make" arguments: ("test" "-j" "1" "PREFIX=/gnu/store/mklrxb6k2a7f1nspm5az1w3pjgfqyx07-mescc-tools-0.5.2-0.bb062b0") exit-status: 2 term-signal: #f stop-signal: #f> phase `check' failed after 0.0 seconds command "make" "test" "-j" "1" "PREFIX=/gnu/store/mklrxb6k2a7f1nspm5az1w3pjgfqyx07-mescc-tools-0.5.2-0.bb062b0" failed with status 2 builder for `/gnu/store/5pkxsjjhlirznxfblsm8g4x0dq8nlz6g-mescc-tools-0.5.2-0.bb062b0.drv' failed with exit code 1 build of /gnu/store/5pkxsjjhlirznxfblsm8g4x0dq8nlz6g-mescc-tools-0.5.2-0.bb062b0.drv failed --8<---------------cut here---------------end--------------->8--- Should we upgrade instead? If we do, what’s the potential for breakage? Should ‘mes-rb5’ be kept on an older version? WDYT, Janneke? :-) Thanks, Ludo’.