diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2020-04-19 20:01:37 +0200 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:12 +0100 |
commit | b78a5a0e79808550e450d8c5aba142309fe15fa3 (patch) | |
tree | c789fef8d998b1d7ae9fcc88bf646a1f14a6e246 /nixos/tests/agda.nix | |
parent | 11750651110696c4da6357adeea62d452ef6837c (diff) |
agda: Added test
Diffstat (limited to 'nixos/tests/agda.nix')
-rw-r--r-- | nixos/tests/agda.nix | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix new file mode 100644 index 0000000000000..e158999e57d15 --- /dev/null +++ b/nixos/tests/agda.nix @@ -0,0 +1,41 @@ +import ./make-test-python.nix ({ pkgs, ... }: + +let + hello-world = pkgs.writeText "hello-world" '' + open import IO + + main = run(putStrLn "Hello World!") + ''; +in +{ + name = "agda"; + meta = with pkgs.stdenv.lib.maintainers; { + maintainers = [ alexarice turion ]; + }; + + machine = { pkgs, ... }: { + environment.systemPackages = [ + (pkgs.agda.withPackages { + pkgs = p: [ p.standard-library ]; + }) + ]; + virtualisation.memorySize = 2000; # Agda uses a lot of memory + }; + + testScript = '' + # Minimal script that typechecks + machine.succeed("touch TestEmpty.agda") + machine.succeed("agda TestEmpty.agda") + + # Minimal script that actually uses the standard library + machine.succeed('echo "import IO" > TestIO.agda') + machine.succeed("agda -l standard-library -i . TestIO.agda") + + # # Hello world + machine.succeed( + "cp ${hello-world} HelloWorld.agda" + ) + machine.succeed("agda -l standard-library -i . -c HelloWorld.agda") + ''; +} +) |