commit 31ac1380013356a9985ab2b634f8c60f4eff88ea · pyrox.dev/nixpkgs

+39

pkgs/development/coq-modules/coq-tactical/default.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         coq,

     

       3
       3
       +
         lib,

     

       4
       4
       +
         mkCoqDerivation,

     

       5
       5
       +
         version ? null,

     

       6
       6
       +
       }:

     

       7
       7
       +
       

     

       8
       8
       +
       mkCoqDerivation {

     

       9
       9
       +
         pname = "coq-tactical";

     

       10
       10
       +
         owner = "tchajed";

     

       11
       11
       +
       

     

       12
       12
       +
         inherit version;

     

       13
       13
       +
         displayVersion.coq-tactical = v: "unstable-${v}";

     

       14
       14
       +
         defaultVersion =

     

       15
       15
       +
           with lib.versions;

     

       16
       16
       +
           lib.switch coq.version [

     

       17
       17
       +
             {

     

       18
       18
       +
               case = range "8.11" "8.20";

     

       19
       19
       +
               out = "2022-02-15";

     

       20
       20
       +
             }

     

       21
       21
       +
           ] null;

     

       22
       22
       +
       

     

       23
       23
       +
         release."2022-02-15" = {

     

       24
       24
       +
           rev = "7c26f9a017395c240845184dfed23489d29dbae5";

     

       25
       25
       +
           sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";

     

       26
       26
       +
         };

     

       27
       27
       +
       

     

       28
       28
       +
         installPhase = ''

     

       29
       29
       +
           COQLIB=$out/lib/coq/${coq.coq-version}

     

       30
       30
       +
           mkdir -p $COQLIB/user-contrib/Tactical

     

       31
       31
       +
           cp -pR src/* $COQLIB/user-contrib/Tactical

     

       32
       32
       +
         '';

     

       33
       33
       +
       

     

       34
       34
       +
         meta = {

     

       35
       35
       +
           description = "Library of Coq proof automation";

     

       36
       36
       +
           license = lib.licenses.mit;

     

       37
       37
       +
           maintainers = with lib.maintainers; [ stepbrobd ];

     

       38
       38
       +
         };

     

       39
       39
       +
       }

pkgs/top-level/coq-packages.nix

···

       47
       47
        
             coq-haskell = callPackage ../development/coq-modules/coq-haskell { };

     

       48
       48
        
             coq-lsp = callPackage ../development/coq-modules/coq-lsp {};

     

       49
       49
        
             coq-record-update = callPackage ../development/coq-modules/coq-record-update { };

     

       50
       50
       +
             coq-tactical = callPackage ../development/coq-modules/coq-tactical {};

     

       50
       51
        
             coqeal = callPackage ../development/coq-modules/coqeal (

     

       51
       52
        
               (lib.optionalAttrs (lib.versions.range "8.13" "8.14" self.coq.coq-version) {

     

       52
       53
        
                 bignums = self.bignums.override { version = "${self.coq.coq-version}.0"; };