gazebo7: Fix gazebo-config.cmake output file

This commit is contained in:
= 2016-09-27 00:42:08 +02:00
parent eb1d9269e0
commit efb56cec43
No known key found for this signature in database
GPG Key ID: E5900B8AC02DE455

View File

@ -31,7 +31,9 @@ stdenv.mkDerivation rec {
};
enableParallelBuilding = true; # gazebo needs this so bad
cmakeFlags = []
cmakeFlags = [
"-DCMAKE_INSTALL_LIBDIR:PATH=lib"
"-DCMAKE_INSTALL_INCLUDEDIR=include" ]
++ optional withQuickBuild [ "-DENABLE_TESTS_COMPILATION=False" ]
++ optional withLowMemorySupport [ "-DUSE_LOW_MEMORY_TESTS=True" ]
++ optional withHeadless [ "-DENABLE_SCREEN_TESTS=False" ];