Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Packify #8

Closed
wants to merge 7 commits into from
Closed

Packify #8

wants to merge 7 commits into from

Conversation

JanWielemaker
Copy link
Contributor

Hi Rick, These changes implement the git organization I would use. This also requires renaming the repo to simply clpBNR. Using this arrangement you can upload a version using the script upload-pack that you find in the scripts directory of the source distribution or at https://github.com/SWI-Prolog/swipl-devel/blob/master/scripts/upload-pack. You need to set GITHUBUSER to ridgeworks

To release a version, simply edit the version in pack.pl, commit and run the above script from within the git working directory. This uses github's release zip archiving. This may require me to update the source location of the package.
Alternatively you can register the package using the https git URL, which causes pack install to clone the git repo.

You might consider creating a separate repo for the docs concerning their size. Docs look good!

Pushed some more changes to cleanup usage as a library. I tried to keep the changes small, so you can see what to accept.

@ridgeworks
Copy link
Owner

ridgeworks commented Jan 14, 2021 via email

@ridgeworks
Copy link
Owner

Suggested structure has been included in clpBNR 0.9.5 with a couple of changes:

  1. clpBNR banner message retained but as informational print_message.
  2. clpBNR globals now always initialized via user:exception, i.e. same for all threads.

Loading as .git works; downside is it includes docs (2+Mbyes) which will probably never be used locally. docs directory cleanup deferred to future cleanup.

Thanks again for detailed input.

@ridgeworks ridgeworks closed this Jan 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants