Explicitly turn off guile support in built version of GNU make (#814)

2021-11-18 23:30:30 +00:00 · 2021-11-18 23:30:30 +00:00 · eaf1092368
parent 83ab86e632
commit eaf1092368
1 changed files with 1 additions and 1 deletions
--- a/foreign_cc/built_tools/make_build.bzl
+++ b/foreign_cc/built_tools/make_build.bzl
@ -30,7 +30,7 @@ def _make_tool_impl(ctx):
        ]
    else:
        script = [
-            "./configure --disable-dependency-tracking --prefix=$$INSTALLDIR$$",
+            "./configure --without-guile --with-guile=no --disable-dependency-tracking --prefix=$$INSTALLDIR$$",
            "./build.sh",
            "./make install",
        ]