1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
8 SDESC[standard]= SPARK 2012 Spark.Ada library
9 HOMEPAGE= http://www.spark-2014.org
10 CONTACT= John_Marino[draco@marino.st]
13 SITES[main]= http://downloads.dragonlace.net/src/
14 DISTFILE[1]= libspark2012-2012.tar.bz2:main
16 SPKGS[standard]= single
18 OPTIONS_AVAILABLE= none
19 OPTIONS_STANDARD= none
23 LICENSE= GPLv3+:single
24 LICENSE_TERMS= single:{{WRKDIR}}/TERMS
25 LICENSE_FILE= GPLv3+:stock
26 LICENSE_AWK= TERMS:"^$$"
27 LICENSE_SOURCE= TERMS:{{WRKSRC}}/src/spark.ads
30 FPC_EQUIVALENT= devel/libspark2012
32 [FILE:265:descriptions/desc.single]
33 At least one port requires exactly the Spark.Ada library that came
34 with SPARK 2012. SPARK itself is not in ports -- SPARK 2014 is the
35 first version planned to arrive -- so this is a separately packaged
36 SPARK 2012 library to be compiled with the GNAT Ada compiler.
40 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2 23773 libspark2012-2012.tar.bz2
43 [FILE:1557:manifests/plist.single]
45 spark-ada-command_line-unbounded_string.adb
46 spark-ada-command_line-unbounded_string.ads
47 spark-ada-command_line.adb
48 spark-ada-command_line.ads
49 spark-ada-containers.ads
50 spark-ada-strings-maps-not_spark.adb
51 spark-ada-strings-maps-not_spark.ads
52 spark-ada-strings-maps.adb
53 spark-ada-strings-maps.ads
54 spark-ada-strings-not_spark.adb
55 spark-ada-strings-not_spark.ads
56 spark-ada-strings-unbounded-not_spark.adb
57 spark-ada-strings-unbounded-not_spark.ads
58 spark-ada-strings-unbounded.adb
59 spark-ada-strings-unbounded.ads
61 spark-ada-text_io-not_spark.adb
62 spark-ada-text_io-not_spark.ads
63 spark-ada-text_io-unbounded_string.adb
64 spark-ada-text_io-unbounded_string.ads
68 spark-crypto-debug.adb
69 spark-crypto-debug.ads
70 spark-crypto-hash-skein.adb
71 spark-crypto-hash-skein.ads
79 spark-ada-command_line-unbounded_string.ali
80 spark-ada-command_line.ali
81 spark-ada-containers.ali
82 spark-ada-strings-maps-not_spark.ali
83 spark-ada-strings-maps.ali
84 spark-ada-strings-not_spark.ali
85 spark-ada-strings-unbounded-not_spark.ali
86 spark-ada-strings-unbounded.ali
88 spark-ada-text_io-not_spark.ali
89 spark-ada-text_io-unbounded_string.ali
92 spark-crypto-debug.ali
93 spark-crypto-hash-skein.ali
98 share/gpr/spark2012.gpr
101 [FILE:993:patches/patch-Makefile]
102 --- Makefile.orig 2014-02-17 10:26:40 UTC
112 gnatmake -p -P build_spark2012
115 - mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \
116 - ${DESTDIR}${PREFIX}/include/spark2012
117 - ${BSD_INSTALL_DATA} spark2012.gpr \
118 - ${DESTDIR}${PREFIX}/lib/gnat
119 - ${BSD_INSTALL_DATA} src/*.ad[bs] \
120 - ${DESTDIR}${PREFIX}/include/spark2012
123 - mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \
124 + mkdir -p ${DESTDIR}${PREFIX}/share/gpr \
125 ${DESTDIR}${PREFIX}/lib/spark2012 \
126 ${DESTDIR}${PREFIX}/include/spark2012
127 - ${BSD_INSTALL_LIB} src/build/lib/libspark2012.a \
128 + ${BSD_INSTALL_DATA} src/build/lib/libspark2012.a \
129 ${DESTDIR}${PREFIX}/lib/spark2012
130 ${BSD_INSTALL_DATA} src/build/lib/*.ali \
131 ${DESTDIR}${PREFIX}/lib/spark2012
132 ${BSD_INSTALL_DATA} spark2012.gpr \
133 - ${DESTDIR}${PREFIX}/lib/gnat
134 + ${DESTDIR}${PREFIX}/share/gpr
135 ${BSD_INSTALL_DATA} src/*.ad[bs] \
136 ${DESTDIR}${PREFIX}/include/spark2012
139 [FILE:377:patches/patch-spark2012.gpr]
140 --- spark2012.gpr.orig 2014-02-17 05:33:24.000000000 -0500
145 + for Languages use ("Ada");
146 for Source_Dirs use ("../../include/spark2012");
147 + for Library_Dir use "../../lib/spark2012";
148 + for Library_Name use "spark2012";
149 + for Library_Kind use "static";
150 + for Externally_Built use "True";