From owner-svn-ports-all@FreeBSD.ORG  Sat Mar 29 15:58:49 2014
Return-Path: <owner-svn-ports-all@FreeBSD.ORG>
Delivered-To: svn-ports-all@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 6C9DC319;
 Sat, 29 Mar 2014 15:58:49 +0000 (UTC)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 4D5A3F5C;
 Sat, 29 Mar 2014 15:58:49 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s2TFwn0q053049;
 Sat, 29 Mar 2014 15:58:49 GMT (envelope-from swills@svn.freebsd.org)
Received: (from swills@localhost)
 by svn.freebsd.org (8.14.8/8.14.8/Submit) id s2TFwmBc053044;
 Sat, 29 Mar 2014 15:58:48 GMT (envelope-from swills@svn.freebsd.org)
Message-Id: <201403291558.s2TFwmBc053044@svn.freebsd.org>
From: Steve Wills <swills@FreeBSD.org>
Date: Sat, 29 Mar 2014 15:58:48 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r349550 - in head/devel: . rubygem-axiom-types
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-all@freebsd.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: SVN commit messages for the ports tree <svn-ports-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-all/>
List-Post: <mailto:svn-ports-all@freebsd.org>
List-Help: <mailto:svn-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 29 Mar 2014 15:58:49 -0000

Author: swills
Date: Sat Mar 29 15:58:48 2014
New Revision: 349550
URL: http://svnweb.freebsd.org/changeset/ports/349550
QAT: https://qat.redports.org/buildarchive/r349550/

Log:
  Axiom-types provides a Ruby library that allows one to define types with
  optional constraints. It can be used for logic programming.
  
  WWW: https://github.com/dkubb/axiom-types
  
  PR:		ports/188002
  Submitted by:	Michael Moll <kvedulv at kvedulv.de>

Added:
  head/devel/rubygem-axiom-types/
  head/devel/rubygem-axiom-types/Makefile   (contents, props changed)
  head/devel/rubygem-axiom-types/distinfo   (contents, props changed)
  head/devel/rubygem-axiom-types/pkg-descr   (contents, props changed)
Modified:
  head/devel/Makefile

Modified: head/devel/Makefile
==============================================================================
--- head/devel/Makefile	Sat Mar 29 15:56:00 2014	(r349549)
+++ head/devel/Makefile	Sat Mar 29 15:58:48 2014	(r349550)
@@ -4135,6 +4135,7 @@
     SUBDIR += rubygem-attic
     SUBDIR += rubygem-authlogic
     SUBDIR += rubygem-awesome_print
+    SUBDIR += rubygem-axiom-types
     SUBDIR += rubygem-backports
     SUBDIR += rubygem-bacon
     SUBDIR += rubygem-benelux

Added: head/devel/rubygem-axiom-types/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/rubygem-axiom-types/Makefile	Sat Mar 29 15:58:48 2014	(r349550)
@@ -0,0 +1,22 @@
+# Created by: Michael Moll <kvedulv at kvedulv.de>
+# $FreeBSD$
+
+PORTNAME=	axiom-types
+PORTVERSION=	0.1.0
+CATEGORIES=	devel rubygems
+MASTER_SITES=	RG
+
+MAINTAINER=	ruby@FreeBSD.org
+COMMENT=	Abstract types for logic programming in Ruby
+
+LICENSE=	MIT
+
+RUN_DEPENDS=	rubygem-descendants_tracker>=0.0.3:${PORTSDIR}/devel/rubygem-descendants_tracker \
+		rubygem-ice_nine>=0.11.0:${PORTSDIR}/devel/rubygem-ice_nine \
+		rubygem-thread_safe>=0.1.3:${PORTSDIR}/devel/rubygem-thread_safe
+
+USE_RUBY=	yes
+USE_RUBYGEMS=	yes
+RUBYGEM_AUTOPLIST=	yes
+
+.include <bsd.port.mk>

Added: head/devel/rubygem-axiom-types/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/rubygem-axiom-types/distinfo	Sat Mar 29 15:58:48 2014	(r349550)
@@ -0,0 +1,2 @@
+SHA256 (rubygem/axiom-types-0.1.0.gem) = 9ff88884d498742c2f520e7238f83fe7a6830cfa9b945b9d764fc108696c2f4a
+SIZE (rubygem/axiom-types-0.1.0.gem) = 23552

Added: head/devel/rubygem-axiom-types/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/rubygem-axiom-types/pkg-descr	Sat Mar 29 15:58:48 2014	(r349550)
@@ -0,0 +1,4 @@
+Axiom-types provides a Ruby library that allows one to define types with
+optional constraints. It can be used for logic programming. 
+
+WWW: https://github.com/dkubb/axiom-types