colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
b5244c47aa
nixpkgs/pkgs/top-level/agda-packages.nix

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

40 lines
1.3 KiB
Nix
Raw Normal View History

agda: fix passthru The current `//` override to `agda.passthru.tests` is non-recursive so it destroys everything else under `passthru`, and furthermore does not go through `mkDerivation` so that we end up with different values for `agda.tests` and `agda.passthru.tests`. Fix it by moving the `allPackages` test to the definition of `withPackages`.
2023-02-12 13:44:16 +00:00
{ pkgs, lib, newScope, Agda }:
agda: rework builder
2019-12-29 12:14:16 +00:00
let
mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
mkAgdaPackages' = Agda: self: let
agda: fix passthru The current `//` override to `agda.passthru.tests` is non-recursive so it destroys everything else under `passthru`, and furthermore does not go through `mkDerivation` so that we end up with different values for `agda.tests` and `agda.passthru.tests`. Fix it by moving the `allPackages` test to the definition of `withPackages`.
2023-02-12 13:44:16 +00:00
inherit (self) callPackage;
agda: rework builder
2019-12-29 12:14:16 +00:00
inherit (callPackage ../build-support/agda {
inherit Agda self;
inherit (pkgs.haskellPackages) ghcWithPackages;
}) withPackages mkDerivation;
in {
inherit mkDerivation;
agdaPackages.mkDerivation: don't install Everything module The Everthing module is not part of a library and should therefore not be copied to the nix store. This is particularly bad, if the Everything module is defined in an agda library included directory, e.g. consider an agda-lib with include: . and Everything.agda in the project root (.), in which case the Everything module would become part of the library. If multiple such projects are in the dependency tree, the Everything module becomes ambiguous and the build would fail.
2021-01-18 19:01:31 +00:00
lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
agda: fix passthru The current `//` override to `agda.passthru.tests` is non-recursive so it destroys everything else under `passthru`, and furthermore does not go through `mkDerivation` so that we end up with different values for `agda.tests` and `agda.passthru.tests`. Fix it by moving the `allPackages` test to the definition of `withPackages`.
2023-02-12 13:44:16 +00:00
agda = withPackages [];
agda: rework builder
2019-12-29 12:14:16 +00:00
standard-library = callPackage ../development/libraries/agda/standard-library {
inherit (pkgs.haskellPackages) ghcWithPackages;
};
iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
agda-categories: init at 0.1
2019-12-29 17:22:00 +00:00
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
agdaPackages.cubical: init at 0.2 (#76994) Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
2020-05-19 17:20:35 +00:00
cubical = callPackage ../development/libraries/agda/cubical { };
agdaPackages.generic: init at v0.1
2020-08-10 09:02:57 +00:00
agda-packages: add fla library at v0.1 Adds the functional-linear-algebra library to the agda package set.
2020-10-14 02:30:20 +00:00
functional-linear-algebra = callPackage
../development/libraries/agda/functional-linear-algebra { };
agdaPackages.generic: init at v0.1
2020-08-10 09:02:57 +00:00
generic = callPackage ../development/libraries/agda/generic { };
agdaPackages.agdarsec: Init at 0.4.1
2020-10-12 18:00:06 +00:00
agdarsec = callPackage ../development/libraries/agda/agdarsec { };
agdaPackages._1lab: init at unstable-2023-03-07 https://github.com/plt-amy/1lab
2023-08-06 10:27:44 +00:00
_1lab = callPackage ../development/libraries/agda/1lab { };
agda: rework builder
2019-12-29 12:14:16 +00:00
};
in mkAgdaPackages Agda
Reference in New Issue Copy Permalink