[MacPorts] #45152: pure-reduce @0.4: new port submission

MacPorts noreply at macports.org
Thu Sep 25 03:20:07 PDT 2014


#45152: pure-reduce @0.4: new port submission
--------------------------+--------------------------
  Reporter:  aggraef@…    |      Owner:  ryandesign@…
      Type:  submission   |     Status:  assigned
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.1
Resolution:               |   Keywords:
      Port:  pure-reduce  |
--------------------------+--------------------------

Comment (by aggraef@…):

 Replying to [comment:2 ryandesign@…]:
 > Can pure-reduce not use the existing reduce-algebra port already in
 MacPorts?

 No, it uses a much newer revision of reduce-algebra, and a variant based
 on CSL rather than PSL. That's the combination that I found works best for
 the purposes of the pure-reduce module. In fact, I'm using this specific
 revision r2204 of reduce-algebra since I found that later versions failed
 to compile or were broken in some other ways.

 Also, I need to build reduce-algebra as a dynamic library so that I can
 link it into the pure-reduce module. I use a custom build process for that
 which requires the relevant parts of the reduce-algebra sources (basically
 the "embedded" CSL version of Reduce and its "procedural interface") to be
 available during the build. The reduce-algebra module doesn't provide
 this, it only offers an executable.

 BTW, I can't even make the reduce-algebra port to run. This is all that I
 get:

 {{{
 $ redpsl
 Failed to find a version of bpsl that you have built
 try ./configure --with-psl; make to build one.
 }}}

 > Is there a reason why you're specifying `configure.cflags-append -O2`?
 Does the `-Os` optimization level MacPorts uses by default not work for
 this port?

 No, `-Os` will probably work fine with clang. That port was done before I
 actually measured the performance of clang-generated code with `-Os`.

-- 
Ticket URL: <https://trac.macports.org/ticket/45152#comment:3>
MacPorts <http://www.macports.org/>
Ports system for OS X


More information about the macports-tickets mailing list