nixpkgs/pkgs/development/compilers/idris2/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

{ callPackage
, idris2Packages
}:

let
in {
  idris2 = callPackage ./idris2.nix { };

  buildIdris = callPackage ./build-idris.nix { };

  idris2Api = (idris2Packages.buildIdris {
    inherit (idris2Packages.idris2) src;
    projectName = "idris2api";
    idrisLibraries = [ ];
    preBuild = ''
      export IDRIS2_PREFIX=$out/lib
      make src/IdrisPaths.idr
    '';
  }).library;
}