games/minecraft-server: update to 1.13
ClosedPublic
Actions

Authored by 0mp on Jul 20 2018, 10:59 AM.

Details

Reviewers

krion
mat

Commits

rP476166: games/minecraft-server: Update to 1.13

Summary

The .jar file is now hosted at a different URL, and has a different filename. These changes have both been accounted for in the port. No further changes were required.

PR: https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=229890

Submitted by: Jonathan Price <freebsd@jonathanprice.org> (maintainer)

Diff Detail

Repository

rP FreeBSD ports repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

Event Timeline

0mp created this revision.Jul 20 2018, 10:59 AM

Harbormaster completed remote builds in B18200: Diff 45595.Jul 20 2018, 10:59 AM

mat added inline comments.Jul 20 2018, 11:51 AM

games/minecraft-server/Makefile
7 ↗	(On Diff #45595)	DIST_SUBDIR.

0mp added inline comments.Jul 31 2018, 8:28 PM

games/minecraft-server/Makefile
7 ↗	(On Diff #45595)	OK, from what I understand, we need DIST_SUBDIR here, because "server.jar" is not really a unique name for an archive of a minecraft-server package version 1.13. In order to avoid conflicts. I'll upload a patch with DIST_SUBDIR soon.

Define DIST_SUBDIR.

I set DIST_SUBDIR to ${PORTNAME}-${PORTVERSION} similarly to how it is done in
games/mari0 to be able to distinguish "server.jar" files of different Minecraft
server versions.

Harbormaster completed remote builds in B18471: Diff 46104.Jul 31 2018, 8:52 PM

mat accepted this revision.Aug 1 2018, 7:38 AM

This revision is now accepted and ready to land.Aug 1 2018, 7:38 AM

Closed by commit rP476166: games/minecraft-server: Update to 1.13 (authored by 0mp). · Explain WhyAug 1 2018, 8:30 AM

This revision was automatically updated to reflect the committed changes.