|
3 | 3 | using BinaryBuilder, Pkg
|
4 | 4 | using Base.BinaryPlatforms
|
5 | 5 |
|
6 |
| -# copied from libsingular_julia: |
| 6 | +# needed for libjulia_platforms and julia_versions |
| 7 | +include("../../L/libjulia/common.jl") |
| 8 | +# we only support julia >=1.10 |
| 9 | +filter!(>=(v"1.10"), julia_versions) |
| 10 | + |
7 | 11 | # See https://github.com/JuliaLang/Pkg.jl/issues/2942
|
8 | 12 | # Once this Pkg issue is resolved, this must be removed
|
| 13 | +# without this binarybuilder tries to install libblastrampoline 3.0.4 for all julia targets |
| 14 | +uuidblastramp = Base.UUID("8e850b90-86db-534c-a0d3-1478176c7d93") |
| 15 | +delete!.(Pkg.Types.get_last_stdlibs.(julia_versions), uuidblastramp) |
| 16 | + |
9 | 17 | uuidopenssl = Base.UUID("458c3c95-2e84-50aa-8efc-19380b2a3a95")
|
10 | 18 | delete!(Pkg.Types.get_last_stdlibs(v"1.12.0"), uuidopenssl)
|
11 | 19 | delete!(Pkg.Types.get_last_stdlibs(v"1.13.0"), uuidopenssl)
|
12 | 20 |
|
13 |
| -# needed for libjulia_platforms and julia_versions |
14 |
| -include("../../L/libjulia/common.jl") |
15 |
| - |
16 | 21 | name = "libpolymake_julia"
|
17 | 22 | version = v"0.14.0"
|
18 | 23 |
|
19 | 24 | # reminder: change the above version when changing the supported julia versions
|
20 | 25 | # julia_versions is now taken from libjulia/common.jl and filtered
|
21 |
| -filter!(>=(v"1.10"), julia_versions) |
22 | 26 | julia_compat = join("~" .* string.(getfield.(julia_versions, :major)) .* "." .* string.(getfield.(julia_versions, :minor)), ", ")
|
23 | 27 |
|
24 | 28 | # Collection of sources required to build libpolymake_julia
|
@@ -68,6 +72,8 @@ dependencies = [
|
68 | 72 | BuildDependency(PackageSpec(;name="libjulia_jll", version=v"1.10.19")),
|
69 | 73 | BuildDependency("GMP_jll"),
|
70 | 74 | BuildDependency("MPFR_jll"),
|
| 75 | + # this version matches the one in Ipopt_jll (needed by polymake -> SCIP) |
| 76 | + BuildDependency(PackageSpec(;name="libblastrampoline_jll", version = v"5.4.0")), |
71 | 77 | Dependency("CompilerSupportLibraries_jll"),
|
72 | 78 | Dependency("FLINT_jll", compat = "~301.300.0"),
|
73 | 79 | Dependency("TOPCOM_jll"; compat = "~0.17.8"),
|
|
0 commit comments