feat: lake: GNU/BSD OS detection in test scripts (#3180)

fixes #3179
leanprover · Jan 14, 2024 · 42e6214 · 42e6214
1 parent 53af5ea
commit 42e6214
Show file tree

Hide file tree

Showing 9 changed files with 18 additions and 10 deletions.
diff --git a/src/lake/tests/buildArgs/test.sh b/src/lake/tests/buildArgs/test.sh
@@ -3,7 +3,8 @@ set -exo pipefail
 
 LAKE=${LAKE:-../../.lake/build/bin/lake}
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }

diff --git a/src/lake/tests/clone/test.sh b/src/lake/tests/clone/test.sh
@@ -3,7 +3,8 @@ set -exo pipefail
 
 LAKE=${LAKE:-../../../.lake/build/bin/lake}
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }

diff --git a/src/lake/tests/depTree/test.sh b/src/lake/tests/depTree/test.sh
@@ -3,7 +3,8 @@ set -exo pipefail
 
 LAKE=${LAKE:-$PWD/../../.lake/build/bin/lake}
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }

diff --git a/src/lake/tests/init/test.sh b/src/lake/tests/init/test.sh
@@ -3,7 +3,8 @@ set -euxo pipefail
 
 ./clean.sh
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }
@@ -79,7 +80,7 @@ $LAKE -d 123-hello exe 123-hello
 
 # Test creating packages with components that contain `.`s
 # https://github.com/leanprover/lean4/issues/2999
-  
+
 # this fails on windows for unrelated reasons
 if [ "$OSTYPE" != "msys" ]; then
   $LAKE new «A.B».«C.D»

diff --git a/src/lake/tests/lock/test.sh b/src/lake/tests/lock/test.sh
@@ -6,7 +6,8 @@ exit 0
 
 LAKE=${LAKE:-../../.lake/build/bin/lake}
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   TAIL=gtail
 else
   TAIL=tail

diff --git a/src/lake/tests/manifest/test.sh b/src/lake/tests/manifest/test.sh
@@ -3,7 +3,8 @@ set -exo pipefail
 
 LAKE=${LAKE:-../../.lake/build/bin/lake}
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }

diff --git a/src/lake/tests/serve/test.sh b/src/lake/tests/serve/test.sh
@@ -1,7 +1,8 @@
 #!/usr/bin/env bash
 set -euo pipefail
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   TAIL=gtail
 else
   TAIL=tail

diff --git a/src/lake/tests/toolchain/test.sh b/src/lake/tests/toolchain/test.sh
@@ -11,7 +11,8 @@ if ! command -v elan > /dev/null; then
    exit 0
 fi
 
-if [ "`uname`" = Darwin ]; then
+unamestr=`uname`
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
   sed_i() { sed -i '' "$@"; }
 else
   sed_i() { sed -i "$@"; }

diff --git a/tests/ir/lirc b/tests/ir/lirc
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
 unamestr=`uname`
-if [[ "$unamestr" == 'Darwin' ]]; then
+if [ "$unamestr" = Darwin ] || [ "$unamestr" = FreeBSD ]; then
     # OSX
     if command -v greadlink >/dev/null 2>&1; then
         # macOS readlink doesn't support -f option