diff options
| author | Dima Panov <fluffy@FreeBSD.org> | 2022-05-22 18:56:50 +0000 |
|---|---|---|
| committer | Dima Panov <fluffy@FreeBSD.org> | 2022-05-22 20:17:05 +0000 |
| commit | 0ec14c674a5c0300bef5ed0759c1609fe2746ff5 (patch) | |
| tree | 69428944fc9277c89bb599dac93b60ada12fdedf | |
| parent | fa795d332e26221d789bcc48522b7e13a7ecca4d (diff) | |
| download | ports-0ec14c674a5c0300bef5ed0759c1609fe2746ff5.tar.gz ports-0ec14c674a5c0300bef5ed0759c1609fe2746ff5.zip | |
games/widelands: unbreak after boost upgrade
PR: 246106
| -rw-r--r-- | games/widelands/Makefile | 2 | ||||
| -rw-r--r-- | games/widelands/files/patch-src_network_bufferedconnection_h | 13 |
2 files changed, 14 insertions, 1 deletions
diff --git a/games/widelands/Makefile b/games/widelands/Makefile index c5c80b3f13f3..b89238fd837d 100644 --- a/games/widelands/Makefile +++ b/games/widelands/Makefile @@ -3,7 +3,7 @@ PORTNAME= widelands DISTVERSIONPREFIX= v DISTVERSION= 1.0 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= games MAINTAINER= amdmi3@FreeBSD.org diff --git a/games/widelands/files/patch-src_network_bufferedconnection_h b/games/widelands/files/patch-src_network_bufferedconnection_h new file mode 100644 index 000000000000..998eddbd357e --- /dev/null +++ b/games/widelands/files/patch-src_network_bufferedconnection_h @@ -0,0 +1,13 @@ +Fix build with Boost 1.77. + +Index: src/network/bufferedconnection.h +--- src/network/bufferedconnection.h.orig ++++ src/network/bufferedconnection.h +@@ -20,6 +20,7 @@ + #ifndef WL_NETWORK_BUFFEREDCONNECTION_H + #define WL_NETWORK_BUFFEREDCONNECTION_H + ++#include <map> + #include <memory> + #include <mutex> + #include <thread> |