2020-06-20 09:11:30 +00:00
|
|
|
#!/bin/sh
|
2019-11-21 18:43:26 +00:00
|
|
|
|
2020-06-20 09:11:30 +00:00
|
|
|
# This shell script builds pdf2htmlEX
|
2019-11-21 18:43:26 +00:00
|
|
|
|
2020-06-29 12:23:01 +00:00
|
|
|
# source ./buildScripts/reSourceVersionEnvs
|
|
|
|
. ./buildScripts/reSourceVersionEnvs
|
|
|
|
|
2019-11-29 09:11:32 +00:00
|
|
|
echo ""
|
|
|
|
echo "-------------------------------------------------------------------"
|
|
|
|
echo "BUILDING pdf2htmlEX (using gcc)"
|
2020-06-29 12:23:01 +00:00
|
|
|
echo " PDF2HTMLEX_VERSION = [$PDF2HTMLEX_VERSION]"
|
2019-11-29 09:11:32 +00:00
|
|
|
echo "-------------------------------------------------------------------"
|
2020-06-02 11:58:27 +00:00
|
|
|
|
2019-11-29 09:11:32 +00:00
|
|
|
echo ""
|
|
|
|
|
2020-06-02 11:58:27 +00:00
|
|
|
set -ev
|
|
|
|
|
2019-11-21 20:34:17 +00:00
|
|
|
cd pdf2htmlEX
|
2020-06-20 09:11:30 +00:00
|
|
|
rm -rf build
|
2018-01-10 19:31:38 +00:00
|
|
|
mkdir build
|
|
|
|
cd build
|
2019-12-17 16:23:39 +00:00
|
|
|
cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$PDF2HTMLEX_PREFIX ..
|
2019-11-25 16:04:50 +00:00
|
|
|
make $MAKE_PARALLEL
|