Closed ikizhvatov closed 6 years ago
Thanks Ilya It's probably the right time to move Orka from Debian oldstable (jessie) to stable (stretch). I'm testing it.
I updated Orka, as there were more breaks (Daredevil dep, Valgrind repo) https://github.com/SideChannelMarvels/Orka/commit/39776f8c698c69d7caf1cc61d90d960cae52c08b
But this new one doesn't contain the compilation of PIN anymore. Maybe we'll reintegrate it later once I figure out how to include decently a GCC 4.4.7 (or at least <5) in this Debian Stretch docker image...
The latest commit with MIPS32 seems to have broken the build, at least in the marvelslatest image. When rebuilding from scratch (and having rebuilt marvelsbase from scratch), I get: