Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
Nix
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748{ pkgs, ... }:
let hello-world = pkgs.writeText "hello-world" '' {-# OPTIONS --guardedness #-} open import IO open import Level
main = run {0ℓ} (putStrLn "Hello World!") '';in{ name = "agda"; meta = with pkgs.lib.maintainers; { maintainers = [ alexarice turion ]; };
nodes.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")
# Hello world machine.succeed( "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" '';}