diff options
| author | Anderson Torres <torres.anderson.85@protonmail.com> | 2021-02-03 15:55:37 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-03 15:55:37 -0300 |
| commit | a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c (patch) | |
| tree | abdeb578abbfa034a439a489ba3f4b9774bcd2ff /nixos | |
| parent | ca447081a843addc24981a8b8e3fbd4e09adeaf4 (diff) | |
| parent | 67e43b7453ec197e5045f64dc630b57a3160038f (diff) | |
| download | nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.gz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.bz2 nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.lz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.xz nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.tar.zst nixpkgs-a27a2c4b1598a1b98c8c14c262cee5ffc4c9c11c.zip | |
Merge pull request #110501 from neosimsim/agda-ghc-ieee754
agda.withPackages: use GHC with ieee754 as default
Diffstat (limited to 'nixos')
| -rw-r--r-- | nixos/tests/agda.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix index bbdeb7395aa..ccc6a9bbfd1 100644 --- a/nixos/tests/agda.nix +++ b/nixos/tests/agda.nix @@ -36,6 +36,10 @@ in "cp ${hello-world} HelloWorld.agda" ) machine.succeed("agda -l standard-library -i . -c HelloWorld.agda") + # Check execution + assert "Hello World!" in machine.succeed( + "./HelloWorld" + ), "HelloWorld does not run properly" ''; } ) |