diff options
author | Marc Coquand <marcc@fastmail.fr> | 2023-12-05 12:07:44 -0600 |
---|---|---|
committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-05 12:07:44 -0600 |
commit | 33a65de549b75867b9288963e27215b34ecc3832 (patch) | |
tree | edeee3dce651a3b31637f9e3e4105223d0273375 /flake.nix | |
parent | e457483f7b6f75c8cbddd562fac94dbcb4e629c0 (diff) | |
download | wormhole-33a65de549b75867b9288963e27215b34ecc3832.tar.gz wormhole-33a65de549b75867b9288963e27215b34ecc3832.tar.bz2 wormhole-33a65de549b75867b9288963e27215b34ecc3832.zip |
Update nix
Diffstat (limited to '')
-rw-r--r-- | flake.nix | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -20,8 +20,16 @@ materializedDefsToScope materializeOpamProject'; package = "wormhole"; + devPackagesQuery = { + ocaml-lsp-server = "*"; + ocamlformat = "*"; + # 1.9.6 fails to build + ocamlfind = "1.9.5"; + utop = "*"; + }; query = { ocaml-base-compiler = "*"; + ocamlformat = "*"; }; overlay = final: prev: { "${package}" = prev.${package}.overrideAttrs (_: { @@ -33,6 +41,7 @@ ]; }); }; + devBuildInputs = [ pkgs.ocamlPackages.ocamlformat ]; resolved-scope = let scope = buildOpamProject { } package ./. query; in scope.overrideScope' overlay; @@ -51,7 +60,7 @@ defaultPackage = packages.materialized.${package}; devShells.default = pkgs.mkShell { inputsFrom = [ defaultPackage ]; - buildInputs = []; + buildInputs = devBuildInputs; }; } ); |