Googletest library in wrong location when using Xcode

[volkm]

When using Xcode for the Storm compilation the tests cannot be compiled because the googletest library is not found. The expected location would be build_xcode/resources/3rdparty/gtest-1.10.0/lib/libgtest.a but the generated library from Xcode is build_xcode/resources/3rdparty/gtest-1.10.0/libgtestd.a

Creating hardlinks works for the moment:

cd build_xcode/resources/3rdparty/gtest-1.10.0
mkdir lib
ln libgtestd.a lib/libgtest.a
ln libgtest_maind.a lib/libgtest_main.a

However, a permanent solution with the right directory structure and the correct library names would be better.

[tquatmann]

By the way: Standard building with make puts it into storm/build/resources/3rdparty/gtest-1.10.0/lib/libgtest.a

[sjunges]

Is anyone still using Xcode to build storm? Do we want to support this still?

[volkm]

I am not using XCode anymore. We can drop the support from my side.

[tquatmann]

Same here

[sjunges]

Does dropping this removing any lines of code? Or is it about "wontfixing" this issue? :-)

[volkm]

We could remove lines in CMakeLists but otherwise I do not see anything XCode specific.

[sjunges]

We could actually put a warning there and say that it wont work correctly and then close the issue?