From 206e6f637c853e5ffba834ac69e076ac75b689e0 Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Thu, 4 Apr 2024 09:28:12 +0200 Subject: [PATCH] Do not create ~/.julia/dev It already exists in the docker container since https://github.com/homalg-project/gap-docker-base/commit/12e5859a907166aeaa21be58c60947c2e1503836 --- makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/makefile b/makefile index db6547b..150828a 100644 --- a/makefile +++ b/makefile @@ -61,7 +61,6 @@ test-spacing: test-gap_to_julia: doc if [ -d "../FinSetsForCAP" ]; then make -C "../FinSetsForCAP" doc; fi git clone https://github.com/homalg-project/PackageJanitor.git ~/.gap/pkg/PackageJanitor - mkdir ~/.julia/dev git clone https://github.com/zickgraf/CAP.jl.git ~/.julia/dev/CAP git clone https://github.com/zickgraf/MonoidalCategories.jl.git ~/.julia/dev/MonoidalCategories git clone https://github.com/zickgraf/CartesianCategories.jl.git ~/.julia/dev/CartesianCategories