tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-18 05:33:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
299763 commits 213 branches 129 tags 11 GiB
Commit graph

7 commits

Author SHA1 Message Date
Alex Rice c60bd18006
agda nixos test: fix hello world program 2021-03-17 22:01:59 +00:00
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