From 288fa40736e6eb63132d01aa6dc21ee831b796ae Mon Sep 17 00:00:00 2001 From: Gerd Hoffmann Date: Tue, 27 Nov 2012 13:19:40 +0100 Subject: [PATCH] pixman: require 0.18.4 or newer When older versions are found the internal pixman version is prefered. Signed-off-by: Gerd Hoffmann Signed-off-by: Blue Swirl --- configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 994f7310b8..44034d66b9 100755 --- a/configure +++ b/configure @@ -2118,7 +2118,7 @@ fi # pixman support probe if test "$pixman" = ""; then - if $pkg_config pixman-1 > /dev/null 2>&1; then + if $pkg_config --atleast-version=0.18.4 pixman-1 > /dev/null 2>&1; then pixman="system" else pixman="internal" @@ -2129,7 +2129,7 @@ if test "$pixman" = "system"; then pixman_libs=`$pkg_config --libs pixman-1 2>/dev/null` else if test ! -d ${source_path}/pixman/pixman; then - echo "ERROR: pixman not present. Your options:" + echo "ERROR: pixman not present (or older than 0.18.4). Your options:" echo " (1) Prefered: Install the pixman devel package (any recent" echo " distro should have packages as Xorg needs pixman too)." echo " (2) Fetch the pixman submodule, using:"