mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-12-22 13:00:08 +00:00
40 lines
736 B
Bash
Executable File
40 lines
736 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# This bash script creates a docker image from an existing pdf2htmlEX
|
|
|
|
if [ -x "$(which docker)" ]; then
|
|
|
|
source buildScripts/reSourceVersionEnvs
|
|
|
|
source buildScripts/dockerFunctions
|
|
|
|
mkdir -p imageBuild/dockerDir
|
|
|
|
cd pdf2htmlEX/build
|
|
|
|
sudo rm -rf install_manifest.txt
|
|
|
|
make install DESTDIR=../../imageBuild/dockerDir
|
|
|
|
cd ../../imageBuild/dockerDir
|
|
|
|
copy_deps
|
|
|
|
delete_blacklisted
|
|
|
|
cat > Dockerfile <<DOCKERFILE_HERE_DOC
|
|
FROM $DOCKER_FROM
|
|
COPY ./ /
|
|
RUN ldconfig
|
|
ENTRYPOINT ["/usr/local/bin/pdf2htmlEX"]
|
|
DOCKERFILE_HERE_DOC
|
|
|
|
cd ..
|
|
|
|
docker build -t $DOCKER_USERNAME/pdf2htmlex:$PDF2HTMLEX_BRANCH-$BUILD_TIME dockerDir
|
|
|
|
else
|
|
echo "Docker is not installed... skipping creation of a docker image."
|
|
fi
|
|
|