From bb5c866caa697a59282188681b1285c231247547 Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Fri, 9 Apr 2021 10:57:27 +0100 Subject: [PATCH] Add readline to CONFIGFLAGS for macOS CI MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Homebrew (currently) installs the readline stuff into /usr/local/opt/readline – GAP does not know about this directory by default, and hence it was being compiled without readline. By adding this directory to CONFIGFLAGS, GAP compiles and starts with readline. --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 1fb9cd6d140..11b60459b27 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -86,7 +86,7 @@ jobs: - os: macos-latest test-suites: "docomp testinstall" - extra: "BOOTSTRAP_MINIMAL=yes" + extra: "BOOTSTRAP_MINIMAL=yes CONFIGFLAGS=\"--enable-debug --with-readline=/usr/local/opt/readline\"" # test creating the manual # TODO: make the resulting HTML and PDF files available as build