diff options
Diffstat (limited to 'pkgs/development/compilers/idris2/default.nix')
-rw-r--r-- | pkgs/development/compilers/idris2/default.nix | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix deleted file mode 100644 index 79a90cbee0f3..000000000000 --- a/pkgs/development/compilers/idris2/default.nix +++ /dev/null @@ -1,21 +0,0 @@ -{ callPackage -, idris2Packages -}: - -let -in { - idris2 = callPackage ./idris2.nix { }; - idris2Lsp = callPackage ./idris2-lsp.nix { }; - - buildIdris = callPackage ./build-idris.nix { }; - - idris2Api = (idris2Packages.buildIdris { - inherit (idris2Packages.idris2) src version; - ipkgName = "idris2api"; - idrisLibraries = [ ]; - preBuild = '' - export IDRIS2_PREFIX=$out/lib - make src/IdrisPaths.idr - ''; - }).library; -} |