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

chore: revert "chore: switch back to clang 8"

Browse source 
This reverts commit bffc55219e.
This commit is contained in:
Sebastian Ullrich 2019-11-07 10:45:59 +01:00
parent 3b6755dea1
commit fef586627a
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
azure-pipelines.yml
View file

@ -52,7 +52,7 @@ jobs:
steps:
- script: |
choco install -y msys2
C:\tools\msys64\usr\bin\bash -lc "pacman --noconfirm -S make python mingw-w64-x86_64-cmake git diffutils && pacman --noconfirm -U http://repo.msys2.org/mingw/x86_64/mingw-w64-x86_64-llvm-8.0.1-3-any.pkg.tar.xz http://repo.msys2.org/mingw/x86_64/mingw-w64-x86_64-clang-8.0.1-3-any.pkg.tar.xz"
C:\tools\msys64\usr\bin\bash -lc "pacman --noconfirm -S make python mingw-w64-x86_64-cmake mingw-w64-x86_64-clang git diffutils"
displayName: Setup
- script: |
C:\tools\msys64\usr\bin\bash -l ./script/ci.sh

2
default.nix
View file

@ -1,3 +1,3 @@
{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ? pkgs.llvmPackages_8 }:
{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ? pkgs.llvmPackages_9 }:
pkgs.callPackage ./nix/derivation.nix { inherit llvmPackages; }

2
shell.nix
View file

@ -1,4 +1,4 @@
{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ? pkgs.llvmPackages_8 } @ args:
{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ?pkgs.llvmPackages_9 } @ args:
let
lean = import ./default.nix args;