summaryrefslogtreecommitdiff
path: root/devel/libspark2012/files
diff options
context:
space:
mode:
Diffstat (limited to 'devel/libspark2012/files')
-rw-r--r--devel/libspark2012/files/patch-Makefile29
-rw-r--r--devel/libspark2012/files/patch-spark2012.gpr13
2 files changed, 0 insertions, 42 deletions
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;