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. DESCR has too long lines. I suppose you can upstream the patch? It's stlil building...
