From 5bba8deb07fe8e566fbad46d3a38a18d0e0bdf95 Mon Sep 17 00:00:00 2001 From: marino Date: Fri, 13 Nov 2015 13:47:52 +0000 Subject: 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 495f2df..852a09c 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 7d80e31..7933148 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 -- cgit v1.1