diff --git a/buildScripts/createDockerImage b/buildScripts/createDockerImage index f9f2cda..226aa08 100755 --- a/buildScripts/createDockerImage +++ b/buildScripts/createDockerImage @@ -2,33 +2,38 @@ # This bash script creates a docker image from an existing pdf2htmlEX -source buildScripts/versionEnvs +if [ -x "$(which docker)" ]; then -source buildScripts/dockerFunctions + source buildScripts/versionEnvs -mkdir -p imageBuild/dockerDir + source buildScripts/dockerFunctions -cd pdf2htmlEX/build + mkdir -p imageBuild/dockerDir -sudo rm -rf install_manifest.txt + cd pdf2htmlEX/build -make install DESTDIR=../../imageBuild/dockerDir + sudo rm -rf install_manifest.txt -cd ../../imageBuild/dockerDir + make install DESTDIR=../../imageBuild/dockerDir -copy_deps + cd ../../imageBuild/dockerDir -delete_blacklisted + copy_deps -cat >> Dockerfile <> Dockerfile <