Skip to content

Commit 3064185

Browse files
Workaround in build.jl to by-pass the issue with
P4est_jll.find_artifact_dir() not being available in Github Actions
1 parent ad3720d commit 3064185

File tree

1 file changed

+14
-7
lines changed

1 file changed

+14
-7
lines changed

deps/build.jl

Lines changed: 14 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,19 @@
11
using Libdl
22

3-
P4EST_ARTIFACT = false
4-
if VERSION < v"1.3"
5-
DEFAULT_P4EST_ROOT_DIR = "/usr"
6-
else
7-
using P4est_jll
8-
P4EST_ARTIFACT = true
9-
DEFAULT_P4EST_ROOT_DIR = P4est_jll.find_artifact_dir()
3+
4+
5+
if !(haskey(ENV,"P4EST_ROOT_DIR"))
6+
P4EST_ARTIFACT = false
7+
if VERSION < v"1.3"
8+
DEFAULT_P4EST_ROOT_DIR = "/usr"
9+
else
10+
using P4est_jll
11+
P4EST_ARTIFACT = true
12+
DEFAULT_P4EST_ROOT_DIR = P4est_jll.find_artifact_dir()
13+
end
14+
else
15+
P4EST_ARTIFACT = false
16+
DEFAULT_P4EST_ROOT_DIR = ENV["P4EST_ROOT_DIR"]
1017
end
1118

1219
P4EST_FOUND = true

0 commit comments

Comments
 (0)