diff --git a/BuildWithMake/quick-build-linux.sh b/BuildWithMake/quick-build-linux.sh index d1ee0e00..26d13fcb 100755 --- a/BuildWithMake/quick-build-linux.sh +++ b/BuildWithMake/quick-build-linux.sh @@ -162,8 +162,10 @@ echo "FORTRAN_COMPILER_VERSION=gfortran" >> cluster_overrides.mk echo "SV_COMPILER=gnu" >> cluster_overrides.mk echo "SV_COMPILER_VERSION=$EXTERNALS_SV_COMPILER_VER_NO" >> cluster_overrides.mk -echo "SV_EXTERNALS_VERSION_NUMBER=$SV_EXTERNALS_VERSION_NUMBER" >> global_overrides.mk -echo "OPEN_SOFTWARE_BINARIES_TOPLEVEL=$EXTERNALS_TOP/bin/$EXTERNALS_SV_COMPILER_SHORT_NAME/$EXTERNALS_SV_COMPILER_VER_NO/$EXTERNALS_SV_ARCH_DIR/$EXTERNALS_SV_LOWERCASE_CMAKE_BUILD_TYPE" > global_overrides.mk +cat > global_overrides.mk <<___ +SV_EXTERNALS_VERSION_NUMBER=$SV_EXTERNALS_VERSION_NUMBER +OPEN_SOFTWARE_BINARIES_TOPLEVEL=$EXTERNALS_TOP/bin/$EXTERNALS_SV_COMPILER_SHORT_NAME/$EXTERNALS_SV_COMPILER_VER_NO/$EXTERNALS_SV_ARCH_DIR/$EXTERNALS_SV_LOWERCASE_CMAKE_BUILD_TYPE +___ mkdir -p $EXTERNALS_TOP chmod -R a+rwx $EXTERNALS_TOP