svn commit: r401513 - head/devel/frama-c

[John Marino]

Author: marino
Date: Fri Nov 13 13:47:52 2015
New Revision: 401513
URL: https://svnweb.freebsd.org/changeset/ports/401513

Log:
  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.

Modified:
  head/devel/frama-c/Makefile
  head/devel/frama-c/distinfo

Modified: head/devel/frama-c/Makefile
==============================================================================
--- head/devel/frama-c/Makefile	Fri Nov 13 13:35:02 2015	(r401512)
+++ head/devel/frama-c/Makefile	Fri Nov 13 13:47:52 2015	(r401513)
@@ -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 at FreeBSD.org
 COMMENT=	Extensible platform for source-code analysis of C
 
-BROKEN=		unfetchable
-
 LICENSE=	LGPL21
 
 EXTRACT_DEPENDS=	gtar:${PORTSDIR}/archivers/gtar

Modified: head/devel/frama-c/distinfo
==============================================================================
--- head/devel/frama-c/distinfo	Fri Nov 13 13:35:02 2015	(r401512)
+++ head/devel/frama-c/distinfo	Fri Nov 13 13:47:52 2015	(r401513)
@@ -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