From 3e6ac56dcf788f25dee7bcfb424853427f41f4ac Mon Sep 17 00:00:00 2001 From: John Marino Date: Fri, 13 Nov 2015 13:47:52 +0000 Subject: [PATCH] devel/frama-c: Unbreak after checking rerolled distfile Upstream re-rolled Frama-C keeping a February 2015 date stamp in the filename (!). I compared the new distfile with the old one. Only two files were modified (opam, Makefile) and all the rest were additional files (new /external directory, new /bin directory with shell scripts). It looks innocent to me. Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a reputation for rerolls. --- devel/frama-c/Makefile | 5 ++--- devel/frama-c/distinfo | 4 ++-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index 495f2df77272..852a09c9e81d 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -4,15 +4,14 @@ PORTNAME= frama-c DISTVERSIONPREFIX= Sodium- DISTVERSION= 20150201 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel MASTER_SITES= http://frama-c.com/download/ +DIST_SUBDIR= framac-01 MAINTAINER= ports@FreeBSD.org COMMENT= Extensible platform for source-code analysis of C -BROKEN= unfetchable - LICENSE= LGPL21 EXTRACT_DEPENDS= gtar:${PORTSDIR}/archivers/gtar diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo index 7d80e312085a..7933148f245a 100644 --- a/devel/frama-c/distinfo +++ b/devel/frama-c/distinfo @@ -1,2 +1,2 @@ -SHA256 (frama-c-Sodium-20150201.tar.gz) = b61638809e5e2f4138052844dd58aa2d2c44d542a65111cc80b65f6b999a4c71 -SIZE (frama-c-Sodium-20150201.tar.gz) = 5993348 +SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d +SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507