max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: use strings instead of URL literals (#2172)

Browse source
This commit is contained in:
Connor Baker 2023-03-28 01:10:24 -07:00 • committed by GitHub
parent 5495a4f91c
commit 667d54640d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
doc/flake.nix
View file

@ -4,15 +4,15 @@
inputs.lean.url = path:../.;
inputs.flake-utils.follows = "lean/flake-utils";
inputs.mdBook = {
url = github:leanprover/mdBook;
url = "github:leanprover/mdBook";
flake = false;
};
inputs.alectryon = {
url = github:Kha/alectryon/typeid;
url = "github:Kha/alectryon/typeid";
flake = false;
};
inputs.leanInk = {
url = github:leanprover/LeanInk;
url = "github:leanprover/LeanInk";
flake = false;
};

8
flake.nix
View file

@ -1,11 +1,11 @@
{
description = "Lean interactive theorem prover";
inputs.nixpkgs.url = github:NixOS/nixpkgs/nixpkgs-unstable;
inputs.flake-utils.url = github:numtide/flake-utils;
inputs.nix.url = github:NixOS/nix;
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
inputs.flake-utils.url = "github:numtide/flake-utils";
inputs.nix.url = "github:NixOS/nix";
inputs.lean4-mode = {
url = github:leanprover/lean4-mode;
url = "github:leanprover/lean4-mode";
flake = false;
};
# used *only* by `stage0-from-input` below

4
nix/templates/pkg/flake.nix
View file

@ -1,8 +1,8 @@
{
description = "My Lean package";
inputs.lean.url = github:leanprover/lean4;
inputs.flake-utils.url = github:numtide/flake-utils;
inputs.lean.url = "github:leanprover/lean4";
inputs.flake-utils.url = "github:numtide/flake-utils";
outputs = { self, lean, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
let

8
tests/bench/flake.nix
View file

@ -1,10 +1,10 @@
{
inputs.lean.url = "git+file:../..";
inputs.flake-utils.url = github:numtide/flake-utils;
inputs.flake-utils.url = "github:numtide/flake-utils";
inputs.flake-utils.follows = "lean/flake-utils";
inputs.temci.url = github:Kha/temci;
inputs.nixpkgs.url = github:NixOS/nixpkgs/nixpkgs-unstable;
inputs.disable-st.url = https://github.com/Kha/lean4/commit/no-st.patch;
inputs.temci.url = "github:Kha/temci";
inputs.nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
inputs.disable-st.url = "https://github.com/Kha/lean4/commit/no-st.patch";
inputs.disable-st.flake = false;
outputs = inputs: inputs.flake-utils.lib.eachDefaultSystem (system: { packages = rec {