diff --git a/Lake/Build/Binary.lean b/Lake/Build/Binary.lean index b6a7d20f37..af3966b282 100644 --- a/Lake/Build/Binary.lean +++ b/Lake/Build/Binary.lean @@ -93,7 +93,7 @@ def Package.mkExeTarget (self : Package) (exe : LeanExeConfig) : FileTarget := let rootTarget := moduleTargetMap.find? exe.root |>.get! let rootLinkTarget := self.oFileTargetOf exe.root rootTarget #[rootLinkTarget] ++ pkgLinkTargets - let target := leanBinTarget exeFile linkTargets exe.moreLinkArgs + let target := leanBinTarget exeFile linkTargets exe.linkArgs target.materializeAsync protected def Package.exeTarget (self : Package) : FileTarget := diff --git a/examples/targets/test.sh b/examples/targets/test.sh index 8da3d31dbf..7cbc6d6bfa 100755 --- a/examples/targets/test.sh +++ b/examples/targets/test.sh @@ -1,17 +1,17 @@ set -e -if [ "$OS" = Windows_NT ]; then -SHARED_LIB_EXT=dll -elif [ `shell uname -s` = Darwin ]; then -SHARED_LIB_EXT=dylib -else -SHARED_LIB_EXT=so -fi - LAKE=${LAKE:-../../build/bin/lake} set -x +if [ "$OS" = Windows_NT ]; then +SHARED_LIB_EXT=dll +elif [ "`uname`" = Darwin ]; then +SHARED_LIB_EXT=dylib +else +SHARED_LIB_EXT=so +fi + ./clean.sh $LAKE build +Baz