Updating example Lean FFI project to latest lean

Stream: general

[Srayan Jana]

Hello!
I'm currently attempting to get this repository to compile properly
https://github.com/DSLstandard/Lean4-FFI-Programming-Tutorial-GLFW
I'm not the original author, but I'm interesting in learning how Lean's FFI works. However, I'm running into a lot of weird jank. I can't tell if the information in the repo is now outdated or if my setup is just weird. Any ideas?

[Kim Morrison]

That fact that the toolchain is set to stable is a bad sign. You'll have to step through versions to try to find one that works. If you find one, I recommend then upgrading one at a time.

[Kim Morrison]

Can I recommend setting up CI as the very first step? :-)

(If you just run lake new somewhere else, the default template will show you how to do a basic CI setup for Lean.)

[Srayan Jana]

Gotcha

[Srayan Jana]

Ah okay the latest commit to the repo fixed the issue, but thanks anyways!