A few more comments.
To compile fesvr and spike you will need to patch device.h because the new GCC compiler is less permisive with K&R old C code.
You will just have to add an "#include <cstdint>" at the beginning of the file, or you may also add a compiler switch like -std=c99 (I preferred to add the #include).
Don't forget to update your VERILATOR_ROOT in the ariane_setup.sh file
You will have to install bison 3.5.1 (an older version of bison) and add its path first in the PATH (to avoid using the Linux' bison), or you'll get compilation errors while verilator will compile a OpenPiton's simulation model.
I think I got bison 3.5.1 sources and installed it under /usr/local/bin.
It was absolutely necessary with verilator 4.014, I'm not sure it is still necessary with versions 5.xxx.
But, just in case, you may also try that.
Last, to be able to compile the bootrom for a simulation with verilator, you will need to update piton/design/chipset/rv64_platform/bootrom/linux/Makefile
1/ add "-std=c99" to CFLAGS
2/ remove "-march=rv64imac" to CFLAGS
All this "little issues" are coming from the natural evolution of GCC and Linux tools.
Remember Opentiton started in 2013-2015, mor ethan 10 years ago.
Be patient and persistent Nico !
Pierre