Merge pull request #208210 from wegank/boost-181-init

This commit is contained in:
Sandro 2023-01-08 23:47:46 +01:00 committed by GitHub
commit 1292c04563
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 17 additions and 1 deletions

View File

@ -0,0 +1,14 @@
{ callPackage, fetchurl, fetchpatch, ... } @ args:
callPackage ./generic.nix (args // rec {
version = "1.81.0";
src = fetchurl {
urls = [
"mirror://sourceforge/boost/boost_${builtins.replaceStrings ["."] ["_"] version}.tar.bz2"
"https://boostorg.jfrog.io/artifactory/main/release/${version}/source/boost_${builtins.replaceStrings ["."] ["_"] version}.tar.bz2"
];
# SHA256 from http://www.boost.org/users/history/version_1_81_0.html
sha256 = "71feeed900fbccca04a3b4f2f84a7c217186f28a940ed8b7ed4725986baf99fa";
};
})

View File

@ -31,4 +31,5 @@ in {
boost178 = makeBoost ./1.78.nix;
boost179 = makeBoost ./1.79.nix;
boost180 = makeBoost ./1.80.nix;
boost181 = makeBoost ./1.81.nix;
}

View File

@ -18724,11 +18724,12 @@ with pkgs;
boost178
boost179
boost180
boost181
;
boost16x = boost169;
boost17x = boost179;
boost18x = boost180;
boost18x = boost181;
boost = boost17x;
boost_process = callPackage ../development/libraries/boost-process { };