stardis-spk

commit ed8dde12a1ab6b15993e2bd582ed984a3fb57115
parent 445da64e1313fc648b6be6ef464ad4b5fa7fdec1
Author: Benjamin Piaud <benjamin.piaud@meso-star.com>
Date:   Mon, 21 Mar 2022 09:59:18 +0100

Mise à jour des script pour tenir compte du build-stardis-profile.sh

Diffstat:
M
city/run_IR_rendering.sh
 | 
1
+
M
cube/run_dump_path.sh
 | 
1
+
M
cube/run_green_evaluation.sh
 | 
1
+
M
cube/run_probe_computation.sh
 | 
1
+
M
heatsink/run_medium_computation.sh
 | 
1
+
M
heatsink/run_medium_computation_multiple.sh
 | 
1
+
M
porous/run_IR_rendering.sh
 | 
1
+

7 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/city/run_IR_rendering.sh b/city/run_IR_rendering.sh
@@ -34,6 +34,7 @@ if ! (command -v stardis > /dev/null)
 then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/cube/run_dump_path.sh b/cube/run_dump_path.sh
@@ -32,6 +32,7 @@ rm -f "${GEOM_FILE} ${PATH_FILE_PREFIX}*"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/cube/run_green_evaluation.sh b/cube/run_green_evaluation.sh
@@ -29,6 +29,7 @@ SETTINGS_FILE=settings.txt
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/cube/run_probe_computation.sh b/cube/run_probe_computation.sh
@@ -29,6 +29,7 @@ rm -f "${FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/heatsink/run_medium_computation.sh b/heatsink/run_medium_computation.sh
@@ -27,6 +27,7 @@ rm -f "${GEOM_FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/heatsink/run_medium_computation_multiple.sh b/heatsink/run_medium_computation_multiple.sh
@@ -27,6 +27,7 @@ rm -f "${GEOM_FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
diff --git a/porous/run_IR_rendering.sh b/porous/run_IR_rendering.sh
@@ -32,6 +32,7 @@ rm -f "${FILE}.ht ${FILE}.ppm"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
+  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
   echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1