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

chore: compiler-dependent test flag

Browse source
This commit is contained in:
Sebastian Ullrich 2021-11-06 23:37:19 +01:00
parent 177d45a752
commit d5e05f31e4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/compiler/foreign/Makefile
View file

@ -18,7 +18,7 @@ ifeq ($(OS),Windows_NT)
export PATH := $(BIN_OUT):$(PATH)
else
# find libleanshared.so
TEST_SHARED_LINK_FLAGS := -rpath `lean --print-prefix`/lib/lean
TEST_SHARED_LINK_FLAGS := -Wl,-rpath,`lean --print-prefix`/lib/lean
endif
$(BIN_OUT)/testcpp.so: $(CPP_OBJS) | $(BIN_OUT)