From dd146d50cf2fdf002ab216cadff7a2cf46bdd855 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 23 Nov 2021 11:10:16 +0100 Subject: [PATCH] fix: extra linker flags (e.g. `-ldl`) must come after stdlib linker flags --- src/util/ffi.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/ffi.cpp b/src/util/ffi.cpp index d0ddcac197..923fe818c3 100644 --- a/src/util/ffi.cpp +++ b/src/util/ffi.cpp @@ -14,6 +14,6 @@ extern "C" object * lean_get_leanc_extra_flags(object *) { } extern "C" object * lean_get_linker_flags(uint8 link_static) { - return lean_mk_string(link_static ? "@LEAN_EXTRA_LINKER_FLAGS@ @LEANC_STATIC_LINKER_FLAGS@" : "@LEAN_EXTRA_LINKER_FLAGS@ @LEANC_SHARED_LINKER_FLAGS@"); + return lean_mk_string(link_static ? "@LEANC_STATIC_LINKER_FLAGS@ @LEAN_EXTRA_LINKER_FLAGS@" : "@LEANC_SHARED_LINKER_FLAGS@ @LEAN_EXTRA_LINKER_FLAGS@"); } }