Skip to main content

Browse the archive

https://github.com/homalg-project/homalg_project
10 March 2024, 21:17:43 UTC
Revision fa8779ed9cf4f11661d3505583e10bbb4f115aba authored by Mohamed Barakat on 17 August 2022, 15:13:25 UTC, committed by Mohamed Barakat on 17 August 2022, 15:13:25 UTC 
Modules: applied PackageJanitor
1 parent 037b7f4
Raw File
Tip revision: fa8779ed9cf4f11661d3505583e10bbb4f115aba authored by Mohamed Barakat on 17 August 2022, 15:13:25 UTC
Modules: applied PackageJanitor
Tip revision: fa8779e
make_dist.sh 
#!/bin/bash

set -e

packages="homalg 4ti2Interface ExamplesForHomalg Gauss GaussForHomalg GradedModules GradedRingForHomalg HomalgToCAS IO_ForHomalg LocalizeRingForHomalg MatricesForHomalg Modules RingsForHomalg SCO ToolsForHomalg "

base_dir="$PWD"

for pkg in ${packages}; do
  ./release-gap-package --skip-existing-release --srcdir ${base_dir}/${pkg} --webdir ${base_dir}/gh-pages/${pkg} --update-script ${base_dir}/gh-pages/update.g $@
done
back to top