diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-01-26 00:13:32 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-26 00:13:32 +0000 |
| commit | 0f008a08f08e97837c43bc09fbf614ccd7577aa4 (patch) | |
| tree | ad04fb8b9672cdc06a19e0a6e727c5b8b2eb02f5 /pkgs/development/compilers | |
| parent | 738bf6e95d1cf1ecb58b1333aebc250ca866e382 (diff) | |
| parent | b8140c4fde4a6c3b415b2417e4780f18569be9f3 (diff) | |
| download | nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar.gz nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar.bz2 nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar.lz nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar.xz nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.tar.zst nixlib-0f008a08f08e97837c43bc09fbf614ccd7577aa4.zip | |
Merge master into haskell-updates
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index e38f416b261b..d084889dcac9 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, writeScript, fetchFromGitHub, z3, ocamlPackages, makeWrapper, installShellFiles }: +{ lib, stdenv, writeScript, fetchFromGitHub, z3, ocamlPackages, makeWrapper, installShellFiles, removeReferencesTo }: stdenv.mkDerivation rec { pname = "fstar"; @@ -16,6 +16,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ makeWrapper installShellFiles + removeReferencesTo ] ++ (with ocamlPackages; [ ocaml findlib @@ -55,6 +56,10 @@ stdenv.mkDerivation rec { mkdir -p $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/fstarlib ''; postInstall = '' + # Remove build artifacts + find $out -name _build -type d | xargs -I{} rm -rf "{}" + remove-references-to -t '${ocamlPackages.ocaml}' $out/bin/fstar.exe + wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin" installShellCompletion --bash .completion/bash/fstar.exe.bash installShellCompletion --fish .completion/fish/fstar.exe.fish |