mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-06-30 15:39:00 +00:00
43 lines
1.2 KiB
Bash
Executable File
43 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# This bash script installs Poppler into the local system
|
|
|
|
echo ""
|
|
echo "-------------------------------------------------------------------"
|
|
echo "INSTALLING Poppler locally"
|
|
echo " (UNATTENDED: [$UNATTENDED])"
|
|
echo "-------------------------------------------------------------------"
|
|
echo ""
|
|
|
|
|
|
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
|
|
|
|
cd poppler/build
|
|
sudo make install
|
|
|
|
cd ..
|
|
|
|
sudo mkdir -p /usr/local/include/poppler
|
|
sudo cp poppler/*.h /usr/local/include/poppler
|
|
|
|
sudo mkdir -p /usr/local/include/poppler/goo
|
|
sudo cp goo/*.h /usr/local/include/poppler/goo
|
|
|
|
sudo mkdir -p /usr/local/include/poppler/fofi
|
|
sudo cp fofi/*.h /usr/local/include/poppler/fofi
|
|
|
|
sudo mkdir -p /usr/local/include/poppler/splash
|
|
sudo cp splash/*.h /usr/local/include/poppler/splash
|
|
|
|
sudo cp build/poppler/poppler-config.h \
|
|
/usr/local/include/poppler
|