mozart2: pin boost to most recent supported version (#151576)

This commit is contained in:
Guillaume Maudoux 2021-12-21 17:43:24 +01:00 committed by GitHub
parent fad107ba43
commit 65c986fbfa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,7 +4,8 @@
, cmake
, unzip
, makeWrapper
, boost
, boost169
, pinnedBoost ? boost169
, llvmPackages
, llvmPackages_5
, gmp
@ -67,7 +68,7 @@ in stdenv.mkDerivation rec {
'';
buildInputs = [
boost
pinnedBoost
llvmPackages_5.llvm
llvmPackages_5.clang
llvmPackages_5.clang-unwrapped