max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(shell.nix): use clang 7 by default (latest release in stable Nix)

Browse source
This commit is contained in:
Sebastian Ullrich 2019-08-01 23:12:58 +02:00
parent 9e53db95ba
commit 2abfd7d90b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
shell.nix
View file

@ -1,11 +1,11 @@
{ pkgs ? import <nixpkgs> {} }:
{ pkgs ? import <nixpkgs> {}, clang ? pkgs.clang_7 }:
let
lean = pkgs.callPackage ./default.nix {};
lean = pkgs.callPackage ./derivation.nix { llvm = clang.cc.llvm; };
temci = pkgs.callPackage (builtins.fetchGit { url = https://github.com/parttimenerd/temci.git; rev = "2facd7c78ab35722f34db1d42883ec02f8a0de23"; }) {};
in pkgs.mkShell rec {
inputsFrom = [ lean ];
buildInputs = with pkgs; [ temci clang_7 ccache ninja ];
buildInputs = with pkgs; [ temci clang ccache ninja ];
# https://github.com/NixOS/nixpkgs/issues/60919
hardeningDisable = [ "all" ];
# TODO: this should not be necessary when leanc starts statically linking binaries