search

FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory
http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/
GNU General Public License v3.0
0 stars 1 forks source link

Setting up release cycle and website #3

Open olexandr-konovalov opened 5 years ago

olexandr-konovalov commented 5 years ago

At the moment, package website is http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/, and version 1.0 is published. However, loading the package causes a number of errors pointing to missing fields in the PackageInfo.g file:

#E  component `ArchiveURL' must be bound to a string started with http://, htt\
ps:// or ftp://
#E  component `ArchiveFormats' must be bound to a string
#E  component `README_URL' must be bound to a string started with http://, htt\
ps:// or ftp://
#E  component `PackageInfoURL' must be bound to a string started with http://,\
 https:// or ftp://
#E  component `PackageWWWHome' must be bound to a string started with http://,\
 https:// or ftp://
#E  component `ArchiveURLSubset' must be bound to a list of strings denoting r\
elative paths to readable files or directories
#E Validation of package predicata from /Users/alexk/Library/Preferences/GAP/p\
kg/Predicata failed

You can find examples and documentation for the missing details in https://github.com/gap-packages/example/blob/master/PackageInfo.g from the Example package.

One could fix this in several ways.

A quick fix would be to add them and point to http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/. Having no errors would allow validation of PackageInfo.g to pass.

However, for packages hosted on GutHub we offer some tools which relieve technical burden of setting up a webpage, publishing releases, and remembering all steps in the right order. First, they automate the procedure; Second, someone who has necessary permissions may be able to publish a release for you. The tools are

and their documentation explains how to set them up. I will be happy to help to set this up.

FKlie commented 5 years ago

Currently I don't have physical access to the http://www.algebra.uni-linz.ac.at/~kliemann server. Neither I have online access. So setting up a github page would definitely be the best option.

fingolfin commented 5 years ago

@FKlie, OK, then, can you please do so? The links @alex-konovalov provided at the end contain all the necessary information.

olexandr-konovalov commented 5 years ago

Also, for packages migrated to https://github.com/gap-packages organisation we can also perform the setup ourselves.

olexandr-konovalov commented 4 years ago

@FKlie there are some TODOs which do not change mathematical functionality of the package - if you could check current issues and PRs for your package and let us know your opinion and plans, that would be helpful. We can merge them ourselves and publish a new release of the package for you, but doing that on our own would be non-productive - we prefer that you will at least indicate in a comment or by approving a pull request that you have seen it and you're happy with it.