Conversation

Made overly elaborate example of a ‘Hello World’ package with Nix flakes, OCaml, and Dune: github.com/brendanzab/oca Disclaimer: I'm a beginner at Nix and I've never really used OCaml or Dune before so if you know these, please tell me if I am doing anything silly. 🥴

github.com

GitHub - brendanzab/ocaml-flake-example: An overly elaborate example of building a ‘Hello World’...

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune - GitHub - brendanzab/ocaml-flake-example: An overly elaborate example of building a ‘Hello World’ p...

Interesting, how does the dune promote step locate the test results (that I assume nix flake test (should that read `check`?) put somewhere in the Nix store)?

Brendan Zabarauskas

@brendanzab

Replying to

@derKha

You need to run `dune promote` in an impure dev shell, which means it will build the stuff separately, alas. Not sure if it's possible to package that up nicer. Oh yeah, that's a typo, should be `nix flake check`!

1:02 PM · Dec 30, 2021Twitter Web App

Replying to

and

Updated the wording, with a link to the dune docs regarding "promotion". It's pretty nifty this stuff comes bundled with dune - I've had to do a bunch of work to set this up for Rust in the past. But yeah kind of goes against the isolation that nix affords, perhaps?

Yeah, sometimes one has to get "creative" to adapt impure workflows. See the very end of leanprover.github.io/lean4/doc/dev/ for how I do it with Lean, it's not ~too~ bad.