From 7fefa8660ecc9a5bc98823b4b3867a1cbd6ee31f Mon Sep 17 00:00:00 2001 From: Mac Malone Date: Mon, 31 Mar 2025 23:10:54 -0400 Subject: [PATCH] chore: lake: rm excess `-lstdcpp` from FFI example (#7758) This PR removes the `-lstdcpp` extra link argument from the FFI example. It is not actually necessary. --- src/lake/examples/ffi/lib/lakefile.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lake/examples/ffi/lib/lakefile.lean b/src/lake/examples/ffi/lib/lakefile.lean index 2e21d6b7d5..62199f2b7a 100644 --- a/src/lake/examples/ffi/lib/lakefile.lean +++ b/src/lake/examples/ffi/lib/lakefile.lean @@ -50,4 +50,3 @@ target libleanffi_shared pkg : Dynlib := do lean_lib FFI.Shared where moreLinkLibs := #[libleanffi_shared] - moreLinkArgs := #["-lstdc++"]