Skip to content

build: bolt from [tools.bolt] (v1.8.0), no bolt flake input #11

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
noah-emp merged 2 commits into from
Sep 25, 2026
Merged

build: bolt from [tools.bolt] (v1.8.0), no bolt flake input #11

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e7df904
build: bolt from [tools.bolt] (v1.8.0), no bolt flake input
ngngardner Sep 25, 2026
6effba0
build: lower bolt 1.8.0's new rules to warn until fixed
ngngardner Sep 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions bolt.bend
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,3 +26,11 @@ def wrap() -> String:
# a pure def named by no law
def laws() -> String:
"error"

# bolt 1.8.0 closed: warn until the findings are fixed (see the tracking issue)
def closed() -> String:
"warn"

# bolt 1.8.0 coverage: warn until the findings are fixed (see the tracking issue)
def coverage() -> String:
"warn"
8 changes: 8 additions & 0 deletions ez.lock.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,3 +20,11 @@ LICENSE = "309f5aae946e4db157750e002fb179a74ed0fe27fce09a7be68a6977b14f205f"
"src/print.bend" = "32a92e32f9e58cb028c59209c6aeb2b408f0510d199b31cff172c09bbb68fd6a"
"src/pull.bend" = "c682f4f968f78b10bf39351130aa48fc9ade47c01f5bb2b4b74a061df7afb141"
"src/value.bend" = "e4fe80f757464b9c35e298b921c1a6562e4e9251c779774b0d8873f46129e8e7"

[tools.bolt]
git = "https://github.com/Emerging-Patterns/bolt"
rev = "02fb09377f5c0fbddb5f6b7c32c8ab4ae14240df"
tag = "v1.8.0"
root = "."
narHash = "sha256-53zE+3lZ/jn9GvIeGoavvNMaFyUs5dEFWd7fwP49TlM="
entry = "main.bend"
8 changes: 8 additions & 0 deletions ez.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,3 +10,11 @@ tag = "v1.1.0"
root = "."
narHash = "sha256-yHxl1aW4luf2bdPqOUcULhOEZLlcaTOWjTrPJys4CMI="
entry = "main.bend"

[tools.bolt]
git = "https://github.com/Emerging-Patterns/bolt"
rev = "02fb09377f5c0fbddb5f6b7c32c8ab4ae14240df"
tag = "v1.8.0"
root = "."
narHash = "sha256-53zE+3lZ/jn9GvIeGoavvNMaFyUs5dEFWd7fwP49TlM="
entry = "main.bend"
64 changes: 7 additions & 57 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

11 changes: 3 additions & 8 deletions flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,6 @@
inputs.nixpkgs.follows = "nixpkgs";
inputs.bend.follows = "bend";
};
inputs.bolt = {
url = "github:Emerging-Patterns/bolt";
inputs.nixpkgs.follows = "nixpkgs";
inputs.bend.follows = "bend";
};

outputs = { self, nixpkgs, ... }@inputs:
let
Expand All @@ -25,7 +20,7 @@
ez = inputs.ez.lib.${system};
ezBin = inputs.ez.packages.${system}.default;
bend = inputs.bend.packages.${system}.default;
bolt = inputs.bolt.packages.${system}.default;
bolt = ez.toolPackage { name = "bolt"; src = self; inherit bend; wrapFlags = [ "--gpu" "off" ]; };
bend-cc = ez.bend-cc;

bench = import ./bench {
Expand All @@ -43,15 +38,15 @@

checks.${system} = {
proofs = ez.mkProofs { ez = ezBin; src = self; };
lint = ez.mkLint { inherit bolt; src = self; };
lint = ez.mkLint { src = self; };
} // bench.checks;

devShells.${system}.default = ez.mkShell {
src = self;
packages = [
bend
bend-cc
ezBin
bolt
pkgs.openssl
pkgs.cacert
pkgs.python3
Expand Down
Loading