diff options
| author | Andreas Politz <politza@hochschule-trier.de> | 2017-09-14 00:16:40 +0200 |
|---|---|---|
| committer | Andreas Politz <politza@hochschule-trier.de> | 2017-09-14 00:16:40 +0200 |
| commit | def48dc7812843f4021489a5542e394262dfe595 (patch) | |
| tree | c704f528892e909a376cdecdb1be74a5344e39b1 | |
| parent | 7aaa53a55e40c5c52ce5e55f3ae1fce7939f66e8 (diff) | |
Adds check for poppler private header
| -rwxr-xr-x | server/autobuild | 4 |
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 } |
