Finding leanshared.so

Stream: lean4

[Jad Ghalayini]

So I've been working on my Rust wrapper for lean.h, which is basically complete at this point, and now I need to write a functioning build.rs. Currently, I just point at the .elan in my home directory to find leanshared.so, which is no good. Does anyone know a good and portable way to find the appropriate leanshared.so to link to, assuming it's been installed by elan?

[Mac]

For given lean, libleanshared is located at:

$(lean --print-prefix)/lib/lean/libleanshared.<so|dylib>

on Unix (it is an so on Linux, and adylib on MacOS). On Windows, it is located at:

$(lean --print-prefix)/bin/libleanshared.dll

[Jad Ghalayini]

@Mac convenient. Ok I'll write it up as a script and probably publish the crate today after some testing and polish

[Jad Ghalayini]

Alright all done

[Jad Ghalayini]

Gonna write some tests and maybe clean up those bitfields, but other than that, anything else I should do before pushing gitlab.com/tekne/lean-sys to crates.io?

[Jad Ghalayini]

Other than ofc README, license, etc

[Jad Ghalayini]

Also update, version 0.0.1 is out: https://crates.io/crates/lean-sys