https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 3ee764cd9289f888702053b1b0b7ba6cb9820cef authored by Mohamed Barakat on 17 August 2022, 19:18:17 UTC
Merge pull request #499 from mohamed-barakat/devel
Tip revision: 3ee764c
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