I wasn’t aware of this forum before Javier mentioned it to me in this Merge Request:
I’ll commit and push this to the current devel branch.
The text from over there:
While trying to compile REST yesterday, I stumbled upon a few things.
the Python scripts force the usage of Python2 the thisRest.sh script has to be sourced by bash due to the usage of BASH_ARGV.
This MR imports the print function to be compatible with Python3. I haven’t actually checked whether the scripts other than generateVersionHeader.py actually work with Python3 or if other changes are necessary.
In the thisRest.cmake script I introduced a check on the BASH_VERSION and ZSH_VERSION environment variables and then use the appropriate way to define the thisdir variable.
I also removed the shebang in that script, since we shouldn’t have to execute that script anyways, but source it.