Open pyrocto opened 4 years ago
brew install cvc4/cvc4/cvc4 --HEAD
works, though.
@pyrocto Sorry for the late reply. I have now updated the formula to build CVC4 1.7 by default. Does this work for you?
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.
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; }
I typed
brew install cvc4/cvc4/cvc4 --HEAD --with-gpl --with-readline
on OS X 10.13 and installation failed with this log: