https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 7142876374a82690a4bb4ea5d2d87b0338f0dd9f authored by Mohamed Barakat on 27 February 2023, 16:33:13 UTC
Merge pull request #579 from homalg-project/PackageJanitor-1677513212
Tip revision: 7142876
ci_prepare
#!/bin/bash

cd ..

PACKAGES_TO_CLONE="
alcove
alexander
CddInterface
CAP_project
D-Modules
NConvex
Sheaves
ToricVarieties_project
VirtualCAS
"

for PACKAGE in $PACKAGES_TO_CLONE; do
	if [ ! -e $PACKAGE ]; then
		git clone "https://github.com/homalg-project/$PACKAGE.git"
	fi
done

cd CddInterface
./install.sh $GAP_HOME
cd ..

cd ToricVarieties_project/TopcomInterface
make install
cd ../..

cd homalg_project
back to top