Homebrew installation fails on OS X 10.13

I typed brew install cvc4/cvc4/cvc4 --HEAD --with-gpl --with-readline on OS X 10.13 and installation failed with this log:

2019-10-01 11:12:05 -0600

make
install

make: *** No rule to make target `install'.  Stop.

HOMEBREW_VERSION: 2.1.11
ORIGIN: https://github.com/Homebrew/brew
HEAD: 37714b5ce1e4909d4d61de2af98343c7012f7cd9
Last commit: 5 weeks ago
Core tap ORIGIN: https://github.com/Homebrew/homebrew-core
Core tap HEAD: 10e55c5a788bce90785a7088f98ec9e67ef932b0
Core tap last commit: 29 minutes ago
HOMEBREW_PREFIX: /usr/local
HOMEBREW_CACHE: /Users/stay/Library/Caches/Homebrew
HOMEBREW_LOGS: /Users/stay/Library/Logs/Homebrew
CPU: octa-core 64-bit kabylake
Homebrew Ruby: 2.3.7 => /System/Library/Frameworks/Ruby.framework/Versions/2.3/usr/bin/ruby
Clang: 10.0 build 1000
Git: 2.17.2 => /Applications/Xcode.app/Contents/Developer/usr/bin/git
Curl: 7.54.0 => /usr/bin/curl
Java: 10.0.1
macOS: 10.13.6-x86_64
CLT: 10.1.0.0.1.1539992718
Xcode: 10.1
XQuartz: 2.7.11 => /opt/X11

HOMEBREW_CC: clang
HOMEBREW_CXX: clang++
MAKEFLAGS: -j8
CMAKE_PREFIX_PATH: /usr/local/opt/readline:/usr/local/opt/icu4c:/usr/local/opt/openssl@1.1:/usr/local/opt/sqlite:/usr/local
CMAKE_INCLUDE_PATH: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk/usr/include/libxml2:/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Headers
CMAKE_LIBRARY_PATH: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries
CMAKE_FRAMEWORK_PATH: /usr/local/opt/python/Frameworks
PKG_CONFIG_PATH: /usr/local/opt/python/lib/pkgconfig:/usr/local/opt/readline/lib/pkgconfig:/usr/local/opt/pcre/lib/pkgconfig:/usr/local/opt/icu4c/lib/pkgconfig:/usr/local/opt/openssl@1.1/lib/pkgconfig:/usr/local/opt/sqlite/lib/pkgconfig:/usr/local/opt/xz/lib/pkgconfig
PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/usr/local/Homebrew/Library/Homebrew/os/mac/pkgconfig/10.13
HOMEBREW_GIT: git
HOMEBREW_SDKROOT: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.14.sdk
ACLOCAL_PATH: /usr/local/share/aclocal
PATH: /usr/local/Homebrew/Library/Homebrew/shims/mac/super:/usr/local/opt/coreutils/bin:/usr/local/opt/cmake/bin:/usr/local/opt/python/bin:/usr/local/opt/pcre/bin:/usr/local/opt/swig/bin:/usr/local/opt/icu4c/bin:/usr/local/opt/gdbm/bin:/usr/local/opt/openssl@1.1/bin:/usr/local/opt/sqlite/bin:/usr/local/opt/xz/bin:/usr/local/opt/cryptominisat/bin:/usr/bin:/bin:/usr/sbin:/sbin

brew install cvc4/cvc4/cvc4 --HEAD works, though.

[4tXJ7f]

@pyrocto Sorry for the late reply. I have now updated the formula to build CVC4 1.7 by default. Does this work for you?

[mgree]

I had this same problem on macOS 10.13.6.

==> Installing cvc4/cvc4/cvc4 --with-gpl --with-readline
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/usr/local/Cellar/cvc4/1.7 --symfpu --cryptominisat --python3 --gpl --readline
==> make install
Last 15 lines from /Users/mgree/Library/Logs/Homebrew/cvc4/04.make:
2020-05-21 12:42:09 -0700

make
install

make: *** No rule to make target `install'.  Stop.

I tried again with --HEAD and found:

==> Installing cvc4 from cvc4/cvc4
==> Downloading https://files.pythonhosted.org/packages/b1/72/2d70c5a1de409ceb3a27ff2ec007ecdd5cc52239e7c74990e32af57affe9/virtualenv-15.2.0.tar.gz
Already downloaded: /Users/mgree/Library/Caches/Homebrew/downloads/e390edd594d1668ad899868951573cc02842e8f82003ec75bd388377d3a3f373--virtualenv-15.2.0.tar.gz
==> Downloading https://files.pythonhosted.org/packages/b9/19/5cbd78eac8b1783671c40e34bb0fa83133a06d340a38b55c645076d40094/toml-0.10.0.tar.gz
######################################################################## 100.0%
==> Cloning https://github.com/CVC4/CVC4.git
Cloning into '/Users/mgree/Library/Caches/Homebrew/cvc4--git'...
==> Checking out branch master
Already on 'master'
Your branch is up to date with 'origin/master'.
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> python3 -c import setuptools... --no-user-cfg install --prefix=/private/tmp/cvc4--homebrew-virtualenv-20200521-59653-np0bb/target --install-scripts=/private/tmp/cvc4--homebrew-virtualenv-20200521-59653-np0
==> python3 -s /private/tmp/cvc4--homebrew-virtualenv-20200521-59653-np0bb/target/bin/virtualenv -p python3 /private/tmp/cvc4-20200521-59653-s8yavg/venv
==> /private/tmp/cvc4-20200521-59653-s8yavg/venv/bin/pip install -v --no-deps --no-binary :all: --ignore-installed /private/tmp/cvc4--toml-20200521-59653-8xfyly/toml-0.10.0
==> bash -c source /private/tmp/cvc4-20200521-59653-s8yavg/venv/bin/activate && ./configure.sh --prefix\=/usr/local/Cellar/cvc4/HEAD-2c78f3b --symfpu --cryptominisat --gpl --readline
Last 15 lines from /Users/mgree/Library/Logs/Homebrew/cvc4/06.bash:
-- Looking for pthread.h - found
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- Found Threads: TRUE  
-- Found CryptoMiniSat: /usr/local/include  
-- Found CryptoMiniSat libs: /usr/local/lib/libcryptominisat5.dylib
CMake Error at cmake/FindReadline.cmake:38 (message):
  Could not link against readline.  Check CMakeError.log for more details
Call Stack (most recent call first):
  CMakeLists.txt:494 (find_package)

I already have readline 8.0.4 installed (?). Running without any flags worked fine.

[pathawks]

Same issue, Mac OS 10.15.5

==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/usr/local/Cellar/cvc4/1.7 --symfpu --cryptominisat --py
==> make install
Last 15 lines from /Users/hawks/Library/Logs/Homebrew/cvc4/04.make:
2020-05-30 12:55:53 -0500

make
install

make: *** No rule to make target `install'.  Stop.

If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
  https://github.com/cvc4/homebrew-cvc4/issues

Performing C++ SOURCE FILE Test OK failed with the following output:
Change Dir: /tmp/cvc4-20200530-66636-g5xgvs/CVC4-1.7/build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/local/Homebrew/Library/Homebrew/shims/mac/super/gmake cmTC_9e7a3/fast && /Applications/Xcode.app/Contents/Developer/usr/bin/make  -f CMakeFiles/cmTC_9e7a3.dir/build.make CMakeFiles/cmTC_9e7a3.dir/build
Building CXX object CMakeFiles/cmTC_9e7a3.dir/src.cxx.o
/usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++    -O3 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wno-class-memaccess -DOK -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk   -o CMakeFiles/cmTC_9e7a3.dir/src.cxx.o -c /tmp/cvc4-20200530-66636-g5xgvs/CVC4-1.7/build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_9e7a3
/usr/local/Cellar/cmake/3.17.3/bin/cmake -E cmake_link_script CMakeFiles/cmTC_9e7a3.dir/link.txt --verbose=1
/usr/local/Homebrew/Library/Homebrew/shims/mac/super/clang++  -O3 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wno-class-memaccess -DOK -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk -Wl,-search_paths_first -Wl,-headerpad_max_install_names -L/usr/local/opt/readline/lib  CMakeFiles/cmTC_9e7a3.dir/src.cxx.o  -o cmTC_9e7a3 
Undefined symbols for architecture x86_64:
  "_readline", referenced from:
      _main in src.cxx.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[1]: *** [cmTC_9e7a3] Error 1
make: *** [cmTC_9e7a3/fast] Error 2


Source file was:

    #include <stdio.h>
    #include <readline/readline.h>
    int main() { readline(""); return 0; }