acl2 8.5 did not build

Excluding books that need Ipasir: [centaur/fgl/equivcheck-test.cert centaur/fgl/tests-ipasir.cert centaur/ipasir/ipasir-backend-extra.cert centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/ipasir/soundness-bug-fixed.cert centaur/ipasir/soundness-bug2-fixed.cert centaur/sv/tutorial/sums.cert workshops/2020/sumners/bake-models.cert workshops/2020/sumners/bake-proofs.cert workshops/2020/sumners/gen-models.cert workshops/2020/sumners/gl-fin-set.cert workshops/2020/sumners/top.cert] Excluding books that need SMTLINK: [projects/smtlink/examples/examples.cert projects/smtlink/examples/ringosc.cert workshops/2020/kwan-peng-greenstreet/abstract-cs.cert] Excluding books that need STP: [kestrel/axe/defthm-stp-tests.cert kestrel/axe/prove-with-stp-tests.cert kestrel/axe/query-tests.cert kestrel/axe/stp-clause-processor-tests.cert kestrel/axe/tactic-prover-tests.cert kestrel/axe/tests-top.cert kestrel/axe/x86/examples/popcount/popcount-32-proof.cert kestrel/axe/x86/examples/popcount/popcount-64-proof.cert kestrel/axe/x86/examples/popcount/top.cert kestrel/axe/x86/examples/top.cert] Excluding ACL2(r)-only books: [nonstd/arc-length/length-of-a-rectifiable-curve.cert nonstd/circles/area-of-a-circle/area-of-a-circle-1.cert nonstd/circles/area-of-a-circle/area-of-a-circle-2.cert nonstd/circles/circumference-of-a-circle.cert nonstd/fft/fft-trig-with-axioms.cert nonstd/fft/fft-trig.cert nonstd/integrals/continuous-function.cert nonstd/integrals/equivalence-continuous-function.cert nonstd/integrals/equivalence-ftc.cert nonstd/integrals/equivalence-integrals.cert nonstd/integrals/ftc-1.cert nonstd/integrals/ftc-2.cert nonstd/integrals/integrable-functions.cert nonstd/integrals/integral-of-polynomials.cert nonstd/integrals/integration-composition-equivalences.cert nonstd/integrals/integration-composition.cert nonstd/integrals/make-partition.cert nonstd/integrals/split-integral-by-subintervals.cert nonstd/integrals/u-substitution.cert nonstd/nsa/Banach-Tarski/banach-tarski-b-0.cert nonstd/nsa/Banach-Tarski/banach-tarski-s2.cert nonstd/nsa/Banach-Tarski/banach-tarski.cert nonstd/nsa/Banach-Tarski/countable-sets.cert nonstd/nsa/Banach-Tarski/free-group.cert nonstd/nsa/Banach-Tarski/groups.cert nonstd/nsa/Banach-Tarski/hausdorff-paradox-1.cert nonstd/nsa/Banach-Tarski/hausdorff-paradox-2.cert nonstd/nsa/Banach-Tarski/rotations.cert nonstd/nsa/Banach-Tarski/supportive-theorems.cert nonstd/nsa/alternating-series.cert nonstd/nsa/chain-rule.cert nonstd/nsa/complex-polar.cert nonstd/nsa/continuity-product.cert nonstd/nsa/continuity.cert nonstd/nsa/derivative-raise.cert nonstd/nsa/derivatives-composition.cert nonstd/nsa/derivatives.cert nonstd/nsa/equivalence-continuity.cert nonstd/nsa/equivalence-derivatives-composition.cert nonstd/nsa/equivalence-derivatives.cert nonstd/nsa/equivalence-limits.cert nonstd/nsa/exp-continuous.cert nonstd/nsa/exp-sum.cert nonstd/nsa/exp.cert nonstd/nsa/factorial.cert nonstd/nsa/intervals.cert nonstd/nsa/inverse-derivatives.cert nonstd/nsa/inverse-monotone.cert nonstd/nsa/inverse-square.cert nonstd/nsa/inverse-trig.cert nonstd/nsa/inverses.cert nonstd/nsa/ln.cert nonstd/nsa/next-integer.cert nonstd/nsa/norm.cert nonstd/nsa/nsa.cert nonstd/nsa/overspill-proof.cert nonstd/nsa/overspill-test.cert nonstd/nsa/overspill.cert nonstd/nsa/raise.cert nonstd/nsa/sine.cert nonstd/nsa/sqrt.cert nonstd/nsa/trig-approx.cert nonstd/nsa/trig.cert nonstd/polynomials/polynomial-calculus.cert nonstd/polynomials/polynomial-defuns.cert nonstd/polynomials/polynomial-lemmas.cert nonstd/transcendentals/nested-intervals-revised.cert nonstd/transcendentals/nested-intervals.cert nonstd/transcendentals/reals-are-uncountable-1.cert nonstd/transcendentals/reals-are-uncountable-2.cert nonstd/workshops/1999/analysis/continuity.cert nonstd/workshops/1999/analysis/derivatives.cert nonstd/workshops/1999/analysis/exercise1.cert nonstd/workshops/1999/analysis/exercise2.cert nonstd/workshops/1999/analysis/exercise3.cert nonstd/workshops/1999/analysis/exercise4.cert nonstd/workshops/1999/analysis/exercise5.cert nonstd/workshops/1999/

install failed

maxima 5.47.0 did not build

/bin/sh /private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/missing makeinfo \ --split-size=1000000 ./maxima.texi ./build_html.sh: abs_srcdir=/private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info, *** language=en, languagedir=/private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info, texiinitfile=/private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info/texi2html.init ./build_html.sh: execute category program: "/usr/local/opt/sbcl/bin/sbcl" --script make-categories.lisp + makeinfo --split=chapter --no-node-files --output=/private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info --html -c OUTPUT_ENCODING_NAME=UTF-8 -e 10000 --document-lang=en -I . -I /private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info -I ../.. --css-include=/private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info/manual.css -I /private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info/figures --init-file /private/tmp/maxima-20241003-27388-dp8evx/maxima-5.47.0/doc/info/texi2html.init --set-customization-variable HTML_MATH=mathjax maxima.texi ./build_html.sh: line 209: 30635 Bus error: 10 makeinfo $FORCE --split=chapter --no-node-files --output="$languagedestdir" $TEXIOPT maxima.texi + rc=138 + '[' 138 -ne 0 ']' + echo Failed to build multi-page html docs Failed to build multi-page html docs + exit 138 make[3]: *** [maxima_toc.html] Error 138 make[3]: *** Waiting for unfinished jobs.... include-maxima.texi:48: warning: redefining Texinfo language command: @var grobner.texi:471: warning: @noindent is useless inside of a paragraph grobner.texi:473: warning: @noindent is useless inside of a paragraph grobner.texi:475: warning: @noindent is useless inside of a paragraph grobner.texi:477: warning: @noindent is useless inside of a paragraph make[2]: *** [all-recursive] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all-recursive] Error 1 ==> Formula Path: /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/m/maxima.rb ==> Configuration HOMEBREW_VERSION: 4.4.0-30-g3994768 ORIGIN: https://github.com/Homebrew/brew HEAD: 39947683497c27bf6c7d6825ca0e8387613eb9d6 Last commit: 57 minutes ago Core tap HEAD: ee40ef93715126db1d6419704610f2ed5961cc07 Core tap last commit: 50 minutes ago Core tap JSON: 03 Oct 01:01 UTC Core cask tap JSON: 03 Oct 01:01 UTC HOMEBREW_PREFIX: /usr/local HOMEBREW_BOOTSNAP: set HOMEBREW_CACHE: /Users/brew/Library/Caches/Homebrew HOMEBREW_CASK_OPTS: [] 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/brew/actions-runner/_work/homebrew-core/homebrew-core/bottles/logs HOMEBREW_MAKE_JOBS: 6 HOMEBREW_NO_AUTO_UPDATE: set HOMEBREW_NO_EMOJI: set HOMEBREW_NO_ENV_HINTS: set HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: set HOMEBREW_NO_INSTALL_FROM_API: set HOMEBREW_SORBET_RUNTIME: set HOMEBREW_VERIFY_ATTESTATIONS: set Homebrew Ruby: 3.3.5 => /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/3.3.5/bin/ruby CPU: hexa-core 64-bit penryn Clang: 15.0.0 build 1500 Git: 2.39.3 => /usr/bin/git Curl: 8.4.0 => /usr/bin/curl macOS: 13.6.6-x86_64 CLT: 15.1.0.0.1.1700200546 Xcode: 15.2 ==> ENV HOMEBREW_CC: clang HOMEBREW_CXX: clang++ MAKEFLAGS: -j6 CMAKE_PREFIX_PATH: /usr/local/opt/readline:/usr/local/opt/sqlite:/usr/local/opt/icu4c:/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 CMAKE_FRAMEWORK_PATH: /usr/local/opt/[email protected]/Frameworks:/usr/local/opt/qt/Frameworks PKG_CONFIG_PATH: /usr/local/opt/libpng/lib/pkgconfig:/usr/local/opt/freetype/lib/pkgconfig:/usr/local/opt/fontconfig/lib/pkgconfig:/usr/local/opt/pcre2/lib/pkgconfig:/usr/local/opt/mpdecimal/lib/pkgconfig:/usr/local/opt/openssl@3/l

install failed

Process completed with exit code 1.

String '/usr/local/Cellar' still exists in these files:

2 bottle(s)

0 failed bottle(s)

1 list(s) of skipped formulae