Add FpCategories into Makefile targets

Author: kamalsaleh

dev/manually_update_subsplits.sh

@@ -30,3 +30,8 @@ echo "Pushed to ToolsForCategoricalTowers.jl"
 git subtree split --prefix=QuotientCategories -b QuotientCategories-split
 git push git@github.com:${GITHUB_USER}/QuotientCategories.jl.git QuotientCategories-split:master
 echo "Pushed to QuotientCategories.jl"
+
+# FpCategories
+git subtree split --prefix=FpCategories -b FpCategories-split
+git push git@github.com:${GITHUB_USER}/FpCategories.jl.git FpCategories-split:master
+echo "Pushed to FpCategories.jl"

dev/update_subsplits.sh

@@ -29,3 +29,8 @@ echo "Pushed to ToolsForCategoricalTowers.jl"
 git subtree split --prefix=QuotientCategories -b QuotientCategories-split > /dev/null 2>&1
 git push https://${JULIA_SUBSPLIT_TOKEN}@github.com/homalg-project/QuotientCategories.jl.git QuotientCategories-split:master
 echo "Pushed to QuotientCategories.jl"
+
+# FpCategories
+git subtree split --prefix=FpCategories -b FpCategories-split > /dev/null 2>&1
+git push https://${JULIA_SUBSPLIT_TOKEN}@github.com/homalg-project/FpCategories.jl.git FpCategories-split:master
+echo "Pushed to FpCategories.jl"

makefile

@@ -2,23 +2,28 @@ install:
 	julia -e 'using Pkg; \
 		Pkg.develop(path = "ToolsForCategoricalTowers"); \
 		Pkg.develop(path = "QuotientCategories"); \
+		Pkg.develop(path = "FpCategories"); \
 	'
 
 gen:
 	$(MAKE) -C ToolsForCategoricalTowers gen
 	$(MAKE) -C QuotientCategories gen
+	$(MAKE) -C FpCategories gen
 
 gen-full:
 	$(MAKE) -C ToolsForCategoricalTowers gen-full
 	$(MAKE) -C QuotientCategories gen-full
+	$(MAKE) -C FpCategories gen-full
 
 test:
 	$(MAKE) -C ToolsForCategoricalTowers test
 	$(MAKE) -C QuotientCategories test
+	$(MAKE) -C FpCategories test
 
 git-commit:
 	$(MAKE) -C ToolsForCategoricalTowers git-commit
 	$(MAKE) -C QuotientCategories git-commit
+	$(MAKE) -C FpCategories git-commit
 
 update-subsplits:
 	./dev/manually_update_subsplits.sh