math/SoPlex: Update to 3.1.0

[yuri]

Summary

Simple update

[yuri]

This is also ready, BTW. -)

[tcberner]

I'm not sure yet, if this should be svn mv'ed to math/soplex and have its PORTNAME=soplex -- this would require a MOVED entry, or whether we should just run with the name as is now ... :)

[yuri]

In D13642#286384, @tcberner wrote:

I'm not sure yet, if this should be svn mv'ed to math/soplex and have its PORTNAME=soplex -- this would require a MOVED entry, or whether we should just run with the name as is now ... :)

Well, everybody knows this as SoPlex. :) http://soplex.zib.de

It can also be updated first, and the renaming decision be left for later. Splitting unrelated changes into separate commits is good.

[tcberner]

In D13642#286392, @yuri wrote:

In D13642#286384, @tcberner wrote:

I'm not sure yet, if this should be svn mv'ed to math/soplex and have its PORTNAME=soplex -- this would require a MOVED entry, or whether we should just run with the name as is now ... :)

Well, everybody knows this as SoPlex. :) http://soplex.zib.de

It can also be updated first, and the renaming decision be left for later. Splitting unrelated changes into separate commits is good.

Sorry, this fell down qutie far the stack (I work the reviews from the top to the bottom, not by number :) ).

I would generally go by calling the port using the same case used in the distfile. As the distfile here is 'soplex-3.*' I would have called the port soplex myself. That being said, it's called SoPlex now :) -- just keep this in mind future ports (makes it easy to argue "well, they called it that, not me" :P).

You should probably bump the revision in math/SCIP.

[yuri]

Committed.