SEMPR on Ubuntu 18.04

based on Issue #41 this page will provide a workaround to compile and run SEMPR on Ubuntu 18.04.

Workaround

Downgrade to Xenia ODB Package
- wget http://de.archive.ubuntu.com/ubuntu/pool/universe/o/odb/odb_2.4.0-4build1_amd64.deb
- sudo dpkg -i odb_2.4.0-4build1_amd64.deb
- sudo apt-mark hold odb
- rm odb_2.4.0-4build1_amd64.deb
Install GCC5
- sudo apt-get install gcc-5 g++-5
Set ODB GCC Plugin to GCC5
- Add list(APPEND ODB_ARGS -x "${CMAKE_CXX_COMPILER}") to the UseODB.cmake (see here)
Configure CMake for the GGC5 Compiler
- cmake -DCMAKE_C_COMPILER=/usr/bin/gcc-5 -DCMAKE_CXX_COMPILER=/usr/bin/g++-5 ...