pdf2htmlEX/buildScripts/getPoppler

38 lines
887 B
Plaintext
Raw Normal View History

#!/bin/sh
2019-11-21 13:31:28 +00:00
# This shell script gets and unpacks the latest Poppler source code
2019-11-21 13:31:28 +00:00
# source buildScripts/reSourceVersionEnvs
. buildScripts/reSourceVersionEnvs
2019-11-21 13:31:28 +00:00
echo ""
echo "-------------------------------------------------------------------"
echo "GETTING Poppler source code (using wget)"
echo " (POPPLER_VERSION: [$POPPLER_VERSION])"
echo "-------------------------------------------------------------------"
echo ""
2019-11-21 13:31:28 +00:00
echo "Getting poppler version: $POPPLER_VERSION"
rm -rf $POPPLER_VERSION.tar.xz
2019-11-21 14:13:14 +00:00
rm -rf poppler
2023-05-14 19:39:57 +00:00
rm -rf poppler-data-0.4.12.tar.gz
rm -rf poppler-data
2019-11-21 13:31:28 +00:00
2020-06-02 11:58:27 +00:00
set -ev
2019-11-21 13:31:28 +00:00
wget https://poppler.freedesktop.org/$POPPLER_VERSION.tar.xz
tar xvf $POPPLER_VERSION.tar.xz
echo "Getting poppler-data version: 0.4.12"
2019-11-21 13:31:28 +00:00
mv $POPPLER_VERSION poppler
2023-05-14 19:39:57 +00:00
wget https://poppler.freedesktop.org/poppler-data-0.4.12.tar.gz
2023-05-14 19:39:57 +00:00
tar xvf poppler-data-0.4.12.tar.gz
2023-05-14 19:39:57 +00:00
mv poppler-data-0.4.12 poppler-data