From 2e8fdf5edbfb571b6a587b94e8595b6a9b1cc4be Mon Sep 17 00:00:00 2001 From: Tommaso Pecorella Date: Tue, 29 Dec 2020 22:08:58 +0000 Subject: [PATCH] config-store: amend 21b5a3b7 - fix lib detection --- src/config-store/wscript | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/config-store/wscript b/src/config-store/wscript index 32bdfcbf8..cf4c22f7a 100644 --- a/src/config-store/wscript +++ b/src/config-store/wscript @@ -21,9 +21,8 @@ def configure(conf): conf.env['ENABLE_GTK'], "--disable-gtk option given") else: - have_gtk = conf.check_cfg(package='gtk+-3.0', atleast_version='3.2', + have_gtk = conf.check_cfg(package='gtk+-3.0 >= 3.20', args=['--cflags', '--libs'], uselib_store='GTK', - msg="Checking for gtk+-3 > 3.2", mandatory=False) conf.env['ENABLE_GTK'] = have_gtk @@ -40,7 +39,7 @@ def configure(conf): if conf.env['CXX_NAME'] in ['clang', 'gcc']: conf.env.append_value ('CXXFLAGS', '-Wno-error=deprecated-declarations') - have_libxml2 = conf.check_cfg(package='libxml-2.0', atleast_version='2.7', + have_libxml2 = conf.check_cfg(package='libxml-2.0 >= 2.7', args=['--cflags', '--libs'], uselib_store='LIBXML2', mandatory=False)