6 Commits

Author	SHA1	Message	Date
Anderson Torres	8bf1bc692c	Merge pull request #110512 from neosimsim/agda-dont-install-Everything ... Agda don't install Everything module	2021-02-03 15:56:34 -03:00
Alexander Ben Nasrallah	226299e1a2	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-24 17:30:01 +01:00
Alexander Ben Nasrallah	67e43b7453	nixos/tests/agda: check execution of HelloWorld ... Test that the compiled executable actually runs.	2021-01-24 15:02:16 +01:00
Dominik Xaver Hörl	25bef2d8f9	treewide: simplify pkgs.stdenv.lib -> pkgs.lib ... The library does not depend on stdenv, that `stdenv` exposes `lib` is an artifact of the ancient origins of nixpkgs.	2021-01-10 20:12:06 +01:00
Manuel Bärenz	4336f9f7bb	tests/agda: Fix comment	2020-09-18 12:42:23 +02:00
Manuel Bärenz	b78a5a0e79	agda: Added test	2020-05-14 20:54:12 +01:00