summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormarino <marino@FreeBSD.org>2015-11-13 13:47:52 +0000
committermarino <marino@FreeBSD.org>2015-11-13 13:47:52 +0000
commit5bba8deb07fe8e566fbad46d3a38a18d0e0bdf95 (patch)
treede23ebaf1dfcc231eabfeef976af4d0ef38d81e7
parent044a007ff7747a273cb24fbcbdc997465f2ffcee (diff)
downloadFreeBSD-ports-5bba8deb07fe8e566fbad46d3a38a18d0e0bdf95.zip
FreeBSD-ports-5bba8deb07fe8e566fbad46d3a38a18d0e0bdf95.tar.gz
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.
-rw-r--r--devel/frama-c/Makefile5
-rw-r--r--devel/frama-c/distinfo4
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
OpenPOWER on IntegriCloud