diff options
Diffstat (limited to 'devel/libspark2012')
| -rw-r--r-- | devel/libspark2012/Makefile | 16 | ||||
| -rw-r--r-- | devel/libspark2012/distinfo | 2 | ||||
| -rw-r--r-- | devel/libspark2012/files/patch-Makefile | 29 | ||||
| -rw-r--r-- | devel/libspark2012/files/patch-spark2012.gpr | 13 | ||||
| -rw-r--r-- | devel/libspark2012/pkg-descr | 6 | ||||
| -rw-r--r-- | devel/libspark2012/pkg-plist | 53 |
6 files changed, 0 insertions, 119 deletions
diff --git a/devel/libspark2012/Makefile b/devel/libspark2012/Makefile deleted file mode 100644 index d19dc18cad5a..000000000000 --- a/devel/libspark2012/Makefile +++ /dev/null @@ -1,16 +0,0 @@ -# Created by: John Marino <marino@FreeBSD.org> - -PORTNAME= libspark2012 -PORTVERSION= 2012 -PORTREVISION= 3 -CATEGORIES= devel -MASTER_SITES= http://downloads.dragonlace.net/src/ - -MAINTAINER= ports@FreeBSD.org -COMMENT= SPARK 2012 Spark.Ada library - -LICENSE= GPLv3 - -USES= ada tar:bzip2 - -.include <bsd.port.mk> diff --git a/devel/libspark2012/distinfo b/devel/libspark2012/distinfo deleted file mode 100644 index d7fa97ff55e9..000000000000 --- a/devel/libspark2012/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2 -SIZE (libspark2012-2012.tar.bz2) = 23773 diff --git a/devel/libspark2012/files/patch-Makefile b/devel/libspark2012/files/patch-Makefile deleted file mode 100644 index 062ee1a6125a..000000000000 --- a/devel/libspark2012/files/patch-Makefile +++ /dev/null @@ -1,29 +0,0 @@ ---- Makefile.orig 2014-02-17 05:26:40.000000000 -0500 -+++ Makefile -@@ -1,23 +1,13 @@ --all: nada -+all: build - --nada: -- --build-orig: -+build: - gnatmake -p -P build_spark2012 - - install: - mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \ -- ${DESTDIR}${PREFIX}/include/spark2012 -- ${BSD_INSTALL_DATA} spark2012.gpr \ -- ${DESTDIR}${PREFIX}/lib/gnat -- ${BSD_INSTALL_DATA} src/*.ad[bs] \ -- ${DESTDIR}${PREFIX}/include/spark2012 -- --install-orig: -- mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \ - ${DESTDIR}${PREFIX}/lib/spark2012 \ - ${DESTDIR}${PREFIX}/include/spark2012 -- ${BSD_INSTALL_LIB} src/build/lib/libspark2012.a \ -+ ${BSD_INSTALL_DATA} src/build/lib/libspark2012.a \ - ${DESTDIR}${PREFIX}/lib/spark2012 - ${BSD_INSTALL_DATA} src/build/lib/*.ali \ - ${DESTDIR}${PREFIX}/lib/spark2012 diff --git a/devel/libspark2012/files/patch-spark2012.gpr b/devel/libspark2012/files/patch-spark2012.gpr deleted file mode 100644 index 747f63af5b11..000000000000 --- a/devel/libspark2012/files/patch-spark2012.gpr +++ /dev/null @@ -1,13 +0,0 @@ ---- spark2012.gpr.orig 2014-02-17 05:33:24.000000000 -0500 -+++ spark2012.gpr -@@ -1,5 +1,10 @@ - project SPARK2012 is - -+ for Languages use ("Ada"); - for Source_Dirs use ("../../include/spark2012"); -+ for Library_Dir use "../../lib/spark2012"; -+ for Library_Name use "spark2012"; -+ for Library_Kind use "static"; -+ for Externally_Built use "True"; - - end SPARK2012; diff --git a/devel/libspark2012/pkg-descr b/devel/libspark2012/pkg-descr deleted file mode 100644 index 1c6d6a556356..000000000000 --- a/devel/libspark2012/pkg-descr +++ /dev/null @@ -1,6 +0,0 @@ -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 diff --git a/devel/libspark2012/pkg-plist b/devel/libspark2012/pkg-plist deleted file mode 100644 index aacdee6faf40..000000000000 --- a/devel/libspark2012/pkg-plist +++ /dev/null @@ -1,53 +0,0 @@ -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 -lib/spark2012/libspark2012.a -lib/spark2012/spark-ada-command_line-unbounded_string.ali -lib/spark2012/spark-ada-command_line.ali -lib/spark2012/spark-ada-containers.ali -lib/spark2012/spark-ada-strings-maps-not_spark.ali -lib/spark2012/spark-ada-strings-maps.ali -lib/spark2012/spark-ada-strings-not_spark.ali -lib/spark2012/spark-ada-strings-unbounded-not_spark.ali -lib/spark2012/spark-ada-strings-unbounded.ali -lib/spark2012/spark-ada-strings.ali -lib/spark2012/spark-ada-text_io-not_spark.ali -lib/spark2012/spark-ada-text_io-unbounded_string.ali -lib/spark2012/spark-ada-text_io.ali -lib/spark2012/spark-ada.ali -lib/spark2012/spark-crypto-debug.ali -lib/spark2012/spark-crypto-hash-skein.ali -lib/spark2012/spark-crypto-hash.ali -lib/spark2012/spark-crypto.ali -lib/spark2012/spark-unsigned.ali -lib/spark2012/spark.ali |