https://github.com/homalg-project/homalg_project
Raw File
Tip revision: 9b6926a305406ed2a4ba72613f5aacfa387826b3 authored by Mohamed Barakat on 16 October 2020, 15:33:32 UTC
Merge pull request #377 from zickgraf/PackageJanitor
Tip revision: 9b6926a
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-file ${base_dir}/gh-pages/update.g $@
done
back to top