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
fix or remove cliquer #19967
Comments
comment:2
I'll let it burn in autohell, to begin with. Wish me luck. Hopefully this at least makes it installable everywhere we need... |
comment:3
Replying to @dimpase:
luck. |
comment:4
https://github.com/dimpase/autocliquer has the dirty stuff done; one can build shared libs on Linux and OSX and cliquer's own tests pass. I don't know how to properly hook the tests into the autohell (so that
what the the right Makefile.am magic for them? Similarly, there are I can't also figure out how to set up the proper version number on the |
comment:5
For proper version number it is in |
comment:6
PR sent... |
comment:7
Replying to @vbraun:
Which PR to who? |
comment:8
Replying to @jdemeyer:
a PR to me on the github repo https://github.com/dimpase/autocliquer I have already used it and make a proper testsuite; tests pass. Now to the version thing, and it will be ready for making its way into Sage. |
New commits:
|
Branch: public/autocliquer |
Commit: |
This comment has been minimized.
This comment has been minimized.
comment:10
oh, sorry, the same rotten develop branch of me --- will be fixed soon |
comment:11
you may meanwhile just review the last commit (05c5881) sorry for mess |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
comment:13
Why fork cliquer? Did you even try to report this upstream? |
comment:14
Replying to @jdemeyer:
I know Patric, the maintainer, for over 20 years. I sent him an email, but he is a busy guy, and I am not sure how quickly he will react. Meanwhile this is all we have. |
Upstream: Reported upstream. No feedback yet. |
comment:17
Still: why fork cliquer instead of patching the sources? |
comment:18
Replying to @jdemeyer:
Cause this is the only way I know how to fix it once and for good. And cause this is waste of anyone's time to do manual building of shared libraries instead of using appropriate tools. |
comment:20
or do you mean to say "why don't I create a mega-patch instead of being honest about it?" |
comment:21
Replying to @dimpase:
If it is a mega-patch, you're probably doing it wrong. |
comment:22
Replying to @jdemeyer:
Maybe you stop saying how wrong I am and review my changes? I forwarded you the email I just got from the maintainer. Go figure. I don't think we have this option in the "Report Upstream" menu. |
comment:23
Replying to @dimpase:
Which is very good, I'm not complaining about that. I am only saying that this is not a reason to fork cliquer. |
Reviewer: Volker Braun |
comment:24
Can you add a |
Changed upstream from Reported upstream. No feedback yet. to Reported upstream. Developers deny it's a bug. |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Author: Dima Pasechnik |
comment:27
OK, done |
Changed branch from public/autocliquer to |
The installation of cliquer can fail randomly with:
Really the current cliquer has no business being a standard package:
get autotoolized tarball at http://users.ox.ac.uk/~coml0531/sage/cliquer-1.21.tar.gz
Errors are not caught
(probably another ticket?)
A libcliquer.so is installed on Darwin (in addition to libcliquer.dylib)
(not with the new autotoolized version)
Upstream: Reported upstream. Developers deny it's a bug.
CC: @dimpase @nathanncohen @williamstein
Component: packages: standard
Author: Dima Pasechnik
Branch/Commit:
8d7f039
Reviewer: Volker Braun
Issue created by migration from https://trac.sagemath.org/ticket/19967
The text was updated successfully, but these errors were encountered: