summary refs log tree commit diff
path: root/nixos
diff options
context:
space:
mode:
authorAlexander Ben Nasrallah <me@abn.sh>2021-01-18 20:01:31 +0100
committerAlexander Ben Nasrallah <me@abn.sh>2021-01-24 17:30:01 +0100
commit226299e1a2e8dbc9ee8b10042182d8a1f47d7f16 (patch)
tree83dc1d3fb4e1bc6a5e9828fb4e649031942b0da8 /nixos
parentb929be75dcd605b4233bb69372e1c8b1d7449f47 (diff)
downloadnixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.gz
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.bz2
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.lz
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.xz
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.tar.zst
nixpkgs-226299e1a2e8dbc9ee8b10042182d8a1f47d7f16.zip
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.
Diffstat (limited to 'nixos')
-rw-r--r--nixos/tests/agda.nix7
1 files changed, 7 insertions, 0 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix
index bbdeb7395aa..61d99fe5050 100644
--- a/nixos/tests/agda.nix
+++ b/nixos/tests/agda.nix
@@ -23,6 +23,13 @@ in
   };
 
   testScript = ''
+    assert (
+        "${pkgs.agdaPackages.lib.interfaceFile "Everything.agda"}" == "Everything.agdai"
+    ), "wrong interface file for Everything.agda"
+    assert (
+        "${pkgs.agdaPackages.lib.interfaceFile "tmp/Everything.agda.md"}" == "tmp/Everything.agdai"
+    ), "wrong interface file for tmp/Everything.agda.md"
+
     # Minimal script that typechecks
     machine.succeed("touch TestEmpty.agda")
     machine.succeed("agda TestEmpty.agda")