cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

alt-ergo: fix build on darwin

Browse source
This commit is contained in:
Weijia Wang 2023-12-15 02:21:48 +01:00 committed by Jörg Thalheim
parent 1ca8eac82e
commit 2a3d4f9afe
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/alt-ergo/default.nix
View file

@ -1,4 +1,4 @@
{ fetchurl, fetchpatch, lib, ocamlPackages }: { darwin, fetchurl, lib, ocamlPackages, stdenv }:
let let
pname = "alt-ergo"; pname = "alt-ergo";
@ -28,7 +28,7 @@ ocamlPackages.buildDunePackage {
inherit pname version src; 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 ]); buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [ cmdliner dune-site ]);
meta = { meta = {