diff options
Diffstat (limited to 'lang/spidermonkey128/files/patch-js_moz.configure')
| -rw-r--r-- | lang/spidermonkey128/files/patch-js_moz.configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/spidermonkey128/files/patch-js_moz.configure b/lang/spidermonkey128/files/patch-js_moz.configure new file mode 100644 index 000000000000..ceec1a21abe7 --- /dev/null +++ b/lang/spidermonkey128/files/patch-js_moz.configure @@ -0,0 +1,11 @@ +--- js/moz.configure.orig 2022-04-15 17:29:44 UTC ++++ js/moz.configure +@@ -919,7 +919,7 @@ has_readline = check_symbol( + + has_readline = check_symbol( + "readline", +- flags=["-lreadline"], ++ flags=["-lreadline", "-L%%LOCALBASE%%/lib"], + when="--enable-readline", + onerror=lambda: die("No system readline library found"), + ) |