forked from leanprover/lean4
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathshell.nix
21 lines (21 loc) · 820 Bytes
/
shell.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
let
flakePkgs = (import ./default.nix).packages.${builtins.currentSystem};
in { pkgs ? flakePkgs.nixpkgs, llvmPackages ? null }:
# use `shell` as default
(attribs: attribs.shell // attribs) rec {
inherit (flakePkgs) temci;
shell = pkgs.mkShell.override {
stdenv = pkgs.overrideCC pkgs.stdenv (if llvmPackages == null
then flakePkgs.llvmPackages
else pkgs.${"llvmPackages_${llvmPackages}"}).clang;
} rec {
buildInputs = with pkgs; [ cmake (gmp.override { withStatic = true; }) ccache temci ];
# https://github.com/NixOS/nixpkgs/issues/60919
hardeningDisable = [ "all" ];
# more convenient `ctest` output
CTEST_OUTPUT_ON_FAILURE = 1;
};
nix = pkgs.mkShell {
buildInputs = [ flakePkgs.nix ];
};
}