diff options
Diffstat (limited to 'kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch')
| -rw-r--r-- | kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch b/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch new file mode 100644 index 00000000000..e1e8de2b174 --- /dev/null +++ b/kde-plasma/kde-gtk-config/files/kde-gtk-config-5.4.2-gtk3-optional.patch @@ -0,0 +1,19 @@ +--- a/CMakeLists.txt 2015-10-02 22:36:55.186480671 +0200 ++++ b/CMakeLists.txt 2015-10-02 22:38:40.048169719 +0200 +@@ -17,6 +17,7 @@ + include(ECMSetupVersion) + include(ECMInstallIcons) + include(ECMMarkAsTest) ++include(ECMOptionalAddSubdirectory) + include(GenerateExportHeader) + include(FeatureSummary) + include(KDEInstallDirs) +@@ -62,7 +63,7 @@ + install(FILES kde-gtk-config.desktop DESTINATION ${SERVICES_INSTALL_DIR}) + + add_subdirectory(gtkproxies) +-add_subdirectory(gtk3proxies) ++ecm_optional_add_subdirectory(gtk3proxies) + add_subdirectory(icons) + add_subdirectory(tests) + |