diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-15 02:21:48 +0100 |
---|---|---|
committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2023-12-17 16:12:48 +0100 |
commit | 2a3d4f9afe8f49e8c29bfe38f03a8ae64f112aea (patch) | |
tree | cc894f7ee2776e92d216c315ed48dfafdc337bc3 /pkgs/applications/science/logic/alt-ergo | |
parent | 1ca8eac82e55702bb9efba7781ca896ffca65182 (diff) |
alt-ergo: fix build on darwin
Diffstat (limited to 'pkgs/applications/science/logic/alt-ergo')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index bc8c6ae485877..d84aa5b6918ac 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -1,4 +1,4 @@ -{ fetchurl, fetchpatch, lib, ocamlPackages }: +{ darwin, fetchurl, lib, ocamlPackages, stdenv }: let pname = "alt-ergo"; @@ -28,7 +28,7 @@ ocamlPackages.buildDunePackage { inherit pname version src; - nativeBuildInputs = [ ocamlPackages.menhir ]; + nativeBuildInputs = [ ocamlPackages.menhir ] ++ lib.optionals stdenv.isDarwin [ darwin.sigtool ]; buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [ cmdliner dune-site ]); meta = { |