lang/polyml: Update to 5.8.1
ClosedPublic
Actions

Authored by rhurlin on Feb 8 2021, 6:02 AM.

Details

Reviewers

arrowd
tcberner

Commits

rP565011: lang/polyml: Update to 5.8.1

Summary

Submitted by Wen Heping <wen@FreeBSD.org> in PR 253282.

(PR still waiting for maintainer approval from Timothy Beyer <beyert@cs.ucr.edu>)

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

Repository

rP FreeBSD ports repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

rhurlin requested review of this revision.Feb 8 2021, 6:02 AM

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`.

This revision is now accepted and ready to land.Feb 8 2021, 8:29 AM

lang/polyml/Makefile
41 ↗	(On Diff #83523)	Correct, see: https://github.com/freebsd/freebsd-ports-kde/blob/master/Mk/bsd.options.mk#L148

rhurlin marked 2 inline comments as done.Feb 8 2021, 4:11 PM

rhurlin added inline comments.

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 ;)