Skip to content

Commit

Permalink
Switch Julia packages to CAP_project.jl
Browse files Browse the repository at this point in the history
  • Loading branch information
zickgraf committed Aug 22, 2024
1 parent a8daaae commit 161765f
Showing 1 changed file with 2 additions and 12 deletions.
14 changes: 2 additions & 12 deletions makefile
Original file line number Diff line number Diff line change
Expand Up @@ -60,18 +60,8 @@ test-spacing:

test-gap_to_julia: doc
if [ -d "../Toposes" ]; then make -C "../Toposes" doc; fi
git clone https://github.com/homalg-project/PackageJanitor.git ~/.gap/pkg/PackageJanitor
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
git clone https://github.com/zickgraf/Toposes.jl.git ~/.julia/dev/Toposes
git clone https://github.com/zickgraf/FinSetsForCAP.jl.git ~/.julia/dev/FinSetsForCAP
~/.gap/pkg/PackageJanitor/gap_to_julia CAP
~/.gap/pkg/PackageJanitor/gap_to_julia MonoidalCategories
~/.gap/pkg/PackageJanitor/gap_to_julia CartesianCategories
~/.gap/pkg/PackageJanitor/gap_to_julia Toposes
~/.gap/pkg/PackageJanitor/gap_to_julia FinSetsForCAP
julia -e 'using Pkg; Pkg.develop("CAP"); Pkg.develop("MonoidalCategories"); Pkg.develop("CartesianCategories"); Pkg.develop("Toposes"); Pkg.develop("FinSetsForCAP");'
git clone https://github.com/zickgraf/CAP_project.jl.git ~/.julia/dev/CAP_project.jl
sh -c "cd ~/.julia/dev/CAP_project.jl && PATH = "~/.julia/dev/CAP_project.jl/gap_to_julia:$$PATH" make clean-gen && make install"
julia -e 'using Pkg; Pkg.test("CAP");'
julia -e 'using Pkg; Pkg.test("MonoidalCategories");'
julia -e 'using Pkg; Pkg.test("CartesianCategories");'
Expand Down

0 comments on commit 161765f

Please sign in to comment.