#5994: singular.version() yields an error when first called, has no doctest, and
has a strange output imo
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner: was
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: interfaces | Resolution:
Keywords: singular version | Merged in:
help.cnf | Reviewers:
Authors: William Stein, | Work issues:
Simon King | Commit:
Report Upstream: Reported | a2ae8c869553c8aff5404ef2cfcaf95d2f8eac52
upstream. No feedback yet. | Stopgaps:
Branch: |
u/SimonKing/singular_version_yielding_error|
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
Replying to [comment:41 jdemeyer]:
> Replying to [comment:37 SimonKing]:
> > But for now, we need a work-around in Sage.
> I suggest you just change `spkg-install` to touch the empty file
`$SAGE_SHARE/singular/help.cnf`
Why not modify spkg-install, so that it installs the missing file?
Alternatively, we could patch Singular's Makefile (or whatever it is
called) so that it installs the missing file. What is the preferred way?
Also, I'd like to know why Singular's Makefile does not install help.cnf.
After all, if I understand correctly, it DOES install all the library
files of Singular.
Hang on. I just notice that the singular spkg apparently screws
completely. Or how would you explain that I find the complete UNPACKED
singular source tree in SAGE_LOCAL/upstream/ ? Do we need a new Singular
package?
--
Ticket URL: <http://trac.sagemath.org/ticket/5994#comment:42>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
