Page MenuHomeFreeBSD

games/minecraft-server: update to 1.13
ClosedPublic

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

Details

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
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

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

DIST_SUBDIR.

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.

This revision is now accepted and ready to land.Aug 1 2018, 7:38 AM
This revision was automatically updated to reflect the committed changes.