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 FPC_EQUIVALENT=         devel/libspark2012
  31
  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.
  37
  38
  39 [FILE:104:distinfo]
  40 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2        23773 libspark2012-2012.tar.bz2
  41
  42
  43 [FILE:1557:manifests/plist.single]
  44 include/spark2012/
  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
  60  spark-ada-strings.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
  65  spark-ada-text_io.adb
  66  spark-ada-text_io.ads
  67  spark-ada.ads
  68  spark-crypto-debug.adb
  69  spark-crypto-debug.ads
  70  spark-crypto-hash-skein.adb
  71  spark-crypto-hash-skein.ads
  72  spark-crypto-hash.ads
  73  spark-crypto.ads
  74  spark-unsigned.adb
  75  spark-unsigned.ads
  76  spark.ads
  77 lib/spark2012/
  78  libspark2012.a
  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
  87  spark-ada-strings.ali
  88  spark-ada-text_io-not_spark.ali
  89  spark-ada-text_io-unbounded_string.ali
  90  spark-ada-text_io.ali
  91  spark-ada.ali
  92  spark-crypto-debug.ali
  93  spark-crypto-hash-skein.ali
  94  spark-crypto-hash.ali
  95  spark-crypto.ali
  96  spark-unsigned.ali
  97  spark.ali
  98 share/gpr/spark2012.gpr
  99
 100
 101 [FILE:993:patches/patch-Makefile]
 102 --- Makefile.orig       2014-02-17 10:26:40 UTC
 103 +++ Makefile
 104 @@ -1,27 +1,17 @@
 105 -all: nada
 106 +all: build
 107
 108 -nada:
 109 -
 110 -build-orig:
 111 +build:
 112         gnatmake -p -P build_spark2012
 113
 114  install:
 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
 121 -
 122 -install-orig:
 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
 137
 138
 139 [FILE:377:patches/patch-spark2012.gpr]
 140 --- spark2012.gpr.orig  2014-02-17 05:33:24.000000000 -0500
 141 +++ spark2012.gpr
 142 @@ -1,5 +1,10 @@
 143  project SPARK2012 is
 144
 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";
 151
 152  end SPARK2012;
 153