coqPackages.fiat: correct installation directory

10 years ago · 443301ec8c
parent 2aec1b0f31
commit 443301ec8c
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/coq-modules/fiat/default.nix
+++ b/pkgs/development/coq-modules/fiat/default.nix
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
  installPhase = ''
    COQLIB=$out/lib/coq/${coq.coq-version}/
    mkdir -p $COQLIB/user-contrib/Fiat
-    cp -pR src $COQLIB/user-contrib/Fiat
+    cp -pR src/* $COQLIB/user-contrib/Fiat
  '';

  installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";