Reduce Algebra port

Mark Brethen mark.brethen at
Sun Dec 11 14:49:53 PST 2011

It looks like the latest svn already includes PSL. This is from the read me:

Status report January 2011


We have the PSL sources in the trunk cleaned up for the most 
wanted versions, i.e. Windows, Linux(Intel), and Mac/OS (Intel)
both 32 and 64 bit.

The maintenance for the PSL trees is done by the script     in this directory.

This script chooses the traditional PSL-name from the generic name used
at configure time, e.g.

x86_64-unknown-ubuntu10.04   ==>  AMD64

which keeps the name stable across changes of the OS version or
change of the Linux distribution.

Simply starting the script by ./ produces a PSL tree *here*,
most important are ./bin and ./dist .

There are variants (as usual :-) ) which allow one to produce a different
version on a compatible system, e.g. an extended AMD64 system (using
all registers, inline cons, etc) which can be made by

./ AMD64_ext

on an 64 bit Linux system. As of today, you can produce versions called
linux (32 bit Intel Linux) or brock (don't ask) by setting the parameter.

Similar thing can be done on MAC/OS. The canonical name is mactintel64,
but macintel can be generated on a 64 bit system as well.


Based on the PSL versions described above, one is able to produce REDUCE
versions for PSL which not rely on binaries from ZIB Berlin. After 

svn update               (or checkout)    and
./configure --with-psl         one can use
cd psl 
./            not stricly necessary, but we cannot discuss this here
./         takes the local binaries and the Makefile form configure
                         to produce a REDUCE version. The names are the same as above,
                         Parameterisation as above too, a little trick is used to
                         find the Makefile.             
                         REDUCE can be started from ../pslbuild/<MACHINE>/redpsl
                         which can be copied to a more convenient place.

On Dec 11, 2011, at 3:16 PM, Ryan Schmidt wrote:

> On Dec 11, 2011, at 13:06, Mark Brethen wrote:
>> I was developing a port a couple months back for Reduce Algebra. Recently I received some feedback below about the installation on linux and it was pretty simple. Any reason it should not be the same for Mac?
>> ###
>> -Mark
>> Begin forwarded message:
>>> From: "Andrey G. Grozin" <A.G.Grozin at>
>>> Date: December 11, 2011 9:08:49 AM CST
>>> To: Mark Brethen <mark.brethen at>
>>> Subject: Re: [TeXmacs] reduce plugin
>>> On Sun, 11 Dec 2011, Mark Brethen wrote:
>>>> At present there are no PSL pre-built downloads provided via the sourceforge setup. Do you know if it has successfully compiled on a mac?
>>> Don't know about mac. On Linux, I just check out the current source using subversion and do
>>> ./configure --with-psl
>>> It is important to have Internet connection at this moment: configure actually downloads stuff from ZIB Berlin. Then
>>> make
>>> and that's all. No special installation needed; if you want, you can symlink redpsl to some place in your $PATH.
>>> Once more, I don't have a mac, and don't know if this will work in MacOS (and if all the standard tools like GNU make, etc. are available).
> Of course the standard tools like GNU make etc. are available on OS X.
> The port would need a custom destroot phase to install the software into ${destroot}${prefix} somewhere.
> The configure script should be patched to *not* download stuff; downloads should happen only in the fetch phase.


More information about the macports-dev mailing list