math/open-axiom gone?

Discussion:

(too old to reply)

cpghost

2016-07-26 02:18:14 UTC

Hello,

after updating my ports tree, I've found out that math/open-axiom
has been deleted! After math/fricas unusable with sbcl-1.3.x for
many months and now gone too, I'm left with NO alternatives for
that kind of software here.

Fortunately, I still have a working package of open-axiom on my machine,
running with SBCL 1.3.1 right now:

$ pkg version -v | grep open-axiom
open-axiom-1.4.2_3 ? orphaned: math/open-axiom

$ uname -a
FreeBSD phenom.fritz.box 10.3-STABLE FreeBSD 10.3-STABLE #0 r303311: Mon Jul 25 20:42:34 CEST 2016 ***@phenom.fritz.box:/usr/obj/usr/src/sys/GENERIC amd64

$ open-axiom
OpenAxiom: The Open Scientific Computation Platform
Version: OpenAxiom 1.4.2
Built on Friday June 19, 2015 at 22:28:27
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave OpenAxiom and return to shell.
-----------------------------------------------------------------------------

(1) -> )quit

$ sbcl
This is SBCL 1.3.1, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (sb-ext:exit)

Do you recommend to switch to Debian GNU/Linux, where those packages
are still actively maintained, or is there a chance in hell to see
those ports reappear in the near future on FreeBSD?

Thanks,
-cpghost.

--
Cordula's Web. http://www.cordula.ws/

Montgomery-Smith, Stephen

2016-07-26 02:30:57 UTC

Permalink

Post by cpghost
Hello,
after updating my ports tree, I've found out that math/open-axiom
has been deleted! After math/fricas unusable with sbcl-1.3.x for
many months and now gone too, I'm left with NO alternatives for
that kind of software here.
Fortunately, I still have a working package of open-axiom on my machine,
$ pkg version -v | grep open-axiom
open-axiom-1.4.2_3 ? orphaned: math/open-axiom
$ uname -a
$ open-axiom
OpenAxiom: The Open Scientific Computation Platform
Version: OpenAxiom 1.4.2
Built on Friday June 19, 2015 at 22:28:27
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave OpenAxiom and return to shell.
-----------------------------------------------------------------------------
(1) -> )quit
$ sbcl
This is SBCL 1.3.1, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (sb-ext:exit)
Do you recommend to switch to Debian GNU/Linux, where those packages
are still actively maintained, or is there a chance in hell to see
those ports reappear in the near future on FreeBSD?
Thanks,
-cpghost.

Yes, there is definitely a "chance in hell" that I'll try to fix this.
(Please be nice to us volunteers, or at least don't curse us until we
have proven we deserve it.)

Can you submit this as a bug at
https://bugs.freebsd.org/bugzilla/enter_bug.cgi? Then the problem
report is in a place where I'll remember to work on this in a few days
time when I have the time.

Right now I'm working on this:
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211334. I do
generally reply to bug reports in a reasonably timely manner.

I should add that I created these ports quite a while ago when I was
looking for free symbolic math packages. Now I don't use them any more.
So if you (or anyone else) would like to take over as maintainer of
these ports, that would be wonderful.

BTW, all I did is mark them broken. But broken ports tend to get
deleted after a while. So this is the first I knew about it.

Thanks,
Stephen

Mathieu Arnold

2016-07-26 08:09:57 UTC

Permalink

+--On 26 juillet 2016 04:18:14 +0200 cpghost <***@cordula.ws> wrote:
| Hello,
|
| after updating my ports tree, I've found out that math/open-axiom
| has been deleted! After math/fricas unusable with sbcl-1.3.x for
| many months and now gone too, I'm left with NO alternatives for
| that kind of software here.
|
| Fortunately, I still have a working package of open-axiom on my machine,
| running with SBCL 1.3.1 right now:

Like all ports that are removed because BROKEN, it had been marked BROKEN,
because it was not building, for about six months before being removed, so
that someone, anyone, can step in and provide a fix. This is a volunteer
project, and if you need this software, feel free to submit a patch so that
it builds again.

Regards,

--
Mathieu Arnold

Montgomery-Smith, Stephen

2016-07-27 00:17:30 UTC

Permalink

How did you manage to build math/open-axiom? I tried building it again,
and I am still getting the errors. You must have at least by-passed the
BROKEN within the port.

Also, regarding your last comment, I must admit that I also find myself
moving to Linux. For certain tasks it works better than FreeBSD,
probably because it has a much larger base of volunteers, and also
because most people who write open source do it on Linux.

cpghost

2016-07-27 01:18:16 UTC

Permalink

Post by Montgomery-Smith, Stephen

Hello, sorry for the late reply.

Post by Montgomery-Smith, Stephen
How did you manage to build math/open-axiom? I tried building it again,
and I am still getting the errors. You must have at least by-passed the
BROKEN within the port.

I actually didn't build it now. It was built a while ago (from ports),
and I was just lucky to still have it on that machine. Let me see how
old it is...:

$ ls -l `which open-axiom`
-r-xr-xr-x 1 root wheel 1019720 Jun 19 2015 /usr/local/bin/open-axiom

Okay, granted, that's *ancient*, already! ;-)

That's why I was surprised that the port disappeared, since I didn't even
notice that it was marked BROKEN. I just kept using the installed program.
I'm surprised it slipped through the upgrade cycle without me noticing,
because last time I upgraded ports on that machine before yesterday was:

