math-comp on macOS 13.5 - Homebrew build logs

# math-comp - 2023-09-03_09-54-04.txt

Homebrew build logs for math-comp on macOS 13.5
Build date: 2023-09-03 09:54:04

00.config.out

HOMEBREW_VERSION: 4.1.7-43-ge7d0625-dirty
ORIGIN: https://github.com/Homebrew/brew
HEAD: e7d0625776dca58c81b03c19eeda1af8bd6bb58e
Last commit: 15 hours ago
Core tap origin: https://github.com/Homebrew/homebrew-core
Core tap HEAD: 48f4aad985c671005ea48e404b5793a1c1e0ecb8
Core tap last commit: 2 minutes ago
Core tap branch: bump-math-comp-2.0.0
HOMEBREW_PREFIX: /opt/homebrew
HOMEBREW_CASK_OPTS: []
HOMEBREW_DEVELOPER: set
HOMEBREW_EDITOR: vim
HOMEBREW_GITHUB_API_TOKEN: set
HOMEBREW_MAKE_JOBS: 10
HOMEBREW_NO_ANALYTICS: set
HOMEBREW_NO_AUTO_UPDATE: set
HOMEBREW_NO_INSTALL_FROM_API: set
HOMEBREW_SORBET_RUNTIME: set
Homebrew Ruby: 2.6.10 => /System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/bin/ruby
CPU: 10-core 64-bit arm_firestorm_icestorm
Clang: 14.0.3 build 1403
Git: 2.42.0 => /opt/homebrew/bin/git
Curl: 8.1.2 => /usr/bin/curl
macOS: 13.5.1-arm64
CLT: 14.3.1.0.1.1683849156
Xcode: 14.3.1
Rosetta 2: false

00.doctor.out

Please note that these warnings are just used to help the Homebrew maintainers
with debugging if you file an issue. If everything you use Homebrew for is
working fine: please don't worry or file an issue; just ignore this. Thanks!

Warning: Suspicious https://github.com/Homebrew/homebrew-core git origin remote found.
The current git origin is:
  git@github.com:Homebrew/homebrew-core.git

With a non-standard origin, Homebrew won't update properly.
You can solve this by setting the origin remote:
  git -C "/opt/homebrew/Library/Taps/homebrew/homebrew-core" remote set-url origin https://github.com/Homebrew/homebrew-core

Warning: Some installed kegs have no formulae!
This means they were either deleted or installed manually.
You should find replacements for the following formulae:
  dtf
  blush
  rvvm
  protobuf241
  buildcache
  camouflage
  cargo-vet
  crunchy-cli
  ocaml@4.14
  termtunnel
  dbcrossbar
  libemf
  polyrhythmix
  sish
  cross
  ktop
  kibi
  ketch
  magicbell-cli
  featurebase
  mrustc
  kubecolor
  falco
  slashbase
  lensm
  live-chart
  libjuice
  layerform
  otto
  stringsext
  polyclipping
  mox

Warning: You have unlinked kegs in your Cellar.
Leaving kegs unlinked can lead to build-trouble and cause formulae that depend on
those kegs to fail to run properly once built. Run `brew link` on these:
  gfold
  protobuf241
  pulseaudio
  rust-analyzer
  zmap
  fb-client
  rustfmt
  git-extras

Warning: You have uncommitted modifications to Homebrew/brew.
If this is a surprise to you, then you should stash these modifications.
Stashing returns Homebrew to a pristine state but can be undone
should you later need to do so for some reason.
  cd /opt/homebrew && git stash -u && git clean -d -f

Uncommitted files:
   D Library/Homebrew/test/support/fixtures/test.jpg

Warning: Some taps are not on the default git origin branch and may not receive
updates. If this is a surprise to you, check out the default branch with:
  git -C $(brew --repo homebrew/core) checkout master

Warning: /usr/bin occurs before /opt/homebrew/bin in your PATH.
This means that system-provided programs will be used instead of those
provided by Homebrew. Consider setting your PATH so that
/opt/homebrew/bin occurs before /usr/bin. Here is a one-liner:
  echo 'export PATH="/opt/homebrew/bin:$PATH"' >> /Users/rui/.bash_profile

The following tools exist at both paths:
  cpan
  rview
  vim
  instmodsh
  db_upgrade
  perlivp
  pp
  vi
  pod2usage
  corelist
  db_hotbackup
  demandoc
  git-receive-pack
  xmllint
  vimdiff
  libnetcfg
  python3
  xxd
  xsltproc
  encguess
  db_printlog
  db_archive
  pip3
  xslt-config
  pod2text
  bashbug
  mail
  irb
  ptardiff
  wish
  db_stat
  json_pp
  bsdtar
  perl
  ex
  perlbug
  db_load
  piconv
  ptargrep
  h2ph
  rake
  rvim
  vimtutor
  prove
  podchecker
  shasum
  bundle
  git-upload-archive
  xml2-config
  ri
  ptar
  dwarfdump
  pl2pm
  curl-config
  tclsh
  curl
  db_verify
  perlthanks
  patch
  xsubpp
  tidy
  streamzip
  perldoc
  mandoc
  view
  h2xs
  db_checkpoint
  pod2man
  enc2xs
  git-shell
  db_deadlock
  git-upload-pack
  erb
  openssl
  splain
  xmlcatalog
  pod2html
  tar
  rdoc
  db_recover
  zipinfo
  db_dump
  bundler
  ruby
  git
  zipdetails
  cpio
  gem

