Merge pull request #4238 from wkennington/master.boost

Make boost 156 the default
This commit is contained in:
Peter Simons
2014-11-03 23:03:01 +01:00
86 changed files with 488 additions and 1839 deletions

View File

@@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
sha256 = "00shds5yph4s09lqdrb6n60wnw9kpiwa25ghg9mbsgq3fnr8p7kr";
};
buildInputs = [ cmake boost boost.lib gmp mpfr ];
buildInputs = [ cmake boost gmp mpfr ];
doCheck = false;