lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

fix: make lean4 build on FreeBSD

Open yurivict opened this issue 1 year ago • 2 comments

Upstreaming patches from the FreeBSD port. The port compiles successfully on FreeBSD and all but 6 tests pass.

yurivict avatar Jan 14 '24 04:01 yurivict

Mathlib CI status (docs):

  • ❗ Mathlib CI will not be attempted unless your PR branches off the 'nightly-with-mathlib' branch. (2024-01-14 04:54:48)

leanprover-community-mathlib4-bot avatar Jan 14 '24 04:01 leanprover-community-mathlib4-bot

Please don't include the changes to stage0 in the PR (unless they are needed for subsequent changes, in which case they should be in their own commit. (See https://lean-lang.org/lean4/doc/dev/bootstrap.html#updating-stage0)

kim-em avatar Jan 14 '24 23:01 kim-em