Commit 76792578 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.stdlib: keep compiling with master

parent a453c04f

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

+5 −6
Original line number Diff line number Diff line
@@ -7,7 +7,7 @@ 
(mkCoqDerivation {



  pname = "stdlib";

  repo = "coq";

  repo = "stdlib";

  owner = "coq";

  opam-name = "coq-stdlib";
@@ -30,16 +30,15 @@ 
  useDune = true;



  configurePhase = ''

    patchShebangs stdlib/dev/with-rocq-wrap.sh

  ''; # don't run Coq's configure

    patchShebangs dev/with-rocq-wrap.sh

  '';



  buildPhase = ''

    cd stdlib

    dev/with-rocq-wrap.sh dune build -p coq-stdlib @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}

    dev/with-rocq-wrap.sh dune build -p rocq-stdlib,coq-stdlib @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}

  '';



  installPhase = ''

    dev/with-rocq-wrap.sh dune install --root . coq-stdlib --prefix=$out --libdir $OCAMLFIND_DESTDIR

    dev/with-rocq-wrap.sh dune install --root . rocq-stdlib coq-stdlib --prefix=$out --libdir $OCAMLFIND_DESTDIR

    mkdir $out/lib/coq/

    mv $OCAMLFIND_DESTDIR/coq $out/lib/coq/${coq.coq-version}

  '';