$ zfs list -t snap | grep ports
<...snip...>
zroot/usr/***@2016-05-13-r414969 1.32G - 22.0G -

... and, let me see... yes, it was marked BROKEN there. Okay, I'll have
a look then, but I doubt I have the skills to fix that problem.

Post by Montgomery-Smith, Stephen
Also, regarding your last comment, I must admit that I also find myself
moving to Linux. For certain tasks it works better than FreeBSD,
probably because it has a much larger base of volunteers, and also
because most people who write open source do it on Linux.

Indeed. I didn't meant to sound harsh. Sorry if it came across as such.
I was running low on coffee and high on frustration. A lot of good ports
just vanished in the last couple of years.

I really prefer FreeBSD for many, many reasons; but sometimes, you need
to get some work done, and done pretty fast, and there's not much time
to go hunting for the reason why a program won't compile, while on Linux,
a './configure && make && make install' would usually suffice (more or less,
of course, after getting all the dependencies in place).

I hope we can find the problem that's preventing bootstrapping. ;-)

Regards,

-cpghost.

--
Cordula's Web. http://www.cordula.ws/

Torsten Zuehlsdorff

2016-07-27 08:51:39 UTC

Permalink

Hello,

Post by cpghost

Post by Montgomery-Smith, Stephen

Post by cpghost
after updating my ports tree, I've found out that math/open-axiom
has been deleted! After math/fricas unusable with sbcl-1.3.x for
many months and now gone too, I'm left with NO alternatives for
that kind of software here.
Fortunately, I still have a working package of open-axiom on my machine,
$ pkg version -v | grep open-axiom
open-axiom-1.4.2_3 ? orphaned: math/open-axiom
$ uname -a
$ open-axiom
OpenAxiom: The Open Scientific Computation Platform
Version: OpenAxiom 1.4.2
Built on Friday June 19, 2015 at 22:28:27
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave OpenAxiom and return to shell.
-----------------------------------------------------------------------------
(1) -> )quit
$ sbcl
This is SBCL 1.3.1, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (sb-ext:exit)
Do you recommend to switch to Debian GNU/Linux, where those packages
are still actively maintained, or is there a chance in hell to see
those ports reappear in the near future on FreeBSD?
Thanks,
-cpghost.

Hello, sorry for the late reply.

I actually didn't build it now. It was built a while ago (from ports),
and I was just lucky to still have it on that machine. Let me see how
$ ls -l `which open-axiom`
-r-xr-xr-x 1 root wheel 1019720 Jun 19 2015 /usr/local/bin/open-axiom
Okay, granted, that's *ancient*, already! ;-)

At minimum ;) Maybe its already antique ;)

Post by cpghost
That's why I was surprised that the port disappeared, since I didn't even
notice that it was marked BROKEN. I just kept using the installed program.
I'm surprised it slipped through the upgrade cycle without me noticing,
$ zfs list -t snap | grep ports
<...snip...>
... and, let me see... yes, it was marked BROKEN there. Okay, I'll have
a look then, but I doubt I have the skills to fix that problem.

At least the error messages are very helpful. It even provides a link to
the manual with hints how to solve.
But to be fair there are only 2 choices:
1) revise the port and wrote numerous patches to be buildable again
2) get upstream to fix them

Post by cpghost

Indeed. I didn't meant to sound harsh. Sorry if it came across as such.
I was running low on coffee and high on frustration. A lot of good ports
just vanished in the last couple of years.

Were they still supported? Is there any need?

Post by cpghost
I really prefer FreeBSD for many, many reasons; but sometimes, you need
to get some work done, and done pretty fast, and there's not much time
to go hunting for the reason why a program won't compile, while on Linux,
a './configure && make && make install' would usually suffice (more or less,
of course, after getting all the dependencies in place).

At least this is also possible at FreeBSD ;) But that is not a good way
for server.

I have some customers paying me to keep old ports running/compiling even
after there were dropped from the portstree. This could be possibility
number 3 for you. Find somebody who is able to fix it.

Greetings,
Torsten

C. P. Ghost

2016-07-27 15:31:05 UTC

Permalink

On Wed, Jul 27, 2016 at 2:17 AM, Montgomery-Smith, Stephen

Hello again,
I've tried again and commented out the BROKEN line in
Makefile. Then, during compilation, all I did was to replay '1'
(ignore all package locks) in the SBCL debugger multiple times,
and the compilation went through without problems. I didn't
experience any endless loop. Then, deinstalled the old package
and reinstalled the newly compiled port, and voila, it runs.
Please see attached typescript.xz
So, strangely though, the port still runs, if we ignore the errors
thrown by SBCL.

Maybe I should add that I didn't try to compile the port on
a machine without open-axiom already installed! Perhaps that
makes a difference? It should become apparent in the typescript.

Regards,
-cpghost.
--
Cordula's Web. http://www.cordula.ws/

Thanks,
-cpghost.

--
Cordula's Web. http://www.cordula.ws/

C. P. Ghost

2016-07-27 16:24:26 UTC

Permalink

On Tue, Jul 26, 2016 at 4:30 AM, Montgomery-Smith, Stephen <

Post by Montgomery-Smith, Stephen
Can you submit this as a bug at
https://bugs.freebsd.org/bugzilla/enter_bug.cgi? Then the problem
report is in a place where I'll remember to work on this in a few days
time when I have the time.

But report filed:

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211411

I hope it is in the right format. ;-)

Post by Montgomery-Smith, Stephen
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=211334. I do
generally reply to bug reports in a reasonably timely manner.

Thanks,
-cpghost.

--
Cordula's Web. http://www.cordula.ws/

Continue reading on narkive:

Search results for 'math/open-axiom gone?' (Questions and Answers)

replies

Why is math important??

started 2007-05-30 08:31:01 UTC

mathematics

replies

A resolution to the mind-bending paradox?

started 2012-12-25 07:38:09 UTC

mathematics