Minor changes

diff --git a/config_files/graphviz.sh b/config_files/graphviz.sh
index 5aa07598797bdf988851a324f98704928324106d..d640428c56e22589841a65401fe97c0fd4379c19 100755 (executable)
--- a/config_files/graphviz.sh
+++ b/config_files/graphviz.sh
@@ -85,8 +85,11 @@ install_source
 cd ${PRODUCT_SRC_DIR}
 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
 
-sed -i 's%PYTHON_LIBS="\(.*\)"%PYTHON_LIBS="-L\$PYTHON_PREFIX/lib \1"%g' configure
-sed -i "s%echo 'puts \[info tclversion\]' | \$TCLSH%echo 'puts \[info tclversion\]' | \$TCLSH 2>/dev/null | grep -E '^[0-9.]+$'%g" configure
+local patch_build_procedure=1
+if [ "${patch_build_procedure}" = "1" ] ; then
+    sed -i 's%PYTHON_LIBS="\(.*\)"%PYTHON_LIBS="-L\$PYTHON_PREFIX/lib \1"%g' configure
+    sed -i "s%echo 'puts \[info tclversion\]' | \$TCLSH%echo 'puts \[info tclversion\]' | \$TCLSH 2>/dev/null | grep -E '^[0-9.]+$'%g" configure
+fi
 
 CONFIGURE_FLAGS="--disable-rpath -without-qt"
 if [ "${EXPAT_ROOT}" != "" ] ; then

diff --git a/config_files/scotch.sh b/config_files/scotch.sh
index bad3e03cfcea6eda39c1141d148e52c1ba244020..a9ec81cedc6eb2f40f13c3fdd699996fe19114f5 100755 (executable)
--- a/config_files/scotch.sh
+++ b/config_files/scotch.sh
@@ -83,9 +83,8 @@ fi
 
 local patch_pthread=1
 if [ "${patch_pthread}" = "1" ] ; then
-    echo -n ".. Patching scotch sources: fix pb with linking to pthread..." && \
-       cd ${PRODUCT_SRC_DIR}/src && \
-       sed -i "s%^\(LDFLAGS.*\)%\1 -lpthread%g" Makefile.inc
+    cd ${PRODUCT_SRC_DIR}/src
+    sed -i "s%^\(LDFLAGS.*\)%\1 -lpthread%g" $(readlink Makefile.inc)
 fi
 
 # make