Re: Use of CMAKE_BUILD_TYPE=Debian

2016-12-12 Thread Pino Toscano
In data lunedì 12 dicembre 2016 14:41:21 CET, Jonathan Riddell ha scritto: > I'm wondering if there's still a need for CMAKE_BUILD_TYPE=Debian which gets > set on builds which use > /usr/share/pkg-kde-tools/lib/kf5_flags Theoretically yes, given the idea of it is to use the build flags by kdelibs

Re: Use of CMAKE_BUILD_TYPE=Debian

2016-12-12 Thread Maximiliano Curia
¡Hola Jonathan! El 2016-12-12 a las 14:41 +, Jonathan Riddell escribió: I'm wondering if there's still a need for CMAKE_BUILD_TYPE=Debian which gets set on builds which use /usr/share/pkg-kde-tools/lib/kf5_flags It's used by /usr/share/pkg-kde-tools/cmake/DebianABIManager.cmake and kde

Re: Use of CMAKE_BUILD_TYPE=Debian

2016-12-12 Thread Lisandro Damián Nicanor Pérez Meyer
On lunes, 12 de diciembre de 2016 14:41:21 ART Jonathan Riddell wrote: > I'm wondering if there's still a need for CMAKE_BUILD_TYPE=Debian which gets > set on builds which use /usr/share/pkg-kde-tools/lib/kf5_flags > > It's used by > /usr/share/pkg-kde-tools/cmake/DebianABIManager.cmake > > and k

Use of CMAKE_BUILD_TYPE=Debian

2016-12-12 Thread Jonathan Riddell
I'm wondering if there's still a need for CMAKE_BUILD_TYPE=Debian which gets set on builds which use /usr/share/pkg-kde-tools/lib/kf5_flags It's used by /usr/share/pkg-kde-tools/cmake/DebianABIManager.cmake and kdelibs(4) debian/patches/add_debian_build_type.diff The downside is it just adds s