From adcfc6dd37646408e31e7c88a8583113738b0036 Mon Sep 17 00:00:00 2001 From: Sebastian Gutsche Date: Thu, 20 Jun 2019 16:48:10 +0200 Subject: [PATCH] In build.jl: Only clone new GAP if gap subfolder not present --- deps/build.jl | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/deps/build.jl b/deps/build.jl index a4836f63..ce20ec51 100644 --- a/deps/build.jl +++ b/deps/build.jl @@ -23,11 +23,18 @@ julia_binary = get(ENV, "JULIA_BINARY", Sys.BINDIR) if install_gap println("Installing GAP ...") cd(extra_gap_root) - ## TODO: We currently use the GAP master branch. - ## Once all issues of using GAP with the julia - ## GC are resolved, we switch to a stable version. - run(`git clone --depth=1 https://github.com/gap-system/gap`) - cd("gap") + ## check if gap already exists + if isdir("gap") + ### Update the GAP clone + cd("gap") + run(`git pull --depth=1 origin master`) + else + ## TODO: We currently use the GAP master branch. + ## Once all issues of using GAP with the julia + ## GC are resolved, we switch to a stable version. + run(`git clone --depth=1 https://github.com/gap-system/gap`) + cd("gap") + end run(`./autogen.sh`) run(`./configure --with-gc=julia --with-julia=$(julia_binary)`) run(`make -j$(Sys.CPU_THREADS)`)