2019-11-21 13:31:28 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# This bash script installs Poppler into the local system
|
|
|
|
|
2019-11-22 12:08:20 +00:00
|
|
|
|
|
|
|
if [ -z "$UNATTENDED" ] ; then
|
|
|
|
echo "WARNING: this may over-write any existing"
|
|
|
|
echo "Poppler version you have installed on your system."
|
|
|
|
echo "This may break other packages/applications."
|
|
|
|
echo ""
|
|
|
|
echo "This installation assumes you have 'sudo' privileges."
|
|
|
|
echo ""
|
|
|
|
echo "Type ctrl-c now if DO NOT want to continue"
|
|
|
|
read -p "Type anything else to continue: "
|
|
|
|
fi
|
2019-11-21 13:31:28 +00:00
|
|
|
|
|
|
|
cd poppler/build
|
|
|
|
sudo make install
|
|
|
|
|
2019-11-21 16:33:24 +00:00
|
|
|
cd ..
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-22 12:08:20 +00:00
|
|
|
sudo mkdir -p /usr/local/include/poppler
|
|
|
|
sudo cp poppler/*.h /usr/local/include/poppler
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-22 12:08:20 +00:00
|
|
|
sudo mkdir -p /usr/local/include/poppler/goo
|
|
|
|
sudo cp goo/*.h /usr/local/include/poppler/goo
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-22 12:08:20 +00:00
|
|
|
sudo mkdir -p /usr/local/include/poppler/fofi
|
|
|
|
sudo cp fofi/*.h /usr/local/include/poppler/fofi
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-22 12:08:20 +00:00
|
|
|
sudo mkdir -p /usr/local/include/poppler/splash
|
|
|
|
sudo cp splash/*.h /usr/local/include/poppler/splash
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-21 16:33:24 +00:00
|
|
|
sudo cp build/poppler/poppler-config.h \
|
2019-11-22 12:08:20 +00:00
|
|
|
/usr/local/include/poppler
|