search

tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Flakifying Pirouette using haskell.nix #158

Closed gabrielhdt closed 1 year ago

gabrielhdt commented 1 year ago

Use haskell.nix to provide a proper build environment.

All content in nix/ and shell.nix may be deleted if we want to force the migration to flakes.

The flake may be tested using direnv (a .envrc is set up), or simply with

$ nix develop
$ cabal run

Profiling has not been tested yet.

facundominguez commented 1 year ago

Is there some learning material about flakes for those of us not yet enlightened?

Also, do the build instructions need to be updated in the README?

gabrielhdt commented 1 year ago

@facundominguez For flakes in general, I think the nixos manual is quite good https://nixos.org/manual/nix/stable/command-ref/new-cli/nix3-flake.html.

Indeed the build instructions ought to be updated.

gabrielhdt commented 1 year ago

The pull request #163 may be more consensual because the latter does not bring all haskell.nix stuff.

gabrielhdt commented 1 year ago

I'll close this PR in favour of #163.