diff options
author | marino <marino@FreeBSD.org> | 2015-11-13 13:47:52 +0000 |
---|---|---|
committer | marino <marino@FreeBSD.org> | 2015-11-13 13:47:52 +0000 |
commit | 5bba8deb07fe8e566fbad46d3a38a18d0e0bdf95 (patch) | |
tree | de23ebaf1dfcc231eabfeef976af4d0ef38d81e7 | |
parent | 044a007ff7747a273cb24fbcbdc997465f2ffcee (diff) | |
download | FreeBSD-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/Makefile | 5 | ||||
-rw-r--r-- | 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 |