diff options
| author | Ulrik Strid <ulrik.strid@outlook.com> | 2023-01-25 16:24:28 +0100 |
|---|---|---|
| committer | Ulrik Strid <ulrik.strid@outlook.com> | 2023-02-03 08:59:34 +0100 |
| commit | f12b9ea461c3a5c75df219b08f17f9a7856894ae (patch) | |
| tree | 2332f868ace8aa413abaec134d8adaa6f261b25d /pkgs/development/ocaml-modules/psmt2-frontend | |
| parent | 376e9ceeadc4c4e06f34b33bf347a504a4b3bd65 (diff) | |
| download | nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar.gz nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar.bz2 nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar.lz nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar.xz nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.tar.zst nixpkgs-f12b9ea461c3a5c75df219b08f17f9a7856894ae.zip | |
buildDunePackage: default to strictDeps = true
Diffstat (limited to 'pkgs/development/ocaml-modules/psmt2-frontend')
| -rw-r--r-- | pkgs/development/ocaml-modules/psmt2-frontend/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/psmt2-frontend/default.nix b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix index 1cb14f75faa..ef88bdcdab7 100644 --- a/pkgs/development/ocaml-modules/psmt2-frontend/default.nix +++ b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix @@ -13,8 +13,6 @@ buildDunePackage rec { minimalOCamlVersion = "4.03"; - strictDeps = true; - nativeBuildInputs = [ menhir ]; meta = { |