https://github.com/homalg-project/homalg_project
Raw File
Tip revision: c76e9abd05edabc963c7edae40cffdcb7e10e6e2 authored by Mohamed Barakat on 23 August 2023, 11:14:49 UTC
Merge pull request #590 from mohamed-barakat/devel
Tip revision: c76e9ab
ci_prepare
#!/bin/bash

cd ..

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

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

cd homalg_project
back to top