==> ./configure -prefix /usr/local/Cellar/compcert/3.15 x86_64-macosx -ignore-coq-version -clightgen Testing assembler support for CFI directives... yes Testing Coq... version 8.20.1 -- UNSUPPORTED Warning: this version of Coq is unsupported, proceed at your own risks. Testing OCaml... version 5.2.1 -- UNSUPPORTED Error: make sure OCaml version 4.05 to 4.14 is installed. Testing OCaml native-code compiler... yes Testing OCaml .opt compilers... yes Testing Menhir... version 20240715 -- good! Testing GNU make... version 3.81 (command 'make') -- good! One or several required tools are missing or too old. Aborting. ==> Formula Tap: paperchalice/private Path: /usr/local/Homebrew/Library/Taps/paperchalice/homebrew-private/Formula/compcert.rb ==> Configuration HOMEBREW_VERSION: 4.4.26-154-g1a3cbca ORIGIN: https://github.com/Homebrew/brew HEAD: 1a3cbca1daecfe68bdde712433e73ce24e9d8aa5 Last commit: 64 seconds ago Branch: ma Core tap HEAD: 00b9a17201654a83168708a7c066849e22c1f0d5 Core tap last commit: 5 days ago Core tap JSON: 29 Mar 11:52 UTC Core cask tap HEAD: 160a34f6526aba164598c511f189c05b9b5aed5b Core cask tap last commit: 5 days ago Core cask tap JSON: 29 Mar 11:52 UTC HOMEBREW_PREFIX: /usr/local HOMEBREW_BOOTSNAP: set HOMEBREW_CACHE: /Users/runner/Library/Caches/Homebrew HOMEBREW_CASK_OPTS: ["--no-quarantine"] HOMEBREW_COLOR: set HOMEBREW_CURL_PATH: /usr/bin/curl HOMEBREW_FAIL_LOG_LINES: 150 HOMEBREW_GITHUB_API_TOKEN: set HOMEBREW_GIT_EMAIL: [email protected] HOMEBREW_GIT_NAME: BrewTestBot HOMEBREW_GIT_PATH: /usr/bin/git HOMEBREW_LOGS: /Users/runner/work/homebrew-private/homebrew-private/logs HOMEBREW_MAKE_JOBS: 4 HOMEBREW_NO_AUTO_UPDATE: set HOMEBREW_NO_EMOJI: set HOMEBREW_NO_ENV_HINTS: set HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: set HOMEBREW_NO_INSTALL_CLEANUP: set HOMEBREW_SORBET_RUNTIME: set HOMEBREW_TEMP: /Users/runner/work/homebrew-private/build_farm Homebrew Ruby: 3.3.7 => /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.3.7/bin/ruby CPU: quad-core 64-bit ivybridge Clang: 15.0.0 build 1500 Git: 2.39.3 => /usr/bin/git Curl: 8.7.1 => /usr/bin/curl macOS: 13.7.4-x86_64 CLT: 14.3.1.0.1.1683849156 Xcode: 15.2 => /Applications/Xcode_15.2.app/Contents/Developer ==> ENV HOMEBREW_CC: clang HOMEBREW_CXX: clang++ MAKEFLAGS: -j4 CMAKE_PREFIX_PATH: /usr/local CMAKE_INCLUDE_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Headers CMAKE_LIBRARY_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/usr/local/Homebrew/Library/Homebrew/os/mac/pkgconfig/13 HOMEBREW_MAKE_JOBS: 4 HOMEBREW_GIT: /usr/bin/git HOMEBREW_SDKROOT: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk ACLOCAL_PATH: /usr/local/share/aclocal PATH: /usr/local/Homebrew/Library/Homebrew/shims/mac/super:/usr/local/opt/coq/bin:/usr/local/opt/menhir/bin:/usr/local/opt/ocaml/bin:/usr/bin:/bin:/usr/sbin:/sbin Logs: /Users/runner/work/homebrew-private/homebrew-private/logs/compcert/00.options.out /Users/runner/work/homebrew-private/homebrew-private/logs/compcert/01.configure /Users/runner/work/homebrew-private/homebrew-private/logs/compcert/01.configure.cc If reporting this issue please do so at (not Homebrew/brew or Homebrew/homebrew-core): https://github.com/paperchalice/homebrew-private/issues ::error::paperchalice/private/compcert 3.15 did not build These open issues may also help: CompCert 3.15 https://github.com/paperchalice/homebrew-private/issues/636