diff options
| author | Ricardo M. Correia <rcorreia@wizy.org> | 2023-01-14 03:37:45 +0000 |
|---|---|---|
| committer | Ricardo M. Correia <rcorreia@wizy.org> | 2023-02-07 14:47:17 +0000 |
| commit | 113cdbd29d6b90bf430a0e32364cd9ed8775d25f (patch) | |
| tree | 2ab5ebc5a877b1e407c7a662b506701ad34668a6 /pkgs/development/compilers/fstar | |
| parent | e75e7234275c413d038341764a3426245e0fb174 (diff) | |
fstar: use proper z3 version and build .checked files
Diffstat (limited to 'pkgs/development/compilers/fstar')
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 748869ea63c5..a21aa31ef407 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -14,6 +14,7 @@ stdenv.mkDerivation rec { strictDeps = true; nativeBuildInputs = [ + z3 makeWrapper installShellFiles removeReferencesTo @@ -24,9 +25,7 @@ stdenv.mkDerivation rec { menhir ]); - buildInputs = [ - z3 - ] ++ (with ocamlPackages; [ + buildInputs = with ocamlPackages; [ batteries zarith stdint @@ -39,12 +38,10 @@ stdenv.mkDerivation rec { ppx_deriving ppx_deriving_yojson process - ]); + ]; makeFlags = [ "PREFIX=$(out)" ]; - buildFlags = [ "libs" ]; - enableParallelBuilding = true; postPatch = '' |