commit 52822c90372f884911df8bb65d40e2a6f8e43388 · pyrox.dev/nixpkgs

+41 -43

nixos/tests/agda.nix

···

       1
       1
       -
       import ./make-test-python.nix (

     

       2
       2
       -
         { pkgs, ... }:

     

       1
       1
       +
       { pkgs, ... }:

     

       3
       2
        
       

     

       4
       4
       -
         let

     

       5
       5
       -
           hello-world = pkgs.writeText "hello-world" ''

     

       6
       6
       -
             {-# OPTIONS --guardedness #-}

     

       7
       7
       -
             open import IO

     

       8
       8
       -
             open import Level

     

       3
       3
       +
       let

     

       4
       4
       +
         hello-world = pkgs.writeText "hello-world" ''

     

       5
       5
       +
           {-# OPTIONS --guardedness #-}

     

       6
       6
       +
           open import IO

     

       7
       7
       +
           open import Level

     

       9
       8
        
       

     

       10
       10
       -
             main = run {0ℓ} (putStrLn "Hello World!")

     

       11
       11
       -
           '';

     

       12
       12
       -
         in

     

       13
       13
       -
         {

     

       14
       14
       -
           name = "agda";

     

       15
       15
       -
           meta = with pkgs.lib.maintainers; {

     

       16
       16
       -
             maintainers = [

     

       17
       17
       -
               alexarice

     

       18
       18
       -
               turion

     

       9
       9
       +
           main = run {0ℓ} (putStrLn "Hello World!")

     

       10
       10
       +
         '';

     

       11
       11
       +
       in

     

       12
       12
       +
       {

     

       13
       13
       +
         name = "agda";

     

       14
       14
       +
         meta = with pkgs.lib.maintainers; {

     

       15
       15
       +
           maintainers = [

     

       16
       16
       +
             alexarice

     

       17
       17
       +
             turion

     

       18
       18
       +
           ];

     

       19
       19
       +
         };

     

       20
       20
       +
       

     

       21
       21
       +
         nodes.machine =

     

       22
       22
       +
           { pkgs, ... }:

     

       23
       23
       +
           {

     

       24
       24
       +
             environment.systemPackages = [

     

       25
       25
       +
               (pkgs.agda.withPackages {

     

       26
       26
       +
                 pkgs = p: [ p.standard-library ];

     

       27
       27
       +
               })

     

       19
       28
        
             ];

     

       29
       29
       +
             virtualisation.memorySize = 2000; # Agda uses a lot of memory

     

       20
       30
        
           };

     

       21
       31
        
       

     

       22
       22
       -
           nodes.machine =

     

       23
       23
       -
             { pkgs, ... }:

     

       24
       24
       -
             {

     

       25
       25
       -
               environment.systemPackages = [

     

       26
       26
       -
                 (pkgs.agda.withPackages {

     

       27
       27
       -
                   pkgs = p: [ p.standard-library ];

     

       28
       28
       -
                 })

     

       29
       29
       -
               ];

     

       30
       30
       -
               virtualisation.memorySize = 2000; # Agda uses a lot of memory

     

       31
       31
       -
             };

     

       32
       32
       +
         testScript = ''

     

       33
       33
       +
           # Minimal script that typechecks

     

       34
       34
       +
           machine.succeed("touch TestEmpty.agda")

     

       35
       35
       +
           machine.succeed("agda TestEmpty.agda")

     

       32
       36
        
       

     

       33
       33
       -
           testScript = ''

     

       34
       34
       -
             # Minimal script that typechecks

     

       35
       35
       -
             machine.succeed("touch TestEmpty.agda")

     

       36
       36
       -
             machine.succeed("agda TestEmpty.agda")

     

       37
       37
       -
       

     

       38
       38
       -
             # Hello world

     

       39
       39
       -
             machine.succeed(

     

       40
       40
       -
                 "cp ${hello-world} HelloWorld.agda"

     

       41
       41
       -
             )

     

       42
       42
       -
             machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")

     

       43
       43
       -
             # Check execution

     

       44
       44
       -
             assert "Hello World!" in machine.succeed(

     

       45
       45
       -
                 "./HelloWorld"

     

       46
       46
       -
             ), "HelloWorld does not run properly"

     

       47
       47
       -
           '';

     

       48
       48
       -
         }

     

       49
       49
       -
       )

     

       37
       37
       +
           # Hello world

     

       38
       38
       +
           machine.succeed(

     

       39
       39
       +
               "cp ${hello-world} HelloWorld.agda"

     

       40
       40
       +
           )

     

       41
       41
       +
           machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")

     

       42
       42
       +
           # Check execution

     

       43
       43
       +
           assert "Hello World!" in machine.succeed(

     

       44
       44
       +
               "./HelloWorld"

     

       45
       45
       +
           ), "HelloWorld does not run properly"

     

       46
       46
       +
         '';

     

       47
       47
       +
       }

+1 -1

nixos/tests/all-tests.nix

···

       152
       152
        
         adguardhome = runTest ./adguardhome.nix;

     

       153
       153
        
         aesmd = runTestOn ["x86_64-linux"] ./aesmd.nix;

     

       154
       154
        
         agate = runTest ./web-servers/agate.nix;

     

       155
       155
       -
         agda = handleTest ./agda.nix {};

     

       155
       155
       +
         agda = runTest ./agda.nix;

     

       156
       156
        
         age-plugin-tpm-decrypt = runTest ./age-plugin-tpm-decrypt.nix;

     

       157
       157
        
         agorakit = runTest ./web-apps/agorakit.nix;

     

       158
       158
        
         airsonic = handleTest ./airsonic.nix {};