On Thu, Feb 17, 2022 at 06:18:03PM +0000, Klemens Nanni wrote: > On Thu, Feb 17, 2022 at 02:31:10PM +0000, Klemens Nanni wrote: > > On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote: > > > Spot is very specific, it's a C++17 library for verification software > > > (mostly involved with infinite automata and their property, the HOMEPAGE > > > would be much better at providing examples than me) > > > > > > It's developed in the lab next to my work place, and I was curious into > > > porting it. > > > > > > Turned out to be fairly clean software, the only hiccup was due to third > > > party flex. > > > > > > I'd like test results on non amd64, possibly ports-gcc based stuff. > > > > > > (some tests with jupyter fail, but I strongly suspect it's an ordering > > > issue with dot generation, and that the tests should pass) > > > > Fails to configure on sparc64: > > sthen eagle-eyed a missing s/COMPILERS/COMPILER/. > > -O3 is hardcoded and visible in every compiler invocation.
It's actually a configure option, --disable-optimizations should fix it. I'm fiddling with --enable-c++20 for the fun of it ;) I will send an updated tarball soonish, I'd appreciate the actual log of the test results.