commit ebdf066d879713d8a9bf6929c0899bf69475258f
parent 57d782a55218b8a9645d0b2cf5cca6bbe0fce825
Author: Jared Tobin <jared@jtobin.io>
Date: Sat, 10 Oct 2026 13:38:59 +0400
flake: add ppad-bolt9
Diffstat:
2 files changed, 44 insertions(+), 1 deletion(-)
diff --git a/flake.lock b/flake.lock
@@ -65,6 +65,37 @@
"url": "git://git.ppad.tech/base16.git"
}
},
+ "ppad-bolt9": {
+ "inputs": {
+ "flake-utils": [
+ "ppad-bolt9",
+ "ppad-nixpkgs",
+ "flake-utils"
+ ],
+ "nixpkgs": [
+ "ppad-bolt9",
+ "ppad-nixpkgs",
+ "nixpkgs"
+ ],
+ "ppad-nixpkgs": [
+ "ppad-nixpkgs"
+ ]
+ },
+ "locked": {
+ "lastModified": 1791624953,
+ "narHash": "sha256-DWafVJvu2LTXkAI/zH0Q0BqTrjLo0c7hyTvaW/9N0VM=",
+ "ref": "master",
+ "rev": "280946ab905a374c8c6d4a37678a4cc362551ab9",
+ "revCount": 39,
+ "type": "git",
+ "url": "git://git.ppad.tech/bolt9.git"
+ },
+ "original": {
+ "ref": "master",
+ "type": "git",
+ "url": "git://git.ppad.tech/bolt9.git"
+ }
+ },
"ppad-nixpkgs": {
"inputs": {
"flake-utils": "flake-utils",
@@ -96,6 +127,7 @@
"nixpkgs"
],
"ppad-base16": "ppad-base16",
+ "ppad-bolt9": "ppad-bolt9",
"ppad-nixpkgs": "ppad-nixpkgs"
}
},
diff --git a/flake.nix b/flake.nix
@@ -8,6 +8,12 @@
ref = "master";
inputs.ppad-nixpkgs.follows = "ppad-nixpkgs";
};
+ ppad-bolt9 = {
+ type = "git";
+ url = "git://git.ppad.tech/bolt9.git";
+ ref = "master";
+ inputs.ppad-nixpkgs.follows = "ppad-nixpkgs";
+ };
ppad-nixpkgs = {
type = "git";
url = "git://git.ppad.tech/nixpkgs.git";
@@ -17,7 +23,8 @@
nixpkgs.follows = "ppad-nixpkgs/nixpkgs";
};
- outputs = { self, nixpkgs, flake-utils, ppad-nixpkgs, ppad-base16 }:
+ outputs = { self, nixpkgs, flake-utils, ppad-nixpkgs, ppad-base16
+ , ppad-bolt9 }:
flake-utils.lib.eachDefaultSystem (system:
let
lib = "ppad-bolt1";
@@ -33,10 +40,14 @@
(hlib.enableCabalFlag base16 "llvm")
[ llvm clang ];
+ bolt9 = ppad-bolt9.packages.${system}.default;
+
hpkgs = pkgs.haskell.packages.ghc910.extend (new: old: {
ppad-base16 = base16-llvm;
+ ppad-bolt9 = bolt9;
${lib} = new.callCabal2nix lib ./. {
ppad-base16 = new.ppad-base16;
+ ppad-bolt9 = new.ppad-bolt9;
};
});