Use fixed binaries (#24)

oscar-system · Aug 3, 2021 · cc5e99c · cc5e99c · thofma · Aug 3, 2021
1 parent 4ae6f68
commit cc5e99c
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 16 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "LoadFlint"
 uuid = "472f376f-f1cf-461b-9ac1-d103423be9b7"
 authors = ["The OSCAR team <oscar-dev@mathematik.uni-kl.de>"]
-version = "0.6.0"
+version = "0.6.1"
 
 [deps]
 BinaryProvider = "b99e7846-7c00-51b0-8f62-c81ae34c0232"

diff --git a/deps/build.jl b/deps/build.jl
@@ -49,7 +49,7 @@ elseif VERSION < v"1.3.0-rc4"
      push!(dependencies, "build_FLINT.v200.700.0.jl")
    elseif ver == v"200.700.100+0"
      push!(dependencies, "build_FLINT.v200.700.100.0.jl")
-   elseif ver == v"200.800.0+0"
+   elseif ver == v"200.800.0+1"
      push!(dependencies, "build_FLINT.v200.800.0.jl")
    else
      throw(error("Flint version $ver not supported for julia version <= 1.3"))

diff --git a/deps/build_FLINT.v200.800.0.jl b/deps/build_FLINT.v200.800.0.jl
@@ -8,23 +8,23 @@ products = [
 ]
 
 # Download binaries from hosted location
-bin_prefix = "https://github.com/JuliaBinaryWrappers/FLINT_jll.jl/releases/download/FLINT-v200.800.0+0"
+bin_prefix = "https://github.com/JuliaBinaryWrappers/FLINT_jll.jl/releases/download/FLINT-v200.800.0+1"
 
 # Listing of files generated by BinaryBuilder:
 download_info = Dict(
-    Linux(:aarch64, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.aarch64-linux-gnu.tar.gz", "357d46781fbe5bccaecae31af461acac7e0f3363fb73d6469544f4a58a496fc9"),
-    Linux(:aarch64, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.aarch64-linux-musl.tar.gz", "4afc1420580b040e2e46018e14d33fad61953d1f62d52323fdfd00846121ebe3"),
-    Linux(:armv7l, libc=:glibc, call_abi=:eabihf) => ("$bin_prefix/FLINT.v200.800.0.armv7l-linux-gnueabihf.tar.gz", "e8cff8f86151a888e87c5374ec94d992663854d270c3f22611ce009e6dcb4df7"),
-    Linux(:armv7l, libc=:musl, call_abi=:eabihf) => ("$bin_prefix/FLINT.v200.800.0.armv7l-linux-musleabihf.tar.gz", "d12d14dbee5d2a7da0f67888255eb46a04d514d9666da414114db3c7b1261919"),
-    Linux(:i686, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.i686-linux-gnu.tar.gz", "a209e1153f57f895a52f9bb47657265b1f4652e9d69724f6e16c5f0dcf280d39"),
-    Linux(:i686, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.i686-linux-musl.tar.gz", "5719ce61639902d9527865ea2c00ec04adfac0d23f17916e65f5bceb6e00c3ae"),
-    Windows(:i686) => ("$bin_prefix/FLINT.v200.800.0.i686-w64-mingw32.tar.gz", "20205cf2c5873496a818e86d0340eabc07816d07627ffae26de799366fec7095"),
-    Linux(:powerpc64le, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.powerpc64le-linux-gnu.tar.gz", "1cc3c8c473e7ba1844bf9e57e7e66a9bb7f6c30f443b1dac51c4b4509b29b1d9"),
-    MacOS(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-apple-darwin.tar.gz", "ff4eed72d1673c0c02fa146cc7f06574211503da39ea5784708479b5ee24e6ba"),
-    Linux(:x86_64, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.x86_64-linux-gnu.tar.gz", "ddfbe8524ae936280551fabf5d5567112e06471cc2407f1ab4319e6817b40c52"),
-    Linux(:x86_64, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.x86_64-linux-musl.tar.gz", "02ec8d4830573564ce18cf68ed54c1f9835df847edbe46655fe18c399c836897"),
-    FreeBSD(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-unknown-freebsd.tar.gz", "a0d81a2f5f8d8c8a4de0346bce30d07b7603a60b504765adc827a4fb6ddb73c5"),
-    Windows(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-w64-mingw32.tar.gz", "15ff5bb1cdfadd23a308403edf5dd53be44c6edef572e86bd1222fc3f5ea2ffb"),
+    Linux(:aarch64, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.aarch64-linux-gnu.tar.gz", "44e901e79f2cb553c9aaef8e4c9a7f7cc038e22b8d11b9dd0c133043d364e018"),
+    Linux(:aarch64, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.aarch64-linux-musl.tar.gz", "38bc8d8d9e50c221e70cefaf423c5859199739c479b4bd444434caa790c0d747"),
+    Linux(:armv7l, libc=:glibc, call_abi=:eabihf) => ("$bin_prefix/FLINT.v200.800.0.armv7l-linux-gnueabihf.tar.gz", "e104acf4a8ad41dabf684e26f2b5f41ff0d66b0e93cb679d45bab2a70d721366"),
+    Linux(:armv7l, libc=:musl, call_abi=:eabihf) => ("$bin_prefix/FLINT.v200.800.0.armv7l-linux-musleabihf.tar.gz", "58e6b18478e03c42480cbbb2bf3a8ea8dc85da8dc935b95ce95b814ac81e43e9"),
+    Linux(:i686, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.i686-linux-gnu.tar.gz", "8230947cd6263d392cc85210431b6bb09460195897e7b857cacc6bf168e9befb"),
+    Linux(:i686, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.i686-linux-musl.tar.gz", "8d1b8a6afdee954296773743f3395711489c825ae7210303b7c1746f3c0c66cb"),
+    Windows(:i686) => ("$bin_prefix/FLINT.v200.800.0.i686-w64-mingw32.tar.gz", "f63ad8e6c0dfd2735898bd37adafba2b596e8e5afdac66d7154e669a1672012e"),
+    Linux(:powerpc64le, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.powerpc64le-linux-gnu.tar.gz", "7d78618bcd315df782395b52697dbdedacb98896383cd542f4bb376a32036ae6"),
+    MacOS(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-apple-darwin.tar.gz", "1a5f2d12bde03e5049053df3cf8d94a6007afedd68a9470f24b0ab3c1df49366"),
+    Linux(:x86_64, libc=:glibc) => ("$bin_prefix/FLINT.v200.800.0.x86_64-linux-gnu.tar.gz", "c2a2339d2981ec8b3f7530ccbed4853233fe1e79fa7217f65823c64d8765b50e"),
+    Linux(:x86_64, libc=:musl) => ("$bin_prefix/FLINT.v200.800.0.x86_64-linux-musl.tar.gz", "a172acddd32cfa29e88c6cc03f721ce6d0ed8d3832176cd281683ce9233e92d2"),
+    FreeBSD(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-unknown-freebsd.tar.gz", "c2e0f58fb544beb0f83b57787b89057bf9e8949da76062e901a8ccb1fa734507"),
+    Windows(:x86_64) => ("$bin_prefix/FLINT.v200.800.0.x86_64-w64-mingw32.tar.gz", "6353f794f418ae9f8f588748e74f6a42b7af6d18ba73ad2bbba68be623461c93"),
 )
 
 # Install unsatisfied or updated dependencies: