Merge branch 'lukas_issue154_bug_compile-option-check' into 'develop'

check, if compile options have been set or not, /close #154

See merge request !142
7 jobs for develop in 8 minutes and 53 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #210023
zam347 machinelearningtools
coverage

00:04:17

passed #210022
zam347 machinelearningtools
tests

00:03:33

passed #210020
zam347 base
tests (from scratch)

00:06:15

passed #210021
zam347 gpu
tests (on GPU)

00:05:02

 
  Docs
passed #210024
zam347 machinelearningtools
sphinx docs

00:01:02

 
  Pages
passed #210025
base zam347
pages

00:01:12

 
  Deploy
passed pages:deploy

00:00:11