Johannes

Results 2 issues of Johannes

Hi! A while back I opened a pull request containing some changes/improvements to the CMake build system. This pull request contains some additional changes to further improve this, as well...

See [this pull request #1460](https://github.com/SVF-tools/SVF/pull/1460)