summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2017-09-14 00:16:40 +0200
committerAndreas Politz <politza@hochschule-trier.de>2017-09-14 00:16:40 +0200
commitdef48dc7812843f4021489a5542e394262dfe595 (patch)
treec704f528892e909a376cdecdb1be74a5344e39b1
parent7aaa53a55e40c5c52ce5e55f3ae1fce7939f66e8 (diff)
Adds check for poppler private header
-rwxr-xr-xserver/autobuild4
1 files changed, 4 insertions, 0 deletions
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
}