diff options
| author | Vincent Laporte | 2018-10-04 09:14:32 +0000 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-09 14:00:15 +0200 |
| commit | e739af593ae0a9ca20a839aa2a481628dd768ef6 (patch) | |
| tree | 3e27034c09344908c691f338d25a1f387431f1d9 /default.nix | |
| parent | 368d854566ee076618be625d0223657d31f8e13d (diff) | |
[default.nix] some fixes
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 1faaafae03..a5c4c1fbb9 100644 --- a/default.nix +++ b/default.nix @@ -75,6 +75,8 @@ stdenv.mkDerivation rec { (path: _: !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci"]) ./.; + preConfigure = "patchShebangs kernel/"; + prefixKey = "-prefix "; buildFlags = [ "world" "byte" ] ++ optional buildDoc "doc-html"; @@ -82,6 +84,10 @@ stdenv.mkDerivation rec { installTargets = [ "install" "install-byte" ] ++ optional buildDoc "install-doc-html"; + createFindlibDestdir = !shell; + + postInstall = "ln -s $out/lib/coq $OCAMLFIND_DESTDIR/coq"; + inherit doInstallCheck; preInstallCheck = '' |