catala/flake.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

45 lines
1.3 KiB
Nix
Raw Normal View History

2022-05-30 15:58:25 +03:00
{
inputs = {
2023-02-20 20:01:44 +03:00
flake-utils.url = "github:numtide/flake-utils";
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
2022-05-30 15:58:25 +03:00
};
outputs = {nixpkgs, flake-utils, ...}:
let
systems = [ "x86_64-linux" ];
in flake-utils.lib.eachSystem systems (system:
let
pkgs = import nixpkgs { inherit system; };
ocamlPackages = pkgs.callPackage ./.nix/packages.nix {};
in
rec {
packages = {
catala = ocamlPackages.catala;
clerk = ocamlPackages.clerk;
2023-03-03 16:51:51 +03:00
french_law = ocamlPackages.french_law;
2022-05-30 15:58:25 +03:00
};
2023-04-14 15:36:28 +03:00
defaultPackage = packages.clerk;
2022-05-30 15:58:25 +03:00
devShell = pkgs.mkShell {
2023-04-14 15:36:28 +03:00
inputsFrom = [ packages.clerk packages.catala ];
2022-05-30 15:58:25 +03:00
buildInputs = [
pkgs.inotify-tools
ocamlPackages.merlin
2023-02-20 17:59:40 +03:00
pkgs.ocamlformat_0_21_0
2022-05-30 15:58:25 +03:00
ocamlPackages.ocp-indent
ocamlPackages.utop
2023-02-20 17:59:40 +03:00
ocamlPackages.odoc
2022-05-30 15:58:25 +03:00
ocamlPackages.ocaml-lsp
2023-02-20 17:59:40 +03:00
pkgs.groff
pkgs.obelisk
2023-02-20 20:01:44 +03:00
pkgs.ninja
2023-02-15 13:19:01 +03:00
pkgs.colordiff
pkgs.pandoc
pkgs.python3.pkgs.pygments
pkgs.nodejs
pkgs.nodePackages.npm
2022-05-30 15:58:25 +03:00
];
};
}
);
}