diff options
| author | Pietro Cerutti <gahr@FreeBSD.org> | 2014-06-23 12:40:05 +0000 |
|---|---|---|
| committer | Pietro Cerutti <gahr@FreeBSD.org> | 2014-06-23 12:40:05 +0000 |
| commit | 8d1ecbb00a28904bc7b8c0428fd26c2ab44094a9 (patch) | |
| tree | 857de6fb396b0bbfdd522fdbc0a1948fea5b70d9 /lang/seed7 | |
| parent | 9b31395163408141f3eb5906ae97143efb531440 (diff) | |
| download | ports-8d1ecbb00a28904bc7b8c0428fd26c2ab44094a9.tar.gz ports-8d1ecbb00a28904bc7b8c0428fd26c2ab44094a9.zip | |
Notes
Diffstat (limited to 'lang/seed7')
| -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 |