diff options
Diffstat (limited to 'devel/libspark2012/files')
-rw-r--r-- | devel/libspark2012/files/patch-Makefile | 29 | ||||
-rw-r--r-- | devel/libspark2012/files/patch-spark2012.gpr | 13 |
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; |