diff options
-rw-r--r-- | lang/seed7/Makefile | 5 | ||||
-rw-r--r-- | lang/seed7/distinfo | 4 |
2 files changed, 4 insertions, 5 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index 573b0d5ca499..00c2eb1271bb 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= seed7 -DISTVERSION= 05_20140601 +DISTVERSION= 05_20140615 CATEGORIES= lang MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/ DISTNAME= ${PORTNAME}_${DISTVERSION} @@ -42,8 +42,7 @@ PORTDOCS= * MAKEFILE= mk_freebsd.mk post-patch: - ${REINPLACE_CMD} -e 's|%%LOCALBASE%%|${LOCALBASE}|g;' \ - -e '/\.\/chkccomp/s|>>||' ${WRKSRC}/${MAKEFILE} + ${REINPLACE_CMD} -e 's|%%LOCALBASE%%|${LOCALBASE}|g;' ${WRKSRC}/${MAKEFILE} do-build: cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE} -f ${MAKEFILE} depend diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo index 6603b8dc82a3..944ac24ad1cd 100644 --- a/lang/seed7/distinfo +++ b/lang/seed7/distinfo @@ -1,2 +1,2 @@ -SHA256 (seed7_05_20140601.tgz) = ca10dcbe34684d8fc01dd6c463e52a1ba2ee21ca9c3904deb1f3547be903ca3a -SIZE (seed7_05_20140601.tgz) = 2118208 +SHA256 (seed7_05_20140615.tgz) = 8a308968572e687333aea21c5fc87509f21c4b22910671d41fbc6f1be1afcd0c +SIZE (seed7_05_20140615.tgz) = 2127026 |