flake.nix (2243B)
1 { 2 description = "A Haskell implementation of BOLT #2."; 3 4 inputs = { 5 ppad-bolt1 = { 6 type = "git"; 7 url = "git://git.ppad.tech/bolt1.git"; 8 ref = "master"; 9 inputs.ppad-nixpkgs.follows = "ppad-nixpkgs"; 10 }; 11 ppad-nixpkgs = { 12 type = "git"; 13 url = "git://git.ppad.tech/nixpkgs.git"; 14 ref = "master"; 15 }; 16 ppad-tx = { 17 type = "git"; 18 url = "git://git.ppad.tech/tx.git"; 19 ref = "master"; 20 inputs.ppad-nixpkgs.follows = "ppad-nixpkgs"; 21 }; 22 flake-utils.follows = "ppad-nixpkgs/flake-utils"; 23 nixpkgs.follows = "ppad-nixpkgs/nixpkgs"; 24 }; 25 26 outputs = { self, nixpkgs, flake-utils, ppad-nixpkgs, ppad-bolt1, ppad-tx }: 27 flake-utils.lib.eachDefaultSystem (system: 28 let 29 lib = "ppad-bolt2"; 30 31 pkgs = import nixpkgs { inherit system; }; 32 hlib = pkgs.haskell.lib; 33 llvm = pkgs.llvmPackages_19.llvm; 34 clang = pkgs.llvmPackages_19.clang; 35 36 bolt1 = ppad-bolt1.packages.${system}.default; 37 bolt1-llvm = 38 hlib.addBuildTools 39 (hlib.enableCabalFlag bolt1 "llvm") 40 [ llvm clang ]; 41 42 tx = ppad-tx.packages.${system}.default; 43 44 hpkgs = pkgs.haskell.packages.ghc910.extend (new: old: { 45 ppad-bolt1 = bolt1-llvm; 46 ppad-tx = tx; 47 ${lib} = new.callCabal2nix lib ./. { 48 ppad-bolt1 = new.ppad-bolt1; 49 ppad-tx = new.ppad-tx; 50 }; 51 }); 52 53 cc = pkgs.stdenv.cc; 54 ghc = hpkgs.ghc; 55 cabal = hpkgs.cabal-install; 56 in 57 { 58 packages.default = hpkgs.${lib}; 59 60 packages.haddock = hpkgs.${lib}.doc; 61 62 devShells.default = hpkgs.shellFor { 63 packages = p: [ 64 (hlib.doBenchmark p.${lib}) 65 ]; 66 67 buildInputs = [ 68 cabal 69 cc 70 llvm 71 ]; 72 73 shellHook = '' 74 PS1="[${lib}] \w$ " 75 echo "entering ${system} shell, using" 76 echo "cc: $(${cc}/bin/cc --version)" 77 echo "ghc: $(${ghc}/bin/ghc --version)" 78 echo "cabal: $(${cabal}/bin/cabal --version)" 79 ''; 80 }; 81 } 82 ); 83 }