Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 17 Feb 2014 11:17:31 +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: r344726 - in head/devel: . libspark2012
Message-ID:  <201402171117.s1HBHVX0006394@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: marino
Date: Mon Feb 17 11:17:31 2014
New Revision: 344726
URL: http://svnweb.freebsd.org/changeset/ports/344726
QAT: https://qat.redports.org/buildarchive/r344726/

Log:
  Add new port: devel/libspark2012
  
  This is a source-files only Ada library required to build the upcoming
  port dns/ironsides.

Added:
  head/devel/libspark2012/
  head/devel/libspark2012/Makefile   (contents, props changed)
  head/devel/libspark2012/distinfo   (contents, props changed)
  head/devel/libspark2012/pkg-descr   (contents, props changed)
  head/devel/libspark2012/pkg-plist   (contents, props changed)
Modified:
  head/devel/Makefile

Modified: head/devel/Makefile
==============================================================================
--- head/devel/Makefile	Mon Feb 17 10:58:31 2014	(r344725)
+++ head/devel/Makefile	Mon Feb 17 11:17:31 2014	(r344726)
@@ -1105,6 +1105,7 @@
     SUBDIR += libsoup
     SUBDIR += libsoup-gnome
     SUBDIR += libsoup-reference
+    SUBDIR += libspark2012
     SUBDIR += libstatgrab
     SUBDIR += libstrfunc
     SUBDIR += libstroke

Added: head/devel/libspark2012/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/libspark2012/Makefile	Mon Feb 17 11:17:31 2014	(r344726)
@@ -0,0 +1,19 @@
+# Created by: John Marino <marino@FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	libspark2012
+PORTVERSION=	2012
+CATEGORIES=	devel
+MASTER_SITES=	http://downloads.dragonlace.net/src/
+
+MAINTAINER=	marino@FreeBSD.org
+COMMENT=	SPARK 2012 Spark.Ada library
+
+LICENSE=	GPLv3
+
+USE_BZIP2=	yes
+
+# No library is built; only the source files are installed
+# Therefore, USES=ada is not required
+
+.include <bsd.port.mk>

Added: head/devel/libspark2012/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/libspark2012/distinfo	Mon Feb 17 11:17:31 2014	(r344726)
@@ -0,0 +1,2 @@
+SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2
+SIZE (libspark2012-2012.tar.bz2) = 23773

Added: head/devel/libspark2012/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/libspark2012/pkg-descr	Mon Feb 17 11:17:31 2014	(r344726)
@@ -0,0 +1,6 @@
+At least one port requires exactly the Spark.Ada library that came
+with SPARK 2012.  SPARK itself is not in ports -- SPARK 2014 is the
+first version planned to arrive -- so this is a separately packaged
+SPARK 2012 library to be compiled with the GNAT Ada compiler.
+
+WWW: http://www.spark-2014.org

Added: head/devel/libspark2012/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/devel/libspark2012/pkg-plist	Mon Feb 17 11:17:31 2014	(r344726)
@@ -0,0 +1,35 @@
+include/spark2012/spark-ada-command_line-unbounded_string.adb
+include/spark2012/spark-ada-command_line-unbounded_string.ads
+include/spark2012/spark-ada-command_line.adb
+include/spark2012/spark-ada-command_line.ads
+include/spark2012/spark-ada-containers.ads
+include/spark2012/spark-ada-strings-maps-not_spark.adb
+include/spark2012/spark-ada-strings-maps-not_spark.ads
+include/spark2012/spark-ada-strings-maps.adb
+include/spark2012/spark-ada-strings-maps.ads
+include/spark2012/spark-ada-strings-not_spark.adb
+include/spark2012/spark-ada-strings-not_spark.ads
+include/spark2012/spark-ada-strings-unbounded-not_spark.adb
+include/spark2012/spark-ada-strings-unbounded-not_spark.ads
+include/spark2012/spark-ada-strings-unbounded.adb
+include/spark2012/spark-ada-strings-unbounded.ads
+include/spark2012/spark-ada-strings.ads
+include/spark2012/spark-ada-text_io-not_spark.adb
+include/spark2012/spark-ada-text_io-not_spark.ads
+include/spark2012/spark-ada-text_io-unbounded_string.adb
+include/spark2012/spark-ada-text_io-unbounded_string.ads
+include/spark2012/spark-ada-text_io.adb
+include/spark2012/spark-ada-text_io.ads
+include/spark2012/spark-ada.ads
+include/spark2012/spark-crypto-debug.adb
+include/spark2012/spark-crypto-debug.ads
+include/spark2012/spark-crypto-hash-skein.adb
+include/spark2012/spark-crypto-hash-skein.ads
+include/spark2012/spark-crypto-hash.ads
+include/spark2012/spark-crypto.ads
+include/spark2012/spark-unsigned.adb
+include/spark2012/spark-unsigned.ads
+include/spark2012/spark.ads
+lib/gnat/spark2012.gpr
+@dirrmtry lib/gnat
+@dirrm include/spark2012



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