2019-11-21 13:31:28 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# This bash script gets and unpacks the latest Poppler source code
|
|
|
|
|
2019-11-28 12:04:22 +00:00
|
|
|
source buildScripts/reSourceVersionEnvs
|
2019-11-21 13:31:28 +00:00
|
|
|
|
2019-11-29 09:11:32 +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
|
2020-05-29 15:48:42 +00:00
|
|
|
rm -rf poppler-data-0.4.9.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
|
|
|
|
|
2019-12-17 06:15:03 +00:00
|
|
|
echo "Getting poppler-data version: 0.4.9"
|
|
|
|
|
2019-11-21 13:31:28 +00:00
|
|
|
mv $POPPLER_VERSION poppler
|
2019-12-17 06:15:03 +00:00
|
|
|
|
|
|
|
wget https://poppler.freedesktop.org/poppler-data-0.4.9.tar.gz
|
|
|
|
|
|
|
|
tar xvf poppler-data-0.4.9.tar.gz
|
|
|
|
|
|
|
|
mv poppler-data-0.4.9 poppler-data
|