Skip to content

Commit 572f34d

Browse files
authored
[libpolymake_julia] build for julia 1.7 (#3303)
1 parent c444199 commit 572f34d

File tree

2 files changed

+7
-3
lines changed

2 files changed

+7
-3
lines changed

L/libpolymake_julia/common.jl

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,9 @@ version = VersionNumber(upstream_version.major, upstream_version.minor, upstream
1010

1111
# Collection of sources required to build libpolymake_julia
1212
sources = [
13-
ArchiveSource("https://github.com/oscar-system/libpolymake-julia/archive/v$(upstream_version).tar.gz",
14-
"f7733a8eb2b2e75d63db6cb6b035b9fae24ce7f6c2992253a3df0529a914ad37"),
13+
# ArchiveSource("https://github.com/oscar-system/libpolymake-julia/archive/v$(upstream_version).tar.gz",
14+
# "f7733a8eb2b2e75d63db6cb6b035b9fae24ce7f6c2992253a3df0529a914ad37"),
15+
GitSource("https://github.com/oscar-system/libpolymake-julia.git", "ae511cfa548044a81918fe885af5226bd4bb8cfc"),
1516
]
1617

1718
# Bash recipe for building across all platforms
@@ -30,7 +31,7 @@ cmake libpolymake-j*/ -B build \
3031
3132
VERBOSE=ON cmake --build build --config Release --target install -- -j${nproc}
3233
33-
install_license $WORKSPACE/srcdir/libpolymake-j*/LICENSE.md
34+
install_license libpolymake-j*/LICENSE.md
3435
"""
3536

3637
# These are the platforms we will build for by default, unless further
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
const julia_version = v"1.7.0"
2+
include("../common.jl")
3+

0 commit comments

Comments
 (0)