bucket_A7/langkit_support

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               langkit_support
   4 VERSION=                23.0.0
   5 REVISION=               2
   6 EPOCH=                  1
   7 KEYWORDS=               ada devel
   8 VARIANTS=               standard
   9 SDESC[standard]=        Support files for Ada Langkit
  10 HOMEPAGE=               https://github.com/AdaCore/langkit
  11 CONTACT=                John_Marino[draco@marino.st]
  12
  13 DOWNLOAD_GROUPS=        main
  14 SITES[main]=            GITHUB/AdaCore:langkit:53353ed
  15 DISTFILE[1]=            generated:main
  16 DF_INDEX=               1
  17 SPKGS[standard]=        complete
  18                         primary
  19                         dev
  20
  21 OPTIONS_AVAILABLE=      none
  22 OPTIONS_STANDARD=       none
  23
  24 BUILD_DEPENDS=          python311:single:standard
  25                         python-e3-core:single:v11
  26                         AdaSAT:dev:standard
  27                         gnatcoll-bindings:dev:standard
  28                         gnatcoll-core:dev:standard
  29 BUILDRUN_DEPENDS=       gnatcoll-core:primary:standard
  30                         gnatcoll-bindings:iconv:standard
  31                         gnatcoll-bindings:gmp:standard
  32                         AdaSAT:primary:standard
  33 EXRUN[dev]=             AdaSAT:dev:standard
  34                         gnatcoll-bindings:dev:standard
  35                         gnatcoll-core:dev:standard
  36
  37 USES=                   gprbuild iconv:build
  38
  39 DISTNAME=               langkit-53353ed
  40
  41 LICENSE=                APACHE20:primary
  42 LICENSE_TERMS=          primary:{{WRKDIR}}/TERMS
  43 LICENSE_FILE=           APACHE20:{{WRKSRC}}/LICENSE.txt
  44 LICENSE_AWK=            TERMS:"^$$"
  45 LICENSE_SOURCE=         TERMS:{{WRKSRC}}/langkit/support/langkit_support.ads
  46 LICENSE_SCHEME=         solo
  47
  48 INSTALL_REQ_TOOLCHAIN=  yes
  49 SOVERSION=              23.0.0
  50
  51 do-build:
  52         (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \
  53                 python manage.py build-langkit-support \
  54                 --library-types=static,static-pic,relocatable \
  55                 --build-mode=prod)
  56
  57 pre-configure:
  58         ${REINPLACE_CMD} -e 's|%%SOVERSION%%|23.0.0|' \
  59                 ${WRKSRC}/langkit/support/langkit_support.gpr
  60
  61 do-install:
  62         (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \
  63                 python manage.py install-langkit-support \
  64                 --library-types=static,static-pic,relocatable \
  65                 --build-mode=prod \
  66                 ${STAGEDIR}${PREFIX})
  67         # strip
  68         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/langkit_support.relocatable/liblangkit_support.so
  69         # Remove redundant manifest file
  70         ${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests
  71
  72 [FILE:116:descriptions/desc.primary]
  73 Support files for Ada Langkit.
  74 These used to be part of langkit, but they have been split out to their
  75 own project.
  76
  77
  78 [FILE:109:distinfo]
  79 6daf5eb9060e339f88bac5f6b1f77a1345857f49318c1f4fe5c28ce91e702855      1273280 AdaCore-langkit-53353ed.tar.gz
  80
  81
  82 [FILE:108:manifests/plist.primary]
  83 lib/liblangkit_support.so.%%SOVERSION%%
  84 lib/langkit_support.relocatable/liblangkit_support.so.%%SOVERSION%%
  85
  86
  87 [FILE:7364:manifests/plist.dev]
  88 include/langkit_support/
  89  langkit_support-adalog-debug.adb
  90  langkit_support-adalog-debug.ads
  91  langkit_support-adalog-generic_main_support.adb
  92  langkit_support-adalog-generic_main_support.ads
  93  langkit_support-adalog-logic_var.adb
  94  langkit_support-adalog-logic_var.ads
  95  langkit_support-adalog-main_support.ads
  96  langkit_support-adalog-solver.adb
  97  langkit_support-adalog-solver.ads
  98  langkit_support-adalog-solver_interface.adb
  99  langkit_support-adalog-solver_interface.ads
 100  langkit_support-adalog.ads
 101  langkit_support-array_utils.adb
 102  langkit_support-array_utils.ads
 103  langkit_support-boxes.adb
 104  langkit_support-boxes.ads
 105  langkit_support-bump_ptr.ads
 106  langkit_support-bump_ptr_vectors.adb
 107  langkit_support-bump_ptr_vectors.ads
 108  langkit_support-cheap_sets.adb
 109  langkit_support-cheap_sets.ads
 110  langkit_support-diagnostics-output.adb
 111  langkit_support-diagnostics-output.ads
 112  langkit_support-diagnostics.adb
 113  langkit_support-diagnostics.ads
 114  langkit_support-errors.ads
 115  langkit_support-file_readers.adb
 116  langkit_support-file_readers.ads
 117  langkit_support-generic_api-analysis.adb
 118  langkit_support-generic_api-analysis.ads
 119  langkit_support-generic_api-introspection.adb
 120  langkit_support-generic_api-introspection.ads
 121  langkit_support-generic_api.adb
 122  langkit_support-generic_api.ads
 123  langkit_support-generic_bump_ptr.adb
 124  langkit_support-generic_bump_ptr.ads
 125  langkit_support-hashes.adb
 126  langkit_support-hashes.ads
 127  langkit_support-images.adb
 128  langkit_support-images.ads
 129  langkit_support-internal-analysis.adb
 130  langkit_support-internal-analysis.ads
 131  langkit_support-internal-conversions.ads
 132  langkit_support-internal-descriptor.ads
 133  langkit_support-internal-introspection.adb
 134  langkit_support-internal-introspection.ads
 135  langkit_support-internal.ads
 136  langkit_support-iterators.adb
 137  langkit_support-iterators.ads
 138  langkit_support-lexical_envs.ads
 139  langkit_support-lexical_envs_impl.adb
 140  langkit_support-lexical_envs_impl.ads
 141  langkit_support-names-maps.adb
 142  langkit_support-names-maps.ads
 143  langkit_support-names.adb
 144  langkit_support-names.ads
 145  langkit_support-packrat.adb
 146  langkit_support-packrat.ads
 147  langkit_support-relative_get.adb
 148  langkit_support-relative_get.ads
 149  langkit_support-slocs.adb
 150  langkit_support-slocs.ads
 151  langkit_support-symbols-precomputed.adb
 152  langkit_support-symbols-precomputed.ads
 153  langkit_support-symbols.adb
 154  langkit_support-symbols.ads
 155  langkit_support-text.adb
 156  langkit_support-text.ads
 157  langkit_support-token_data_handlers.adb
 158  langkit_support-token_data_handlers.ads
 159  langkit_support-tree_traversal_iterator.adb
 160  langkit_support-tree_traversal_iterator.ads
 161  langkit_support-types.ads
 162  langkit_support-vectors.adb
 163  langkit_support-vectors.ads
 164  langkit_support.ads
 165 lib/liblangkit_support.so
 166 lib/langkit_support.relocatable/
 167  langkit_support-adalog-debug.ali
 168  langkit_support-adalog-generic_main_support.ali
 169  langkit_support-adalog-logic_var.ali
 170  langkit_support-adalog-main_support.ali
 171  langkit_support-adalog-solver.ali
 172  langkit_support-adalog-solver_interface.ali
 173  langkit_support-adalog.ali
 174  langkit_support-array_utils.ali
 175  langkit_support-boxes.ali
 176  langkit_support-bump_ptr.ali
 177  langkit_support-bump_ptr_vectors.ali
 178  langkit_support-cheap_sets.ali
 179  langkit_support-diagnostics-output.ali
 180  langkit_support-diagnostics.ali
 181  langkit_support-errors.ali
 182  langkit_support-file_readers.ali
 183  langkit_support-generic_api-analysis.ali
 184  langkit_support-generic_api-introspection.ali
 185  langkit_support-generic_api.ali
 186  langkit_support-generic_bump_ptr.ali
 187  langkit_support-hashes.ali
 188  langkit_support-images.ali
 189  langkit_support-internal-analysis.ali
 190  langkit_support-internal-conversions.ali
 191  langkit_support-internal-descriptor.ali
 192  langkit_support-internal-introspection.ali
 193  langkit_support-internal.ali
 194  langkit_support-iterators.ali
 195  langkit_support-lexical_envs.ali
 196  langkit_support-lexical_envs_impl.ali
 197  langkit_support-names-maps.ali
 198  langkit_support-names.ali
 199  langkit_support-packrat.ali
 200  langkit_support-relative_get.ali
 201  langkit_support-slocs.ali
 202  langkit_support-symbols-precomputed.ali
 203  langkit_support-symbols.ali
 204  langkit_support-text.ali
 205  langkit_support-token_data_handlers.ali
 206  langkit_support-tree_traversal_iterator.ali
 207  langkit_support-types.ali
 208  langkit_support-vectors.ali
 209  langkit_support.ali
 210  liblangkit_support.so
 211 lib/langkit_support.static/
 212  langkit_support-adalog-debug.ali
 213  langkit_support-adalog-generic_main_support.ali
 214  langkit_support-adalog-logic_var.ali
 215  langkit_support-adalog-main_support.ali
 216  langkit_support-adalog-solver.ali
 217  langkit_support-adalog-solver_interface.ali
 218  langkit_support-adalog.ali
 219  langkit_support-array_utils.ali
 220  langkit_support-boxes.ali
 221  langkit_support-bump_ptr.ali
 222  langkit_support-bump_ptr_vectors.ali
 223  langkit_support-cheap_sets.ali
 224  langkit_support-diagnostics-output.ali
 225  langkit_support-diagnostics.ali
 226  langkit_support-errors.ali
 227  langkit_support-file_readers.ali
 228  langkit_support-generic_api-analysis.ali
 229  langkit_support-generic_api-introspection.ali
 230  langkit_support-generic_api.ali
 231  langkit_support-generic_bump_ptr.ali
 232  langkit_support-hashes.ali
 233  langkit_support-images.ali
 234  langkit_support-internal-analysis.ali
 235  langkit_support-internal-conversions.ali
 236  langkit_support-internal-descriptor.ali
 237  langkit_support-internal-introspection.ali
 238  langkit_support-internal.ali
 239  langkit_support-iterators.ali
 240  langkit_support-lexical_envs.ali
 241  langkit_support-lexical_envs_impl.ali
 242  langkit_support-names-maps.ali
 243  langkit_support-names.ali
 244  langkit_support-packrat.ali
 245  langkit_support-relative_get.ali
 246  langkit_support-slocs.ali
 247  langkit_support-symbols-precomputed.ali
 248  langkit_support-symbols.ali
 249  langkit_support-text.ali
 250  langkit_support-token_data_handlers.ali
 251  langkit_support-tree_traversal_iterator.ali
 252  langkit_support-types.ali
 253  langkit_support-vectors.ali
 254  langkit_support.ali
 255  liblangkit_support.a
 256 lib/langkit_support.static-pic/
 257  langkit_support-adalog-debug.ali
 258  langkit_support-adalog-generic_main_support.ali
 259  langkit_support-adalog-logic_var.ali
 260  langkit_support-adalog-main_support.ali
 261  langkit_support-adalog-solver.ali
 262  langkit_support-adalog-solver_interface.ali
 263  langkit_support-adalog.ali
 264  langkit_support-array_utils.ali
 265  langkit_support-boxes.ali
 266  langkit_support-bump_ptr.ali
 267  langkit_support-bump_ptr_vectors.ali
 268  langkit_support-cheap_sets.ali
 269  langkit_support-diagnostics-output.ali
 270  langkit_support-diagnostics.ali
 271  langkit_support-errors.ali
 272  langkit_support-file_readers.ali
 273  langkit_support-generic_api-analysis.ali
 274  langkit_support-generic_api-introspection.ali
 275  langkit_support-generic_api.ali
 276  langkit_support-generic_bump_ptr.ali
 277  langkit_support-hashes.ali
 278  langkit_support-images.ali
 279  langkit_support-internal-analysis.ali
 280  langkit_support-internal-conversions.ali
 281  langkit_support-internal-descriptor.ali
 282  langkit_support-internal-introspection.ali
 283  langkit_support-internal.ali
 284  langkit_support-iterators.ali
 285  langkit_support-lexical_envs.ali
 286  langkit_support-lexical_envs_impl.ali
 287  langkit_support-names-maps.ali
 288  langkit_support-names.ali
 289  langkit_support-packrat.ali
 290  langkit_support-relative_get.ali
 291  langkit_support-slocs.ali
 292  langkit_support-symbols-precomputed.ali
 293  langkit_support-symbols.ali
 294  langkit_support-text.ali
 295  langkit_support-token_data_handlers.ali
 296  langkit_support-tree_traversal_iterator.ali
 297  langkit_support-types.ali
 298  langkit_support-vectors.ali
 299  langkit_support.ali
 300  liblangkit_support.a
 301 share/gpr/langkit_support.gpr
 302
 303
 304 [FILE:408:patches/patch-langkit_support_langkit__support.gpr]
 305 --- langkit/support/langkit_support.gpr.orig    2023-07-06 13:16:36 UTC
 306 +++ langkit/support/langkit_support.gpr
 307 @@ -75,6 +75,7 @@ library project Langkit_Support is
 308     end case;
 309
 310     for Library_Name use "langkit_support";
 311 +   for Library_Version use "liblangkit_support.so.%%SOVERSION%%";
 312     for Library_Kind use Library_Kind_Param;
 313     for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode;
 314
 315