lang/polyml: Update to 5.8.1

[rhurlin]

Summary

• Bug fix release for version 5.8
• Visual Studio projects have been updated to VS2017 and SDK 10

Changelog: https://github.com/polyml/polyml/releases/tag/v5.8.1

Submitted by Wen Heping <[e-mail]> in PR 253282.

(PR still waiting for maintainer approval from Timothy Beyer <[e-mail]>)

Tested on Poudriere (amd64, i386). 'portlint -AC' is fine.

[arrowd]

Settle the MOTIF_USE_XORG thing and feel free to commit.

lang/polyml/Makefile

41 ↗

(On Diff #83523)

IIRC, it is MOTIF_USE= xorg=x11,xext,x1.

[tcberner]

lang/polyml/Makefile

41 ↗

(On Diff #83523)

Correct, see:
https://github.com/freebsd/freebsd-ports-kde/blob/master/Mk/bsd.options.mk#L148

[rhurlin]

lang/polyml/Makefile

41 ↗

(On Diff #83523)

Thanks to both for your comments and thanks for the hint, it works!

Before, I tried MOTIF_USE= XORG=x11,xext,xt (with capital letters) like the example (FOO=bar, not foo=bar) and that one did not work ...

I changed it in my patch already. Now I have to wait for maintainers feedback ;)