max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: exe link args & targets test

Browse source
This commit is contained in:
tydeu 2022-06-07 21:27:41 -04:00
parent 18eef56322
commit 18b6bf3cf8
2 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Lake/Build/Binary.lean
View file

@ -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 :=

16
examples/targets/test.sh
View file

@ -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