Warning: Homebrew's "bin" was not found in your PATH.
Consider setting your PATH for example like so:
  echo 'export PATH="/opt/homebrew/bin:$PATH"' >> /Users/rui/.bash_profile

Warning: Homebrew's "sbin" was not found in your PATH but you have installed
formulae that put executables in /opt/homebrew/sbin.
Consider setting your PATH for example like so:
  echo 'export PATH="/opt/homebrew/sbin:$PATH"' >> /Users/rui/.bash_profile

Warning: Some installed formulae are missing dependencies.
You should `brew install` the missing dependencies:
  brew install cgif libgsf libmatio libspng mozjpeg python-certifi python-cryptography python-markdown python-packaging python-typing-extensions vips

Run `brew missing` for more details.

00.options.out

math-comp

01.make

2023-09-03 13:54:03 +0000

make
Makefile.coq

/opt/homebrew/opt/coq/bin/coq_makefile  -f Make -o Makefile.coq

02.make

2023-09-03 13:54:04 +0000

make
-f
Makefile.coq
MAKEFLAGS=-j10

COQDEP VFILES
*** Warning: in file algebra/finalg.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/countalg.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/fraction.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/intdiv.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/interval.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/matrix.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/mxalgebra.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/mxpoly.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/poly.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/polyXY.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/rat.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/ring_quotient.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/ssralg.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/ssrint.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/ssrnum.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/vector.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file algebra/zmodp.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/character.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/classfun.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/inertia.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/integral_char.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/mxabelem.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/mxrepresentation.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file character/vcharacter.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/algC.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/algebraics_fundamentals.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/algnum.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/closed_field.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/falgebra.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/fieldext.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/finfield.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/galois.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file field/separable.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file fingroup/fingroup.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file fingroup/gproduct.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file fingroup/perm.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file fingroup/quotient.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/alt.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/burnside_app.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/cyclic.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/extremal.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/finmodule.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file solvable/jordanholder.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/bigop.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/binomial.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/choice.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/eqtype.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/finfun.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/finset.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/fintype.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/generic_quotient.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/order.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/seq.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/ssrAC.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/ssrnat.v, library structures is required from root HB and has not been found in the loadpath!
*** Warning: in file ssreflect/tuple.v, library structures is required from root HB and has not been found in the loadpath!
COQC ssreflect/ssrnotations.v
COQC ssreflect/ssreflect.v
COQC ssreflect/ssrmatching.v
COQC ssreflect/ssrfun.v
COQC ssreflect/ssrbool.v
COQC ssreflect/eqtype.v
File "./ssreflect/eqtype.v", line 3, characters 0-34:
Error: Cannot find a physical path bound to logical path
structures with prefix HB.

make[1]: *** [ssreflect/eqtype.vo] Error 1
make: *** [all] Error 2

HOMEBREW_VERSION: 4.1.7-43-ge7d0625-dirty
ORIGIN: https://github.com/Homebrew/brew
HEAD: e7d0625776dca58c81b03c19eeda1af8bd6bb58e
Last commit: 15 hours ago
Core tap origin: https://github.com/Homebrew/homebrew-core
Core tap HEAD: 48f4aad985c671005ea48e404b5793a1c1e0ecb8
Core tap last commit: 37 seconds ago
Core tap branch: bump-math-comp-2.0.0
HOMEBREW_PREFIX: /opt/homebrew
HOMEBREW_CASK_OPTS: []
HOMEBREW_DEVELOPER: set
HOMEBREW_EDITOR: vim
HOMEBREW_MAKE_JOBS: 10
HOMEBREW_NO_ANALYTICS: set
HOMEBREW_NO_AUTO_UPDATE: set
HOMEBREW_NO_BOOTSNAP: set
HOMEBREW_NO_INSTALL_FROM_API: set
HOMEBREW_SORBET_RUNTIME: set
Homebrew Ruby: 2.6.10 => /System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/bin/ruby
CPU: 10-core 64-bit arm_firestorm_icestorm
Clang: 14.0.3 build 1403
Git: 2.42.0 => /opt/homebrew/bin/git
Curl: 8.1.2 => /usr/bin/curl
macOS: 13.5.1-arm64
CLT: 14.3.1.0.1.1683849156
Xcode: 14.3.1
Rosetta 2: false

HOMEBREW_CC: clang
HOMEBREW_CXX: clang++
MAKEFLAGS: -j10
CMAKE_PREFIX_PATH: /opt/homebrew
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_PATH: /opt/homebrew/opt/gmp/lib/pkgconfig
PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/opt/homebrew/Library/Homebrew/os/mac/pkgconfig/13
HOMEBREW_GIT: git
HOMEBREW_SDKROOT: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk
ACLOCAL_PATH: /opt/homebrew/share/aclocal
PATH: /opt/homebrew/Library/Homebrew/shims/mac/super:/opt/homebrew/opt/ocaml/bin:/opt/homebrew/opt/ocaml-findlib/bin:/opt/homebrew/opt/coq/bin:/usr/bin:/bin:/usr/sbin:/sbin