commit: 4dfbe486d1a1956139c2f03f2f3d19db4a70797d

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Mar 09 15:29:54 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Mar 09 15:29:54 2024 -0800
tree: c1903acb75a24c81b51b083290d52e41c1d4e21a
parent: 45fccc590622bc9e5a328cb11b734087d10fa49b [diff]

chore: disable some tests on Windows

This is a temporary workaround for a limitation on Windows shared
libraries. We are getting errors of the form:
```
ld.lld: error: too many exported symbols (got 65572, max 65535)
```

src/shell/CMakeLists.txt[diff]

1 file changed

tree: c1903acb75a24c81b51b083290d52e41c1d4e21a

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.