2 echo "##########################################################################"
4 echo "##########################################################################"
5 if [[ $DIST_NAME == "DB" && $DIST_VERSION == "10" ]]
7 # seems like SAT does not create BUILD_DIR ( ask for patch integration)
8 mkdir -p $INSTALL_DIR && mkdir -p $BUILD_DIR && cd $BUILD_DIR
9 # check wether a folder named
11 if [[ -e "$HOME/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt" ]]
14 mv $HOME/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt $HOME/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt.old
18 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_INSTALL_PREFIX:STRING=${PRODUCT_INSTALL}"
19 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DCMAKE_BUILD_TYPE:STRING=Release"
20 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DENABLE_PNG=ON"
21 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DENABLE_ZLIB=ON"
22 CMAKE_OPTIONS=$CMAKE_OPTIONS" -DENABLE_GLUT=OFF"
24 echo "*** cmake" ${CMAKE_OPTIONS}
25 cmake ${CMAKE_OPTIONS} $SOURCE_DIR
46 echo "ERROR on make install"
51 if [[ $FMT_EXISTS -eq 1 ]]
53 mv $HOME/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt.old $HOME/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt
58 echo "ERROR distribution: issue with: $DIST_NAME $DIST_VERSION - please fix gl2ps.sh script..."