Commit 1018df45 authored by Lucas Franceschino's avatar Lucas Franceschino
Browse files

fstar: remove unnecessary store path & build artifacts

parent 762426b0

pkgs/development/compilers/fstar/default.nix

+6 −1
Original line number Diff line number Diff line 
{ 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