From 652b1804a802707b21311bb4d6771ef6abad7edf Mon Sep 17 00:00:00 2001 From: Henry Ford Date: Wed, 22 Nov 2023 15:25:38 -0500 Subject: [PATCH] wscript: make libdl optional for systems that include it in libc --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index 83133321..0e3afb73 100644 --- a/wscript +++ b/wscript @@ -409,7 +409,7 @@ def configure(conf): for i in a: conf.check_cc(lib = i) else: - conf.check_cc(lib='dl') + conf.check_cc(lib='dl', mandatory = False) conf.check_cc(lib='m')