From def48dc7812843f4021489a5542e394262dfe595 Mon Sep 17 00:00:00 2001
From: Andreas Politz <politza@hochschule-trier.de>
Date: Thu, 14 Sep 2017 00:16:40 +0200
Subject: Adds check for poppler private header

---
 server/autobuild | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/server/autobuild b/server/autobuild
index dbc62df..85dc564 100755
--- a/server/autobuild
+++ b/server/autobuild
@@ -163,6 +163,10 @@ have_packages_installed()
         which make || return 1
         which gcc || which cc || return 1
         which g++ || which c++ || return 1
+        cc $(pkg-config --cflags poppler) -o /dev/null -E - 2>/dev/null <<EOF
+        #include <PDFDocEncoding.h>
+EOF
+        [ $? -eq 0 ] || return 1
         return 0
     } >/dev/null 2>&1
 }
-- 
cgit v1.0