bucket_05/libadalang

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               libadalang
   4 VERSION=                23.0.0
   5 REVISION=               3
   6 EPOCH=                  1
   7 KEYWORDS=               lang devel
   8 VARIANTS=               standard
   9 SDESC[standard]=        High-performance semantic engine for Ada
  10 HOMEPAGE=               https://github.com/AdaCore/libadalang
  11 CONTACT=                John_Marino[draco@marino.st]
  12
  13 DOWNLOAD_GROUPS=        main
  14 SITES[main]=            GITHUB/AdaCore:libadalang:a7a7369
  15 DISTFILE[1]=            generated:main
  16 DF_INDEX=               1
  17 SPKGS[standard]=        complete
  18                         primary
  19                         dev
  20                         tools
  21
  22 OPTIONS_AVAILABLE=      DEBUG
  23 OPTIONS_STANDARD=       DEBUG
  24
  25 BUILD_DEPENDS=          langkit_support:dev:standard
  26                         libgpr2:dev:standard
  27 BUILDRUN_DEPENDS=       langkit:single:standard
  28                         libgpr2:primary:standard
  29                         gnatcoll-bindings:gmp:standard
  30 EXRUN[tools]=           primary
  31 EXRUN[dev]=             libgpr2:dev:standard
  32                         langkit_support:dev:standard
  33
  34 USES=                   gprbuild iconv:build python:build,sutools
  35                         ada:primary
  36
  37 LICENSE=                APACHE20:primary
  38 LICENSE_TERMS=          primary:{{WRKDIR}}/TERMS
  39 LICENSE_FILE=           APACHE20:{{WRKSRC}}/LICENSE.txt
  40 LICENSE_AWK=            TERMS:"^$$"
  41 LICENSE_SOURCE=         TERMS:{{WRKSRC}}/extensions/src/libadalang-auto_provider.ads
  42 LICENSE_SCHEME=         solo
  43
  44 MUST_CONFIGURE=         yes
  45
  46 MAKE_ARGS=              --build-mode
  47                         dev
  48                         --library-types=static,static-pic,relocatable
  49
  50 INSTALL_REQ_TOOLCHAIN=  yes
  51 SOVERSION=              23.0.0
  52
  53 VAR_OPSYS[freebsd]=     MAKEFILE_LINE=XTRALIB=,"-lutil"
  54 VAR_OPSYS[dragonfly]=   MAKEFILE_LINE=XTRALIB=,"-lutil"
  55 VAR_OPSYS[midnightbsd]= MAKEFILE_LINE=XTRALIB=,"-lutil"
  56
  57 do-build:
  58         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  59                 ${PYTHON_CMD} manage.py build\
  60                 ${MAKE_ARGS:NDESTDIR=*})
  61
  62 do-configure:
  63         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  64                 ${PYTHON_CMD} manage.py generate)
  65         # prepare for mains.gpr modification
  66         ${PATCH} -d ${PATCH_WRKSRC} --backup --forward -E -p0 --batch \
  67                 < ${FILESDIR}/pc-patch-build_mains.gpr
  68         ${REINPLACE_CMD} -e 's|@LIBS@|"-lgnarl","-Wl,-rpath,${PREFIX}/lib"${XTRALIB}|' \
  69                 ${WRKSRC}/build/mains.gpr
  70         # support soname libraries
  71         ${PATCH} -d ${PATCH_WRKSRC} --backup --forward -E -p0 --batch \
  72                 < ${FILESDIR}/pc-patch-build_libadalang.gpr
  73         ${REINPLACE_CMD} -e 's|@SOVERSION@|23.0.0|' \
  74                 ${WRKSRC}/build/libadalang.gpr
  75
  76 do-install:
  77         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  78                 ${PYTHON_CMD} manage.py install\
  79                 ${MAKE_ARGS:NDESTDIR=*} ${STAGEDIR}${PREFIX})
  80         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/[n]*
  81         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/lal_dda
  82         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/lal_prep
  83         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/lal_parse
  84         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libadalang.relocatable/libadalang.so
  85         ${SED} -i'' -e 's|/usr/bin/env python|${PYTHON_CMD}|' \
  86                 ${STAGEDIR}${PREFIX}/bin/lal_playground
  87         ${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests
  88         ${RM} -r ${STAGEDIR}${PREFIX}/share/examples/libadalang
  89         ${RM} ${STAGEDIR}${PREFIX}/python/setup.py
  90         ${RMDIR} ${STAGEDIR}${PREFIX}/lib/windows
  91
  92 [FILE:853:descriptions/desc.primary]
  93 Libadalang is a project to build a high performance semantic engine for
  94 the Ada programming language. It is meant to provide a basis to write Ada
  95 tooling, including tools working on potentially changing and incorrect
  96 code, such as IDEs. Its goals encompass, but are not limited to:
  97
  98 * Full support for parsing the Ada 2012 syntax, plus SPARK extensions.
  99 * Error tolerant parsing: the parser must be able to recover from simple
 100   errors and provide a "best-guess" tree.
 101 * Error tolerant semantic analysis: it must be possible to create a tool
 102   that works only on syntax, and completely ignores semantic issues.
 103 * Full symbol resolution respecting Ada 2012 - and prior - semantics.
 104 * Bindings to a variety of languages, including Ada, C, Python and Java, so
 105   that tools can be written from various ecosystems.
 106 * Incremental processing of source files.
 107
 108
 109 [FILE:63:descriptions/desc.tools]
 110 This package contains tools based on the Ada language library.
 111
 112
 113 [FILE:112:distinfo]
 114 c70c6fef65dedda4112be3918cadaacdd588b5cd538192e8f0e3023bbf65f582      2751479 AdaCore-libadalang-a7a7369.tar.gz
 115
 116
 117 [FILE:87:manifests/plist.primary]
 118 lib/libadalang.so.%%SOVERSION%%
 119 lib/libadalang.relocatable/libadalang.so.%%SOVERSION%%
 120
 121
 122 [FILE:5820:manifests/plist.dev]
 123 include/libadalang/
 124  libadalang-analysis.adb
 125  libadalang-analysis.ads
 126  libadalang-auto_provider.adb
 127  libadalang-auto_provider.ads
 128  libadalang-c.adb
 129  libadalang-c.ads
 130  libadalang-common.adb
 131  libadalang-common.ads
 132  libadalang-config_pragmas.adb
 133  libadalang-config_pragmas.ads
 134  libadalang-config_pragmas_impl.adb
 135  libadalang-config_pragmas_impl.ads
 136  libadalang-data_decomposition.adb
 137  libadalang-data_decomposition.ads
 138  libadalang-debug.adb
 139  libadalang-debug.ads
 140  libadalang-doc_utils.adb
 141  libadalang-doc_utils.ads
 142  libadalang-env_hooks.adb
 143  libadalang-env_hooks.ads
 144  libadalang-expr_eval.adb
 145  libadalang-expr_eval.ads
 146  libadalang-generic_api-introspection.ads
 147  libadalang-generic_api.adb
 148  libadalang-generic_api.ads
 149  libadalang-gpr_utils.adb
 150  libadalang-gpr_utils.ads
 151  libadalang-helpers.adb
 152  libadalang-helpers.ads
 153  libadalang-implementation-c-extensions.adb
 154  libadalang-implementation-c-extensions.ads
 155  libadalang-implementation-c.adb
 156  libadalang-implementation-c.ads
 157  libadalang-implementation-extensions.adb
 158  libadalang-implementation-extensions.ads
 159  libadalang-implementation.adb
 160  libadalang-implementation.ads
 161  libadalang-internal_default_provider.adb
 162  libadalang-internal_default_provider.ads
 163  libadalang-iterators-extensions.adb
 164  libadalang-iterators-extensions.ads
 165  libadalang-iterators.adb
 166  libadalang-iterators.ads
 167  libadalang-lexer.adb
 168  libadalang-lexer.ads
 169  libadalang-lexer_implementation.adb
 170  libadalang-lexer_implementation.ads
 171  libadalang-lexer_state_machine.adb
 172  libadalang-lexer_state_machine.ads
 173  libadalang-parsers.adb
 174  libadalang-parsers.ads
 175  libadalang-pp_impl.adb
 176  libadalang-pp_impl.ads
 177  libadalang-pp_lexer.adb
 178  libadalang-pp_lexer.ads
 179  libadalang-preprocessing.adb
 180  libadalang-preprocessing.ads
 181  libadalang-private_converters.adb
 182  libadalang-private_converters.ads
 183  libadalang-project_provider.adb
 184  libadalang-project_provider.ads
 185  libadalang-public_converters.adb
 186  libadalang-public_converters.ads
 187  libadalang-rewriting.adb
 188  libadalang-rewriting.ads
 189  libadalang-sources.adb
 190  libadalang-sources.ads
 191  libadalang-unit_files.adb
 192  libadalang-unit_files.ads
 193  libadalang-unparsing.adb
 194  libadalang-unparsing.ads
 195  libadalang.ads
 196  libadalang.h
 197 java/
 198  Makefile
 199  pom.xml
 200 java/jni/jni_impl.c
 201 java/src/main/java/com/adacore/libadalang/Libadalang.java
 202 lib/libadalang.so
 203 lib/libadalang.relocatable/
 204  libadalang-analysis.ali
 205  libadalang-auto_provider.ali
 206  libadalang-c.ali
 207  libadalang-common.ali
 208  libadalang-config_pragmas.ali
 209  libadalang-config_pragmas_impl.ali
 210  libadalang-data_decomposition.ali
 211  libadalang-debug.ali
 212  libadalang-doc_utils.ali
 213  libadalang-env_hooks.ali
 214  libadalang-expr_eval.ali
 215  libadalang-generic_api-introspection.ali
 216  libadalang-generic_api.ali
 217  libadalang-gpr_utils.ali
 218  libadalang-helpers.ali
 219  libadalang-implementation-c-extensions.ali
 220  libadalang-implementation-c.ali
 221  libadalang-implementation-extensions.ali
 222  libadalang-implementation.ali
 223  libadalang-internal_default_provider.ali
 224  libadalang-iterators-extensions.ali
 225  libadalang-iterators.ali
 226  libadalang-lexer.ali
 227  libadalang-lexer_implementation.ali
 228  libadalang-lexer_state_machine.ali
 229  libadalang-parsers.ali
 230  libadalang-pp_impl.ali
 231  libadalang-pp_lexer.ali
 232  libadalang-preprocessing.ali
 233  libadalang-private_converters.ali
 234  libadalang-project_provider.ali
 235  libadalang-public_converters.ali
 236  libadalang-rewriting.ali
 237  libadalang-sources.ali
 238  libadalang-unit_files.ali
 239  libadalang-unparsing.ali
 240  libadalang.ali
 241  libadalang.so
 242 lib/libadalang.static/
 243  libadalang-analysis.ali
 244  libadalang-auto_provider.ali
 245  libadalang-c.ali
 246  libadalang-common.ali
 247  libadalang-config_pragmas.ali
 248  libadalang-config_pragmas_impl.ali
 249  libadalang-data_decomposition.ali
 250  libadalang-debug.ali
 251  libadalang-doc_utils.ali
 252  libadalang-env_hooks.ali
 253  libadalang-expr_eval.ali
 254  libadalang-generic_api-introspection.ali
 255  libadalang-generic_api.ali
 256  libadalang-gpr_utils.ali
 257  libadalang-helpers.ali
 258  libadalang-implementation-c-extensions.ali
 259  libadalang-implementation-c.ali
 260  libadalang-implementation-extensions.ali
 261  libadalang-implementation.ali
 262  libadalang-internal_default_provider.ali
 263  libadalang-iterators-extensions.ali
 264  libadalang-iterators.ali
 265  libadalang-lexer.ali
 266  libadalang-lexer_implementation.ali
 267  libadalang-lexer_state_machine.ali
 268  libadalang-parsers.ali
 269  libadalang-pp_impl.ali
 270  libadalang-pp_lexer.ali
 271  libadalang-preprocessing.ali
 272  libadalang-private_converters.ali
 273  libadalang-project_provider.ali
 274  libadalang-public_converters.ali
 275  libadalang-rewriting.ali
 276  libadalang-sources.ali
 277  libadalang-unit_files.ali
 278  libadalang-unparsing.ali
 279  libadalang.a
 280  libadalang.ali
 281 lib/libadalang.static-pic/
 282  libadalang-analysis.ali
 283  libadalang-auto_provider.ali
 284  libadalang-c.ali
 285  libadalang-common.ali
 286  libadalang-config_pragmas.ali
 287  libadalang-config_pragmas_impl.ali
 288  libadalang-data_decomposition.ali
 289  libadalang-debug.ali
 290  libadalang-doc_utils.ali
 291  libadalang-env_hooks.ali
 292  libadalang-expr_eval.ali
 293  libadalang-generic_api-introspection.ali
 294  libadalang-generic_api.ali
 295  libadalang-gpr_utils.ali
 296  libadalang-helpers.ali
 297  libadalang-implementation-c-extensions.ali
 298  libadalang-implementation-c.ali
 299  libadalang-implementation-extensions.ali
 300  libadalang-implementation.ali
 301  libadalang-internal_default_provider.ali
 302  libadalang-iterators-extensions.ali
 303  libadalang-iterators.ali
 304  libadalang-lexer.ali
 305  libadalang-lexer_implementation.ali
 306  libadalang-lexer_state_machine.ali
 307  libadalang-parsers.ali
 308  libadalang-pp_impl.ali
 309  libadalang-pp_lexer.ali
 310  libadalang-preprocessing.ali
 311  libadalang-private_converters.ali
 312  libadalang-project_provider.ali
 313  libadalang-public_converters.ali
 314  libadalang-rewriting.ali
 315  libadalang-sources.ali
 316  libadalang-unit_files.ali
 317  libadalang-unparsing.ali
 318  libadalang.a
 319  libadalang.ali
 320 ocaml/
 321  dune
 322  dune-project
 323  libadalang.ml
 324  libadalang.mli
 325  libadalang.opam
 326 python/libadalang/
 327  __init__.py
 328  py.typed
 329 share/gpr/libadalang.gpr
 330
 331
 332 [FILE:70:manifests/plist.tools]
 333 bin/
 334  lal_dda
 335  lal_parse
 336  lal_playground
 337  lal_prep
 338  nameres
 339  navigate
 340
 341
 342 [FILE:385:files/pc-patch-build_libadalang.gpr]
 343 --- build/libadalang.gpr.orig   2023-09-12 06:28:45 UTC
 344 +++ build/libadalang.gpr
 345 @@ -61,6 +61,7 @@ library project Libadalang is
 346
 347
 348     for Library_Name use "adalang";
 349 +   for Library_Version use "libadalang.so.@SOVERSION@";
 350     for Library_Kind use Library_Kind_Param;
 351     for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode;
 352     for Object_Dir use "obj/" & Build_Mode;
 353
 354
 355 [FILE:312:files/pc-patch-build_mains.gpr]
 356 post-configure patch to generated mains.gpr
 357 (BSD only)
 358
 359 --- build/mains.gpr.orig        2023-09-12 06:28:39 UTC
 360 +++ build/mains.gpr
 361 @@ -50,4 +50,8 @@ project Mains is
 362        for Switches ("ada") use ("-E");
 363     end Binder;
 364
 365 +   package Linker is
 366 +      for Switches ("ada") use (@LIBS@);
 367 +   end Linker;
 368 +
 369  end Mains;
 370