LISP error when integrating
I would think mirroring would consist of a cronjob (every day or so?) consisting of git pull sf master git push github master where "sf" is set up as the sourceforge remote and "github" is set up as the github remote. That's not a two-way mirror of course: all development would still go through the sourceforge repo. But you'd have a pretty up-to-date, github mirror of the current state of the maxima master branch. If you want a full mirror there are some more options to take care of, but those are...
@robert_dodier indeed. Is there a mirror of the Maxima repo somewhere that is easily linked to? The sagemath repo is also not primarily on github, but it's mirrored there and it is a much lower bar to search and refer to than cloning a repo. In this case, I knew the code in question was ancient and hadn't changed in decades, so I figured having any reference would do. The reference was really about file+lineno. This is definitely not the repo that sagemath pulls its "maxima" from! However, once maxima...
@robert_dodier indeed. Is there a mirror of the Maxima repo somewhere that is easily linked to? The sagemath repo is also not primarily on github, but it's mirrored there and it is a much lower bar to search and refer to than cloning a repo. In this case, I knew the code in question was ancient and hadn't changed in decades, so I figured having any reference would do. The reference was really about file+lineno. This is definitely not the repo that sagemath pulls its "maxima" from! However, once maxima...
Yes, that would solve the problem for us! We still need to (monkey)patch retrieve because we need it to raise an error rather than to ask a question: when we use maxima as a library, the STDIN/STDOUT aren't actually connected to a terminal on which a user can answer. That's a problem that is ours, though. However, it would save us going through the "msg" replacing | | with " " after the fact. If you'd be OK with pushing this change then we'll happily throw out our postprocessing once we upgrade to...
Outdated way of constructing a string
Yes, this is really just an additional build-target. It would really be a bug if it affected anything when not activated.
Problem with sum