https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 0ec9b51a789e84dd109a52e577ff5a2f43dc52f5 authored by Mohamed Barakat on 01 September 2023, 16:20:48 UTC
Merge pull request #591 from mohamed-barakat/devel
Tip revision: 0ec9b51
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