Update to GAP.jl 0.11

homalg-project · Apr 3, 2024 · 12e5859 · 12e5859
1 parent b096c66
commit 12e5859
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -189,9 +189,17 @@ ENV PATH /home/gap/inst/julia-master/bin:${PATH}
 
 COPY clean_gap_packages.sh /home/gap/clean_gap_packages.sh
 
+# clone GAP.jl and CapAndHomalg.jl
+RUN mkdir -p .julia/dev
+RUN git clone https://github.com/oscar-system/GAP.jl .julia/dev/GAP
+RUN git clone https://github.com/homalg-project/CapAndHomalg.jl .julia/dev/CapAndHomalg
+
+# ignore compatibility of CapAndHomalg with GAP
+RUN sed -i '/GAP = "0.7/d' .julia/dev/CapAndHomalg/Project.toml
+
 # installation and cleaning has to happen in the some step or we will not get any saving due to the layering system
 # use CPU target "generic" to avoid recompilation on different x86_64 CPUs
-RUN julia --cpu-target "generic" -e 'using Pkg; Pkg.add("IJulia"); Pkg.add(url = "https://github.com/oscar-system/GAP.jl"); Pkg.add("CapAndHomalg");'; bash clean_gap_packages.sh
+RUN julia --cpu-target "generic" -e 'using Pkg; Pkg.add("IJulia"); Pkg.develop("GAP"); Pkg.develop("CapAndHomalg");'; bash clean_gap_packages.sh
 
 # Start from a BASH shell.
 CMD ["bash"]
diff --git a/clean_gap_packages.sh b/clean_gap_packages.sh
@@ -2,7 +2,7 @@
 
 set -e
 
-gap_packages_artifact_hash=4e4ea19bd0229040a3916e7a351a4fa7b43ae0b6
+gap_packages_artifact_hash=1e4da4944af996a96c81addcc8034d122d0a5738
 
 cd ~/.julia/artifacts
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,7 +2,7 @@ @@
     set -e
-    gap_packages_artifact_hash=4e4ea19bd0229040a3916e7a351a4fa7b43ae0b6
+    gap_packages_artifact_hash=1e4da4944af996a96c81addcc8034d122d0a5738
     cd ~/.julia/artifacts
@@ Expand Down @@