search

leanprover / elan

The Lean version manager
Apache License 2.0
310 stars 35 forks source link

fix: do not set dynamic loader path #92

Closed Kha closed 1 year ago

Kha commented 1 year ago

Our binaries are properly linked

Fixes #90