Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 13 Nov 2015 13:47:52 +0000 (UTC)
From:      John Marino <marino@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r401513 - head/devel/frama-c
Message-ID:  <201511131347.tADDlqT4087336@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201511131347.tADDlqT4087336>