Commit 43f39e3f authored by marino's avatar marino
Browse files

Add new port: devel/libspark2012

This is a source-files only Ada library required to build the upcoming
port dns/ironsides.
parent a5b8c558
...@@ -1105,6 +1105,7 @@ ...@@ -1105,6 +1105,7 @@
SUBDIR += libsoup SUBDIR += libsoup
SUBDIR += libsoup-gnome SUBDIR += libsoup-gnome
SUBDIR += libsoup-reference SUBDIR += libsoup-reference
SUBDIR += libspark2012
SUBDIR += libstatgrab SUBDIR += libstatgrab
SUBDIR += libstrfunc SUBDIR += libstrfunc
SUBDIR += libstroke SUBDIR += libstroke
......
# 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>
SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2
SIZE (libspark2012-2012.tar.bz2) = 23773
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
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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment