Open algebravic opened 9 months ago
mpreiner
commented
9 months ago @algebravic can you post the full log file? It looks like the reason for the compilation error is not int he last 15 lines of /Users/victor.miller/Library/Logs/Homebrew/cvc5/05.make.
algebravic
commented
9 months ago Here it is
2024-02-16 01:23:40 +0000
make
install
[ 1%] Generating smt2_tokens.h
[ 1%] Generating theory_traits.h
[ 1%] Generating rewriter_tables.h
[ 1%] Generating type_enumerator.cpp
[ 1%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context.cpp.o
-- Found Git: /opt/homebrew/bin/git (found version "2.43.2")
[ 1%] Generating kind.h
[ 1%] Generating options/options.stamp
[ 1%] Generating rewrites.{h,cpp}
[ 1%] Creating directories for 'SymFPU-EP'
[ 1%] Creating directories for 'Poly-EP'
[ 1%] Generating Trace_tags.h
[ 1%] Built target gen-versioninfo
[ 1%] Built target gen-tokens
[ 1%] Performing download step (download, verify and extract) for 'SymFPU-EP'
[ 1%] Performing download step (download, verify and extract) for 'Poly-EP'
[ 1%] Building CXX object src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o
[ 1%] Generating metakind.h
[ 1%] Built target gen-options
[ 1%] Generating node_manager.h
[ 1%] Built target gen-rewrites
[ 2%] Generating type_checker.cpp
[ 2%] Built target gen-tags
[ 2%] Generating type_properties.h
[ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/check.cpp.o
[ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o
[ 2%] Built target cvc5context
[ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/exception.cpp.o
[ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/listener.cpp.o
[ 2%] Building CXX object src/base/CMakeFiles/cvc5base.dir/output.cpp.o
[ 3%] Building CXX object src/base/CMakeFiles/cvc5base.dir/versioninfo.cpp.o
[ 3%] Built target cvc5base
[ 3%] Generating kind.cpp
[ 3%] Generating type_properties.cpp
[ 3%] Built target gen-theory
-- SymFPU-EP download command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/SymFPU-EP-stamp/SymFPU-EP-download-*.log
[ 3%] No update step for 'SymFPU-EP'
[ 3%] No patch step for 'SymFPU-EP'
[ 3%] No configure step for 'SymFPU-EP'
[ 3%] No build step for 'SymFPU-EP'
[ 3%] Performing install step for 'SymFPU-EP'
[ 3%] Generating metakind.cpp
-- SymFPU-EP install command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/SymFPU-EP-stamp/SymFPU-EP-install-*.log
[ 3%] Generating node_manager.cpp
[ 4%] Completed 'SymFPU-EP'
[ 4%] Built target SymFPU-EP
-- Poly-EP download command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/Poly-EP-stamp/Poly-EP-download-*.log
[ 4%] No update step for 'Poly-EP'
[ 4%] Performing patch step for 'Poly-EP'
-- Poly-EP patch command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/Poly-EP-stamp/Poly-EP-patch-*.log
[ 4%] Performing configure step for 'Poly-EP'
-- Poly-EP configure command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/Poly-EP-stamp/Poly-EP-configure-*.log
[ 4%] Performing build step for 'Poly-EP'
-- Poly-EP build command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/Poly-EP-stamp/Poly-EP-build-*.log
[ 4%] Performing install step for 'Poly-EP'
-- Poly-EP install command succeeded. See also /tmp/cvc5-20240215-29703-1pa0wo/build/deps/src/Poly-EP-stamp/Poly-EP-install-*.log
[ 4%] Performing cleanup step for 'Poly-EP'
[ 5%] Completed 'Poly-EP'
[ 5%] Built target Poly-EP
[ 5%] Built target gen-expr
make[2]: *** read jobs pipe: Resource temporarily unavailable. Stop.
make[2]: *** Waiting for unfinished jobs....
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_state.cpp.o
make[2]: *** read jobs pipe: Resource temporarily unavailable. Stop.
make[2]: *** Waiting for unfinished jobs....
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/command_status.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o
[ 5%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parser_state.cpp.o
[ 6%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o
[ 6%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/lexer.cpp.o
[ 6%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o
[ 6%] Building CXX object src/CMakeFiles/cvc5-obj.dir/api/cpp/cvc5.cpp.o
make[1]: *** [src/parser/CMakeFiles/cvc5parser-objs.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
make[1]: *** [src/CMakeFiles/cvc5-obj.dir/all] Error 2
make: *** [all] Error 2
HOMEBREW_VERSION: 4.2.8
ORIGIN: https://github.com/Homebrew/brew
HEAD: eb7338abba43112e16e178d4329d5483d6d8fd6f
Last commit: 3 days ago
Core tap JSON: 16 Feb 01:21 UTC
Core cask tap JSON: 16 Feb 01:21 UTC
HOMEBREW_PREFIX: /opt/homebrew
HOMEBREW_BROWSER: open
HOMEBREW_CASK_OPTS: []
HOMEBREW_DISPLAY: /private/tmp/com.apple.launchd.GM8krWH1uY/org.xquartz:0
HOMEBREW_MAKE_JOBS: 12
HOMEBREW_NO_BOOTSNAP: set
Homebrew Ruby: 3.1.4 => /opt/homebrew/Library/Homebrew/vendor/portable-ruby/3.1.4/bin/ruby
CPU: dodeca-core 64-bit arm_blizzard_avalanche
Clang: 15.0.0 build 1500
Git: 2.43.2 => /opt/homebrew/bin/git
Curl: 8.4.0 => /usr/bin/curl
macOS: 14.3.1-arm64
CLT: 15.1.0.0.1.1700200546
Xcode: 15.2
Rosetta 2: false
HOMEBREW_CC: clang
HOMEBREW_CXX: clang++
MAKEFLAGS: -j12
CMAKE_PREFIX_PATH: /opt/homebrew
CMAKE_INCLUDE_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX14.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Headers
CMAKE_LIBRARY_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX14.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries
CMAKE_FRAMEWORK_PATH: /opt/homebrew/opt/python@3.11/Frameworks
PKG_CONFIG_PATH: /opt/homebrew/opt/python@3.11/lib/pkgconfig:/opt/homebrew/opt/gmp/lib/pkgconfig
PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/opt/homebrew/Library/Homebrew/os/mac/pkgconfig/14
HOMEBREW_GIT: git
HOMEBREW_SDKROOT: /Library/Developer/CommandLineTools/SDKs/MacOSX14.sdk
ACLOCAL_PATH: /opt/homebrew/share/aclocal
PATH: /opt/homebrew/Library/Homebrew/shims/mac/super:/opt/homebrew/opt/cmake/bin:/opt/homebrew/opt/python@3.11/bin:/opt/homebrew/opt/python@3.11/libexec/bin:/usr/bin:/bin:/usr/sbin:/sbin
daniel-larraz
commented
9 months ago Thank you for sharing the log.
The following line in the log seems to be the relevant one:
make[2]: *** read jobs pipe: Resource temporarily unavailable. Stop.Please try using a lower number of threads for the Homebrew build. You can do that as follows:
HOMEBREW_MAKE_JOBS=8 brew install cvc5If that does not work, please try to build with only one thread. Use HOMEBREW_MAKE_JOBS=1 in the command above to discard that the number of jobs is not the problem.
algebravic
commented
9 months ago HOMEBREW_MAKE_JOBS=8 gave the same problem. When I used only 1 job it worked, even though it took 11 minutes.
daniel-larraz
commented
9 months ago @algebravic. You said:
When I cloned the github source repository and configured it, I was able to build it successfully.
Did you use GNU Make to build cvc5 in that case? (GNU Make is the default option)
If so, what value did you use for N in make -jN?
Did you use the latest version of cvc5 available in the main branch?
If so, do you experience any problem if you use the latest release instead? (To do that, run git checkout cvc5-1.1.1 before configure.sh).
Thank you.
algebravic
commented
9 months ago I just typed make after typing configure
On Fri, Feb 16, 2024 at 15:23 Daniel Larraz @.***> wrote:
@algebravic https://github.com/algebravic. You said:
When I cloned the github source repository and configured it, I was able to build it successfully.
Did you use GNU Make to build cvc5 in that case? (GNU Make is the default option) If so, what value did you use for N in make -jN? Did you use the latest version of cvc5 available in the main branch? If so, do you experience any problem if you use the latest release instead? (To do that, run git checkout cvc5-1.1.1 before configure.sh).
Thank you.
— Reply to this email directly, view it on GitHub https://github.com/cvc5/homebrew-cvc5/issues/7#issuecomment-1949475157, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHBBJXD3GQTHV3JIFRYRM3YT7S6HAVCNFSM6AAAAABDLHVPUGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNBZGQ3TKMJVG4 . You are receiving this because you were mentioned.Message ID: @.***>
daniel-larraz
commented
8 months ago Then it looks like the error only occurs when multiple jobs are used to build cvc5. That matches.
We have been unable to reproduce the issue on our end. It's possible that the problem lies in the configuration of your system rather than in cvc5's build settings. To rule out the latter possibility, we would appreciate it if you could try building a cloned copy of the GitHub source repository using make -j4 and check if the issue persists (even without using Homebrew). Additionally, it would be helpful if you could try to build cvc5 using the Ninja build system. You can do this by installing Ninja on your system (brew install ninja), specifying the --ninja option when running configure.sh, and then executing ninja within the created build directory.
algebravic
commented
8 months ago I tried make -j4 and even make -j12 (since sysctl -n hw.ncpu
reports that I have 12 cores). Each built without a problem (I made
sure to nuke the build directory before doing them, and reran
configure.sh). Also ninja worked fine too.
On Thu, Feb 22, 2024 at 12:34 PM Daniel Larraz @.***> wrote:
Then it looks like the error only occurs when multiple jobs are used to build cvc5. That matches.
We have been unable to reproduce the issue on our end. It's possible that the problem lies in the configuration of your system rather than in cvc5's build settings. To rule out the latter possibility, we would appreciate it if you could try building a cloned copy of the GitHub source repository using make -j4 and check if the issue persists (even without using Homebrew). Additionally, it would be helpful if you could try to build cvc5 using the Ninja build system. You can do this by installing Ninja on your system (brew install ninja), specifying the --ninja option when running configure.sh, and then executing ninja within the created build directory.
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: @.***>
daniel-larraz
commented
8 months ago Thank you very much for checking this!
Since version 1.1.1, the one that is installed using the Homebrew tap, we fixed an issue related to the build dependencies. Could you please checkout v1.1.1 (git checkout cvc5-1.1.1) in your cloned copy, configure it using the default generator (GNU Make), and build it with make -j12?
algebravic
commented
8 months ago I checked out 1.1.1 and rebuilt it with make -j12. It all worked fine.
On Thu, Feb 22, 2024 at 1:17 PM Daniel Larraz @.***> wrote:
Thank you very much for checking this!
Since version 1.1.1, the one that is installed using the Homebrew tap, we fixed an issue https://github.com/cvc5/cvc5/pull/10374 related to the build dependencies. Could you please checkout v1.1.1 (git checkout cvc5-1.1.1) in your cloned copy, configure it using the default generator (GNU Make), and build it with make -j12?
— Reply to this email directly, view it on GitHub https://github.com/cvc5/homebrew-cvc5/issues/7#issuecomment-1960328267, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHBBJXSSOAP2G3CIB6UMYDYU6YWVAVCNFSM6AAAAABDLHVPUGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNRQGMZDQMRWG4 . You are receiving this because you were mentioned.Message ID: @.***>
daniel-larraz
commented
8 months ago @algebravic. We have published a new release of cvc5 (v1.1.2), and updated the Homebrew tap to use this new version. Could you please give it a try?
I'm on an arm64 mac running sonoma 14.3.1. When I try to do a homebrew install (after doing homebrew tap) the following happens:
When I cloned the github source repository and configured it, I was able to build it successfully.