commit a871e7151b554b4ab3009b67f257f97610de4d89 · pyrox.dev/nixpkgs

+55

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

···

       1
       1
       +
       {

     

       2
       2
       +
         coq,

     

       3
       3
       +
         coq-lsp,

     

       4
       4
       +
         ocamlPackages,

     

       5
       5
       +
         lib,

     

       6
       6
       +
         mkCoqDerivation,

     

       7
       7
       +
         version ? null,

     

       8
       8
       +
         makeWrapper,

     

       9
       9
       +
       }:

     

       10
       10
       +
       

     

       11
       11
       +
       mkCoqDerivation rec {

     

       12
       12
       +
         pname = "coqfmt";

     

       13
       13
       +
         owner = "toku-sa-n";

     

       14
       14
       +
       

     

       15
       15
       +
         inherit version;

     

       16
       16
       +
         displayVersion.coqfmt = v: "master-${v}";

     

       17
       17
       +
       

     

       18
       18
       +
         release."master" = {

     

       19
       19
       +
           rev = "c26ce64d6ad1a1c3cafee38ab4889ad3b68a5c33";

     

       20
       20
       +
           sha256 = "sha256-4Q0z/KUHrJZKeKJDqa9mkxfy9LrGh2xPt561muUFYAY=";

     

       21
       21
       +
         };

     

       22
       22
       +
         namePrefix = [ ];

     

       23
       23
       +
       

     

       24
       24
       +
         useDune = true;

     

       25
       25
       +
       

     

       26
       26
       +
         defaultVersion =

     

       27
       27
       +
           with lib.versions;

     

       28
       28
       +
           lib.switch coq.version [

     

       29
       29
       +
             {

     

       30
       30
       +
               case = isEq "8.20";

     

       31
       31
       +
               out = "master";

     

       32
       32
       +
             }

     

       33
       33
       +
           ] null;

     

       34
       34
       +
       

     

       35
       35
       +
         installPhase = ''

     

       36
       36
       +
           runHook preInstall

     

       37
       37
       +
           dune install -p ${pname} --prefix=$out --libdir $OCAMLFIND_DESTDIR

     

       38
       38
       +
           wrapProgram $out/bin/coqfmt --prefix OCAMLPATH : $OCAMLPATH

     

       39
       39
       +
           runHook postInstall

     

       40
       40
       +
         '';

     

       41
       41
       +
       

     

       42
       42
       +
         nativeBuildInputs = [ makeWrapper ];

     

       43
       43
       +
       

     

       44
       44
       +
         buildInputs = with ocamlPackages; [

     

       45
       45
       +
           dune-build-info

     

       46
       46
       +
           coq-lsp

     

       47
       47
       +
         ];

     

       48
       48
       +
       

     

       49
       49
       +
         meta = {

     

       50
       50
       +
           description = "A command line tool to format your Coq source code.";

     

       51
       51
       +
           license = lib.licenses.agpl3Only;

     

       52
       52
       +
           maintainers = with lib.maintainers; [ DieracDelta ];

     

       53
       53
       +
         };

     

       54
       54
       +
       

     

       55
       55
       +
       }

pkgs/top-level/coq-packages.nix

···

       94
       94
        
             coqtail-math = callPackage ../development/coq-modules/coqtail-math { };

     

       95
       95
        
             coquelicot = callPackage ../development/coq-modules/coquelicot { };

     

       96
       96
        
             coqutil = callPackage ../development/coq-modules/coqutil { };

     

       97
       97
       +
             coqfmt = callPackage ../development/coq-modules/coqfmt { };

     

       97
       98
        
             corn = callPackage ../development/coq-modules/corn { };

     

       98
       99
        
             deriving = callPackage ../development/coq-modules/deriving { };

     

       99
       100
        
             dpdgraph = callPackage ../development/coq-modules/dpdgraph { };