2019-11-21 18:43:26 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
2020-06-02 11:34:11 +00:00
|
|
|
set -ev
|
|
|
|
|
2019-11-21 18:43:26 +00:00
|
|
|
# This bash script builds pdf2htmlEX
|
|
|
|
|
2019-11-29 09:11:32 +00:00
|
|
|
echo ""
|
|
|
|
echo "-------------------------------------------------------------------"
|
|
|
|
echo "BUILDING pdf2htmlEX (using gcc)"
|
|
|
|
echo "-------------------------------------------------------------------"
|
|
|
|
echo ""
|
|
|
|
|
2019-11-21 20:34:17 +00:00
|
|
|
cd pdf2htmlEX
|
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
|