Skip to content

Commit f10b021

Browse files
authored
[NO-ISSUE][fix] pin souffle once and for all to 2.3 (#422)
1 parent 5765244 commit f10b021

File tree

2 files changed

+27
-1
lines changed

2 files changed

+27
-1
lines changed

flake.lock

+17
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

+10-1
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,9 @@
1414

1515
inputs = {
1616
nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
17+
# we need souffle 2.3, only change this if you're sure, that flora should compile with
18+
# souffle > 2.3
19+
nixpkgs-souffle.url = "github:nixos/nixpkgs/a74a4a2f324fb54637a9e2597ef1fdca6ad869c8";
1720
flake-utils.url = "github:numtide/flake-utils";
1821
horizon-platform.url =
1922
"git+https://gitlab.horizon-haskell.net/package-sets/horizon-platform";
@@ -28,7 +31,9 @@
2831
outputs = inputs@{ self, flake-utils, horizon-platform, nixpkgs, pre-commit-hooks, ... }:
2932
flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
3033
let
31-
pkgs = nixpkgs.legacyPackages.${system};
34+
pkgs = nixpkgs.legacyPackages.${system}.appendOverlays [
35+
(_self: _super: { inherit (inputs.nixpkgs-souffle.legacyPackages.${system}) souffle; })
36+
];
3237
src = ./.;
3338
pre-commit-check = pre-commit-hooks.lib.${system}.run
3439
(import ./nix/pre-commit-config.nix { inherit src; });
@@ -50,6 +55,10 @@
5055
};
5156
};
5257
devShells = rec {
58+
onlyPreCommit = pkgs.mkShell {
59+
name = "pre-commit-shell";
60+
inherit (pre-commit-check) shellHook;
61+
};
5362
flora = floraShell;
5463
default = flora;
5564
};

0 commit comments

Comments
 (0)