Commit 51d1fd39 authored by 4ever2's avatar 4ever2 Committed by Vincent Laporte
Browse files

Add MetaCoq-translations package

parent 2d4ee5ca

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

+2 −2
Original line number Diff line number Diff line
@@ -39,7 +39,7 @@ let 
  releaseRev = v: "v${v}";



  # list of core metacoq packages sorted by dependency order

  packages = [ "utils" "common" "template-coq" "pcuic" "safechecker" "template-pcuic" "erasure" "quotation" "safechecker-plugin" "erasure-plugin" "all" ];

  packages = [ "utils" "common" "template-coq" "pcuic" "safechecker" "template-pcuic" "erasure" "quotation" "safechecker-plugin" "erasure-plugin" "translations" "all" ];



  template-coq = metacoq_ "template-coq";
@@ -79,7 +79,7 @@ let 


        configurePhase = lib.optionalString (package == "all") pkgallMake + ''

          touch ${pkgpath}/metacoq-config

        '' + lib.optionalString (lib.elem package ["safechecker" "erasure" "template-pcuic" "quotation" "safechecker-plugin" "erasure-plugin"]) ''

        '' + lib.optionalString (lib.elem package ["safechecker" "erasure" "template-pcuic" "quotation" "safechecker-plugin" "erasure-plugin" "translations"]) ''

          echo  "-I ${template-coq}/lib/coq/${coq.coq-version}/user-contrib/MetaCoq/Template/" > ${pkgpath}/metacoq-config

        '' + lib.optionalString (package == "single") ''

          ./configure.sh local

pkgs/top-level/coq-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -125,6 +125,7 @@ let 
      metacoq-quotation          = self.metacoq.quotation;

      metacoq-safechecker-plugin = self.metacoq.safechecker-plugin;

      metacoq-erasure-plugin     = self.metacoq.erasure-plugin;

      metacoq-translations       = self.metacoq.translations;

      metalib = callPackage ../development/coq-modules/metalib { };

      mtac2 = callPackage ../development/coq-modules/mtac2 {};

      multinomials = callPackage ../development/coq-modules/multinomials {};