blob: d5bef89381c4e59c02dc0df09ac6e1660d676f3a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
{
lib,
buildLakePackage,
fetchFromGitHub,
}:
buildLakePackage (finalAttrs: {
pname = "lean4-cli";
# nixpkgs-update: no auto update
version = "4.30.0";
src = fetchFromGitHub {
owner = "leanprover";
repo = "lean4-cli";
tag = "v${finalAttrs.version}";
hash = "sha256-oMaqHvWlEfk1601JfNKPvkGIWgMW6tiF7Mej7g63vh0=";
};
leanPackageName = "Cli";
# Pre-build static library for downstream executables.
# TODO: upstream this to lean4-cli
postPatch = ''
substituteInPlace lakefile.toml \
--replace-fail '[[lean_lib]]
name = "Cli"' '[[lean_lib]]
name = "Cli"
defaultFacets = ["static"]'
'';
meta = {
description = "Command-line argument parser for Lean 4";
homepage = "https://github.com/leanprover/lean4-cli";
license = lib.licenses.mit;
maintainers = with lib.maintainers; [ nadja-y ];
};
})
|
