Dynamically find gap_packages artifact hash

homalg-project · Jun 14, 2024 · 5dc1d75 · 5dc1d75
1 parent 3cbffe9
commit 5dc1d75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/clean_gap_packages.sh b/clean_gap_packages.sh
@@ -2,7 +2,7 @@
 
 set -e
 
-gap_packages_artifact_hash=1e4da4944af996a96c81addcc8034d122d0a5738
+gap_packages_artifact_hash=$(julia --cpu-target "generic" -e 'using Artifacts; using GAP; print(artifact_hash("gap_packages", abspath(pathof(GAP), "..", "..", "Artifacts.toml")))')
 
 cd ~/.julia/artifacts