fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard

Ch. 2.3: location of lake build outputs moved in 4.3.0

Open tmoux opened this issue 2 years ago • 1 comments

Please quote the text that is incorrect:

To build the package, run the command lake build. After a number of build commands scroll by, the resulting binary has been placed in build/bin. Running ./build/bin/greeting results in Hello, world!.

In what way is this incorrect?

Since 4.3.0, lake build by default puts all build outputs in the .lake/ directory, so the path to the executable should be .lake/build/bin/greeting. This can be confusing to people who run lake build and don't immediately see where the build folder is.

tmoux avatar Dec 22 '23 22:12 tmoux

You're right - the intro to the book states which version it follows, and it could use a bump soon, but not everyone will read that bit of the introduction.

Luckily for me, my past self set it up so these things mostly get tested during the build of the book text, but I'll double-check that this gets fixed on my next round of updates.

Thanks!

david-christiansen avatar Jan 24 '24 15:01 david-christiansen

This is updated in the latest release. Thanks!

david-christiansen avatar Apr 24 '25 14:04 david-christiansen