diff options
author | John Wiegley <johnw@newartisans.com> | 2015-01-09 14:21:08 -0600 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-01-09 14:21:08 -0600 |
commit | 443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd (patch) | |
tree | a2425d054935508fbe024456b540b4d590e17c10 /pkgs/development/coq-modules/fiat | |
parent | 2aec1b0f31f35e7ce416b56ff2405f5fe05acf52 (diff) | |
download | nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar.gz nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar.bz2 nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar.lz nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar.xz nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.tar.zst nixlib-443301ec8cfb499fb4ca6fb6ca5da1f099fa4cbd.zip |
coqPackages.fiat: correct installation directory
Diffstat (limited to 'pkgs/development/coq-modules/fiat')
-rw-r--r-- | pkgs/development/coq-modules/fiat/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/fiat/default.nix b/pkgs/development/coq-modules/fiat/default.nix index 4eca588b205c..5b95800a4acc 100644 --- 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}/"; |