Unverified Commit 1a366f9f authored by Aliaksandr's avatar Aliaksandr
Browse files

treewide: remove superfluous enableParallelBuilding for mkCoqDerivation

parent d685b4f0

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

+0 −2
Original line number Diff line number Diff line
@@ -91,8 +91,6 @@ let 
      MenhirLib

    ];



    enableParallelBuilding = true;



    postPatch = ''

      substituteInPlace ./configure \

        --replace \$\{toolprefix\}ar 'ar' \

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

+0 −1
Original line number Diff line number Diff line
@@ -68,7 +68,6 @@ mkCoqDerivation rec { 
    ++ lib.optionals (lib.versions.isGe "4.2.0" defaultVersion) [ gnuplot_qt ];

  useMelquiondRemake.logpath = "Interval";

  mlPlugin = true;

  enableParallelBuilding = true;



  meta = {

    description = "Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant";