svn commit: r327312 - head/science/bddsolve

[Ed Schouten]

Author: ed (src committer)
Date: Sat Sep 14 19:08:52 2013
New Revision: 327312
URL: http://svnweb.freebsd.org/changeset/ports/327312

Log:
  Bump bddsolve to version 1.0.3.
  
  Though this does not yet fix the build on FreeBSD HEAD, this version
  does fix some tiny issues that prevent it from being built with clang.

Modified:
  head/science/bddsolve/Makefile
  head/science/bddsolve/distinfo

Modified: head/science/bddsolve/Makefile
==============================================================================
--- head/science/bddsolve/Makefile	Sat Sep 14 18:12:50 2013	(r327311)
+++ head/science/bddsolve/Makefile	Sat Sep 14 19:08:52 2013	(r327312)
@@ -1,14 +1,11 @@
-# New ports collection makefile for:	bddsolve
-# Date created:				11 May 2010
-# Whom:					Ed Schouten <ed at FreeBSD.org>
-#
+# Created by: Ed Schouten <ed at FreeBSD.org>
 # $FreeBSD$
-#
 
 PORTNAME=	bddsolve
-PORTVERSION=	1.02
+PORTVERSION=	1.03
 CATEGORIES=	science
-MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/
+MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/_downloads/
+DISTNAME=	${PORTNAME}-source-${PORTVERSION}
 
 MAINTAINER=	ed at FreeBSD.org
 COMMENT=	BDD-based satisfiability and reachability solver

Modified: head/science/bddsolve/distinfo
==============================================================================
--- head/science/bddsolve/distinfo	Sat Sep 14 18:12:50 2013	(r327311)
+++ head/science/bddsolve/distinfo	Sat Sep 14 19:08:52 2013	(r327312)
@@ -1,2 +1,2 @@
-SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
-SIZE (bddsolve-1.02.zip) = 19180
+SHA256 (bddsolve-source-1.03.zip) = 39af26667feebeafb6dc0dc7baadfe3d28b93b81bc9263887ceb33ab8641a068
+SIZE (bddsolve-source-1.03.zip) = 18440