commit 3c8603e0899b53fd302b9b245e021e80ea72c88e
parent df7b00ffc7a0f326dea752018a5fe4e908cbda08
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 3 May 2024 11:09:35 +0200
Add the build script of gmsh 4.12.2
Diffstat:
2 files changed, 28 insertions(+), 0 deletions(-)
diff --git a/lint.mk b/lint.mk
@@ -20,6 +20,7 @@ lint:
shellcheck -o all -x -P src src/aw_2.1.sh
shellcheck -o all -x -P src src/build.sh
shellcheck -o all -x -P src src/embree_4.0.1.sh
+ shellcheck -o all -x -P src src/gmsh_4.12.2.sh
shellcheck -o all -x -P src src/htcp_0.1.sh
shellcheck -o all -x -P src src/htgop_0.2.sh
shellcheck -o all -x -P src src/htmie_0.1.sh
diff --git a/src/gmsh_4.12.2.sh b/src/gmsh_4.12.2.sh
@@ -0,0 +1,27 @@
+#!/bin/sh
+
+# Copyright (C) 2023, 2024 |Méso|Star> (contact@meso-star.com)
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+set -e
+
+[ -n "${GMSH_SH}" ] && return
+export GMSH_SH=1
+
+. "build.sh"
+
+name="gmsh"
+url="$\(REPO_BIN\)/gmsh_4.12.2_gnu_linux64.tgz"
+bin_spkg