From d5e05f31e4a7cf5a84dfa456f9d579eb482495c2 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 6 Nov 2021 23:37:19 +0100 Subject: [PATCH] chore: compiler-dependent test flag --- tests/compiler/foreign/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/compiler/foreign/Makefile b/tests/compiler/foreign/Makefile index 69e18984c3..b606c43c70 100644 --- a/tests/compiler/foreign/Makefile +++ b/tests/compiler/foreign/Makefile @@ -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)