sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-03 03:46:30 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

devel/frama-c: Unbreak after checking rerolled distfile

Browse source 
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.
This commit is contained in:
John Marino 2015-11-13 13:47:52 +00:00
parent 08d5219abf
commit 3e6ac56dcf
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=401513
2 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
devel/frama-c/Makefile
View file

@ -4,15 +4,14 @@
PORTNAME= frama-c PORTNAME= frama-c
DISTVERSIONPREFIX= Sodium- DISTVERSIONPREFIX= Sodium-
DISTVERSION= 20150201 DISTVERSION= 20150201
PORTREVISION= 2 PORTREVISION= 3
CATEGORIES= devel CATEGORIES= devel
MASTER_SITES= http://frama-c.com/download/ MASTER_SITES= http://frama-c.com/download/
DIST_SUBDIR= framac-01
MAINTAINER= ports@FreeBSD.org MAINTAINER= ports@FreeBSD.org
COMMENT= Extensible platform for source-code analysis of C COMMENT= Extensible platform for source-code analysis of C
BROKEN= unfetchable
LICENSE= LGPL21 LICENSE= LGPL21
EXTRACT_DEPENDS= gtar:${PORTSDIR}/archivers/gtar EXTRACT_DEPENDS= gtar:${PORTSDIR}/archivers/gtar

4
devel/frama-c/distinfo
View file

@ -1,2 +1,2 @@
SHA256 (frama-c-Sodium-20150201.tar.gz) = b61638809e5e2f4138052844dd58aa2d2c44d542a65111cc80b65f6b999a4c71 SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
SIZE (frama-c-Sodium-20150201.tar.gz) = 5993348 SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507