star-build

commit 246c38c293b61f1b20b971b52b6dc6fc072cd63a
parent cf40b307bd2541f1ec27901763815a4a195a3ee7
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Thu, 10 Jul 2025 10:44:42 +0200

Update Stardis build script 0.11.1

Update the Star-StL dependency from 0.5.1 to 0.7. Version 0.5.1 is
buggy: it may crash when automatically detecting the StL format (ASCII
and binary).

Rename the generated profile to "profile" to make it agnostic of the
project that deploys it. This avoids having the same profile with
different names.

Diffstat:
M
src/therm-apps/stardis_0.11.1.sh
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/therm-apps/stardis_0.11.1.sh b/src/therm-apps/stardis_0.11.1.sh
@@ -19,7 +19,7 @@ set -e
 
 . "misc/build.sh"
 
-. "cad-libs/star-stl_0.5.1.sh"
+. "cad-libs/star-stl_0.7.sh"
 . "sci-libs/star-geometry-3d_0.2.sh"
 . "sci-libs/star-3d_0.10.sh"
 . "sci-libs/star-enclosures-3d_0.7.2.sh"
@@ -43,5 +43,5 @@ else
   opt="${opt} DISTRIB_PARALLELISM=${DISTRIB_PARALLELISM}"
   git_repo
 
-  profile stardis.profile
+  profile profile
 fi