]> https://gitweb.dealii.org/ - candi.git/commitdiff
fix path directive in cmake package 107/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 9 Nov 2018 16:18:34 +0000 (11:18 -0500)
committerTimo Heister <timo.heister@gmail.com>
Fri, 9 Nov 2018 16:18:34 +0000 (11:18 -0500)
otherwise $PATH will be expanded in the config file

deal.II-toolchain/packages/cmake.package

index 0a8766bfe52960a6030324f29a680c8ce3f7766b..6e779be1860f2af602ab929d058c7a292044058c 100644 (file)
@@ -52,7 +52,7 @@ package_specific_conf () {
     CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
     rm -f $CONFIG_FILE
     echo "
-export PATH=${INSTALL_PATH}/bin:${PATH}
+export PATH=${INSTALL_PATH}/bin:\${PATH}
 export CMAKE_ROOT=${INSTALL_PATH}/share/${MAJOR}
 " >> $CONFIG_FILE
 }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.