bucket_57/libspark2012

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               libspark2012
   4 VERSION=                2012
   5 REVISION=               1
   6 KEYWORDS=               devel ada
   7 VARIANTS=               standard
   8 SDESC[standard]=        SPARK 2012 Spark.Ada library
   9 HOMEPAGE=               http://www.spark-2014.org
  10 CONTACT=                John_Marino[draco@marino.st]
  11
  12 DOWNLOAD_GROUPS=        main
  13 SITES[main]=            http://downloads.dragonlace.net/src/
  14 DISTFILE[1]=            libspark2012-2012.tar.bz2:main
  15 DF_INDEX=               1
  16 SPKGS[standard]=        single
  17
  18 OPTIONS_AVAILABLE=      none
  19 OPTIONS_STANDARD=       none
  20
  21 USES=                   gprbuild
  22
  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
  28 LICENSE_SCHEME=         solo
  29
  30 [FILE:265:descriptions/desc.single]
  31 At least one port requires exactly the Spark.Ada library that came
  32 with SPARK 2012.  SPARK itself is not in ports -- SPARK 2014 is the
  33 first version planned to arrive -- so this is a separately packaged
  34 SPARK 2012 library to be compiled with the GNAT Ada compiler.
  35
  36
  37 [FILE:104:distinfo]
  38 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2        23773 libspark2012-2012.tar.bz2
  39
  40
  41 [FILE:1557:manifests/plist.single]
  42 include/spark2012/
  43  spark-ada-command_line-unbounded_string.adb
  44  spark-ada-command_line-unbounded_string.ads
  45  spark-ada-command_line.adb
  46  spark-ada-command_line.ads
  47  spark-ada-containers.ads
  48  spark-ada-strings-maps-not_spark.adb
  49  spark-ada-strings-maps-not_spark.ads
  50  spark-ada-strings-maps.adb
  51  spark-ada-strings-maps.ads
  52  spark-ada-strings-not_spark.adb
  53  spark-ada-strings-not_spark.ads
  54  spark-ada-strings-unbounded-not_spark.adb
  55  spark-ada-strings-unbounded-not_spark.ads
  56  spark-ada-strings-unbounded.adb
  57  spark-ada-strings-unbounded.ads
  58  spark-ada-strings.ads
  59  spark-ada-text_io-not_spark.adb
  60  spark-ada-text_io-not_spark.ads
  61  spark-ada-text_io-unbounded_string.adb
  62  spark-ada-text_io-unbounded_string.ads
  63  spark-ada-text_io.adb
  64  spark-ada-text_io.ads
  65  spark-ada.ads
  66  spark-crypto-debug.adb
  67  spark-crypto-debug.ads
  68  spark-crypto-hash-skein.adb
  69  spark-crypto-hash-skein.ads
  70  spark-crypto-hash.ads
  71  spark-crypto.ads
  72  spark-unsigned.adb
  73  spark-unsigned.ads
  74  spark.ads
  75 lib/spark2012/
  76  libspark2012.a
  77  spark-ada-command_line-unbounded_string.ali
  78  spark-ada-command_line.ali
  79  spark-ada-containers.ali
  80  spark-ada-strings-maps-not_spark.ali
  81  spark-ada-strings-maps.ali
  82  spark-ada-strings-not_spark.ali
  83  spark-ada-strings-unbounded-not_spark.ali
  84  spark-ada-strings-unbounded.ali
  85  spark-ada-strings.ali
  86  spark-ada-text_io-not_spark.ali
  87  spark-ada-text_io-unbounded_string.ali
  88  spark-ada-text_io.ali
  89  spark-ada.ali
  90  spark-crypto-debug.ali
  91  spark-crypto-hash-skein.ali
  92  spark-crypto-hash.ali
  93  spark-crypto.ali
  94  spark-unsigned.ali
  95  spark.ali
  96 share/gpr/spark2012.gpr
  97
  98
  99 [FILE:993:patches/patch-Makefile]
 100 --- Makefile.orig       2014-02-17 10:26:40 UTC
 101 +++ Makefile
 102 @@ -1,27 +1,17 @@
 103 -all: nada
 104 +all: build
 105
 106 -nada:
 107 -
 108 -build-orig:
 109 +build:
 110         gnatmake -p -P build_spark2012
 111
 112  install:
 113 -       mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \
 114 -                ${DESTDIR}${PREFIX}/include/spark2012
 115 -       ${BSD_INSTALL_DATA} spark2012.gpr \
 116 -               ${DESTDIR}${PREFIX}/lib/gnat
 117 -       ${BSD_INSTALL_DATA} src/*.ad[bs] \
 118 -               ${DESTDIR}${PREFIX}/include/spark2012
 119 -
 120 -install-orig:
 121 -       mkdir -p ${DESTDIR}${PREFIX}/lib/gnat \
 122 +       mkdir -p ${DESTDIR}${PREFIX}/share/gpr \
 123                  ${DESTDIR}${PREFIX}/lib/spark2012 \
 124                  ${DESTDIR}${PREFIX}/include/spark2012
 125 -       ${BSD_INSTALL_LIB} src/build/lib/libspark2012.a \
 126 +       ${BSD_INSTALL_DATA} src/build/lib/libspark2012.a \
 127                 ${DESTDIR}${PREFIX}/lib/spark2012
 128         ${BSD_INSTALL_DATA} src/build/lib/*.ali \
 129                 ${DESTDIR}${PREFIX}/lib/spark2012
 130         ${BSD_INSTALL_DATA} spark2012.gpr \
 131 -               ${DESTDIR}${PREFIX}/lib/gnat
 132 +               ${DESTDIR}${PREFIX}/share/gpr
 133         ${BSD_INSTALL_DATA} src/*.ad[bs] \
 134                 ${DESTDIR}${PREFIX}/include/spark2012
 135
 136
 137 [FILE:377:patches/patch-spark2012.gpr]
 138 --- spark2012.gpr.orig  2014-02-17 05:33:24.000000000 -0500
 139 +++ spark2012.gpr
 140 @@ -1,5 +1,10 @@
 141  project SPARK2012 is
 142
 143 +   for Languages use ("Ada");
 144     for Source_Dirs use ("../../include/spark2012");
 145 +   for Library_Dir use "../../lib/spark2012";
 146 +   for Library_Name use "spark2012";
 147 +   for Library_Kind use "static";
 148 +   for Externally_Built use "True";
 149
 150  end SPARK2012;
 151