nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

lean4, leanPackages.lean4: fix darwin build (#528202)

Browse Source
This commit is contained in:
Mauricio Collares
2026-06-05 10:59:09 +00:00
committed by GitHub
parent 9dceb86ed5 03752ca7ca
commit d8cc7661a1
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/by-name/le/lean4/package.nix
View File

@@ -2,6 +2,7 @@
lib,
stdenv,
cmake,
cctools,
fetchFromGitHub,
git,
gmp,
@@ -67,7 +68,8 @@ stdenv.mkDerivation (finalAttrs: {
pkg-config
makeWrapper
leangz # Provides leantar
];
]
++ lib.optionals stdenv.hostPlatform.isDarwin [ cctools.libtool ];
buildInputs = [
gmp

4
pkgs/development/lean-modules/lean4/default.nix
View File

@@ -4,6 +4,7 @@
stdenv,
symlinkJoin,
cmake,
cctools,
fetchFromGitHub,
git,
gmp,
@@ -75,7 +76,8 @@ let
cmake
leangz
pkg-config
];
]
++ lib.optionals stdenv.hostPlatform.isDarwin [ cctools.libtool ];
buildInputs = [
gmp