Using gcc 4.4 on CentOS 5.5

[tools/install.git] / config_files / gl2ps.sh

diff --git a/config_files/gl2ps.sh b/config_files/gl2ps.sh
index f2618464ca64b648c7874c3706c43711aaa054d3..279504348b777a01b38fdb207f76bc766f4a40cf 100755 (executable)
--- a/config_files/gl2ps.sh
+++ b/config_files/gl2ps.sh
@@ -95,13 +95,22 @@ test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
 cd ${PRODUCT_SRC_DIR}
 
 # configure
-check_job ${PRODUCT_DIR}/CONFIGURE.LOG cmake -DCMAKE_INSTALL_PREFIX=${PRODUCT_DIR} -DCMAKE_BUILD_TYPE=Release
+local CMAKE_OPTIONS=""
+CMAKE_OPTIONS="${CMAKE_OPTIONS} -DCMAKE_INSTALL_PREFIX=${PRODUCT_DIR}"
+CMAKE_OPTIONS="${CMAKE_OPTIONS} -DCMAKE_BUILD_TYPE=Release"
+
+cat >> ${PRODUCT_DIR}/CONFIGURE.LOG <<EOF
+-------------------
+Used options: ${CMAKE_OPTIONS}
+-------------------
+EOF
+check_job ${PRODUCT_DIR}/CONFIGURE.LOG cmake ${CMAKE_OPTIONS}
 
 # compile
-check_job ${PRODUCT_DIR}/MAKE.LOG make
+check_job ${PRODUCT_DIR}/MAKE.LOG make VERBOSE=1
 
 # install
-check_job ${PRODUCT_DIR}/INSTALL.LOG make install 
+check_job ${PRODUCT_DIR}/INSTALL.LOG make VERBOSE=1 install 
 
 cd ${PRODUCT_DIR}