From b03f6de00699ebbe57d6d345b4c53d70f898e2da Mon Sep 17 00:00:00 2001
From: David Capello <davidcapello@gmail.com>
Date: Mon, 8 Jun 2015 17:41:36 -0300
Subject: [PATCH] Try with an alternative name for pixman shared library

---
 src/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index abd6131ba..7e8527082 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -132,7 +132,7 @@ if(USE_ALLEG4_BACKEND)
 endif()
 
 if(USE_SHARED_PIXMAN)
-  find_library(LIBPIXMAN_LIBRARY NAMES pixman)
+  find_library(LIBPIXMAN_LIBRARY NAMES pixman pixman-1)
   find_path(LIBPIXMAN_INCLUDE_DIR NAMES pixman.h)
 
   set(libs3rdparty ${libs3rdparty} ${LIBPIXMAN_LIBRARY})