bucket_05/libadalang

   1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
   2
   3 NAMEBASE=               libadalang
   4 VERSION=                2021
   5 KEYWORDS=               lang devel
   6 VARIANTS=               standard
   7 SDESC[standard]=        High-performance semantic engine for Ada
   8 HOMEPAGE=               https://github.com/AdaCore/libadalang
   9 CONTACT=                John_Marino[draco@marino.st]
  10
  11 DOWNLOAD_GROUPS=        main
  12 SITES[main]=            ADACORE/7a191b8dd41b28a9b93424a5aedac3c5ec76b046?filename=libadalang-2021-20210518-199BE-src.tar.gz&x=/
  13 DISTFILE[1]=            libadalang-2021-20210518-199BE-src.tar.gz:main
  14 DF_INDEX=               1
  15 SPKGS[standard]=        single
  16
  17 OPTIONS_AVAILABLE=      DEBUG
  18 OPTIONS_STANDARD=       DEBUG
  19
  20 BUILDRUN_DEPENDS=       langkit:single:standard
  21                         gnatcoll-bindings:gmp:standard
  22
  23 USES=                   gprbuild python:build ada:single
  24
  25 DISTNAME=               libadalang-2021-20210518-199BE-src
  26
  27 LICENSE=                GPLv3+:single
  28 LICENSE_TERMS=          single:{{WRKDIR}}/TERMS
  29 LICENSE_FILE=           GPLv3+:{{WRKSRC}}/COPYING3
  30 LICENSE_SCHEME=         solo
  31
  32 MUST_CONFIGURE=         yes
  33
  34 MAKE_ARGS=              --build-mode
  35                         prod
  36
  37 INSTALL_REQ_TOOLCHAIN=  yes
  38
  39 VAR_OPSYS[freebsd]=     MAKEFILE_LINE=XTRALIB=,"-lutil"
  40 VAR_OPSYS[dragonfly]=   MAKEFILE_LINE=XTRALIB=,"-lutil"
  41
  42 do-build:
  43         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  44                 ${PYTHON_CMD} manage.py build\
  45                 ${MAKE_ARGS:NDESTDIR=*})
  46
  47 do-configure:
  48         # must build as static since rpaths are either missing,
  49         # refer to /construction, ignore gpr settings, etc
  50         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  51                 ${PYTHON_CMD} manage.py generate)
  52         # prepare for mains.gpr modification
  53         ${PATCH} -d ${PATCH_WRKSRC} --backup --forward -E -p0 --batch \
  54                 < ${FILESDIR}/pc-patch-build_mains.gpr
  55         ${REINPLACE_CMD} -e 's|@LIBS@|"-lgnarl","-Wl,-rpath,${PREFIX}/lib"${XTRALIB}|' \
  56                 ${WRKSRC}/build/mains.gpr
  57
  58 post-extract:
  59         ${AWK} '/Libadalang is free software/,/www.gnu.org/' \
  60                 ${WRKSRC}/ada/copyright.py > ${WRKDIR}/TERMS
  61
  62 do-install:
  63         (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
  64                 ${PYTHON_CMD} manage.py install\
  65                 ${MAKE_ARGS:NDESTDIR=*} ${STAGEDIR}${PREFIX})
  66         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/[gn]*
  67         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/lal_parse
  68         ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libadalang.relocatable/libadalang.so
  69         ${SED} -i'' -e 's|/usr/bin/env python|${PYTHON_CMD}|' \
  70                 ${STAGEDIR}${PREFIX}/bin/lal_playground
  71         ${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests
  72         ${RM} -r ${STAGEDIR}${PREFIX}/share/examples/libadalang
  73         ${RM} ${STAGEDIR}${PREFIX}/python/setup.py
  74
  75 [FILE:853:descriptions/desc.single]
  76 Libadalang is a project to build a high performance semantic engine for
  77 the Ada programming language. It is meant to provide a basis to write Ada
  78 tooling, including tools working on potentially changing and incorrect
  79 code, such as IDEs. Its goals encompass, but are not limited to:
  80
  81 * Full support for parsing the Ada 2012 syntax, plus SPARK extensions.
  82 * Error tolerant parsing: the parser must be able to recover from simple
  83   errors and provide a "best-guess" tree.
  84 * Error tolerant semantic analysis: it must be possible to create a tool
  85   that works only on syntax, and completely ignores semantic issues.
  86 * Full symbol resolution respecting Ada 2012 - and prior - semantics.
  87 * Bindings to a variety of languages, including Ada, C, Python and Java, so
  88   that tools can be written from various ecosystems.
  89 * Incremental processing of source files.
  90
  91
  92 [FILE:120:distinfo]
  93 79dd5d2c892d5aa5b372d7e7016ac6cf0023174e1bcef1b0e5d500c9c1ac3540      2354137 libadalang-2021-20210518-199BE-src.tar.gz
  94
  95
  96 [FILE:3310:manifests/plist.single]
  97 bin/
  98  gnat_compare
  99  lal_parse
 100  lal_playground
 101  nameres
 102  navigate
 103 include/libadalang.h
 104 include/libadalang/
 105  libadalang-analysis.adb
 106  libadalang-analysis.ads
 107  libadalang-auto_provider.adb
 108  libadalang-auto_provider.ads
 109  libadalang-c.adb
 110  libadalang-c.ads
 111  libadalang-common.adb
 112  libadalang-common.ads
 113  libadalang-debug.adb
 114  libadalang-debug.ads
 115  libadalang-doc_utils.adb
 116  libadalang-doc_utils.ads
 117  libadalang-env_hooks.adb
 118  libadalang-env_hooks.ads
 119  libadalang-expr_eval.adb
 120  libadalang-expr_eval.ads
 121  libadalang-generic_api.adb
 122  libadalang-generic_api.ads
 123  libadalang-gpr_lock.ads
 124  libadalang-helpers.adb
 125  libadalang-helpers.ads
 126  libadalang-implementation-c-extensions.adb
 127  libadalang-implementation-c-extensions.ads
 128  libadalang-implementation-c.adb
 129  libadalang-implementation-c.ads
 130  libadalang-implementation-extensions.adb
 131  libadalang-implementation-extensions.ads
 132  libadalang-implementation.adb
 133  libadalang-implementation.ads
 134  libadalang-internal_default_provider.adb
 135  libadalang-internal_default_provider.ads
 136  libadalang-introspection.adb
 137  libadalang-introspection.ads
 138  libadalang-introspection_implementation.adb
 139  libadalang-introspection_implementation.ads
 140  libadalang-iterators-extensions.adb
 141  libadalang-iterators-extensions.ads
 142  libadalang-iterators.adb
 143  libadalang-iterators.ads
 144  libadalang-lexer.adb
 145  libadalang-lexer.ads
 146  libadalang-lexer_implementation.adb
 147  libadalang-lexer_implementation.ads
 148  libadalang-lexer_state_machine.adb
 149  libadalang-lexer_state_machine.ads
 150  libadalang-parsers.adb
 151  libadalang-parsers.ads
 152  libadalang-private_converters.ads
 153  libadalang-project_provider.adb
 154  libadalang-project_provider.ads
 155  libadalang-public_converters.adb
 156  libadalang-public_converters.ads
 157  libadalang-rewriting.adb
 158  libadalang-rewriting.ads
 159  libadalang-rewriting_implementation.adb
 160  libadalang-rewriting_implementation.ads
 161  libadalang-sources.adb
 162  libadalang-sources.ads
 163  libadalang-unit_files.adb
 164  libadalang-unit_files.ads
 165  libadalang-unparsing.adb
 166  libadalang-unparsing.ads
 167  libadalang-unparsing_implementation.adb
 168  libadalang-unparsing_implementation.ads
 169  libadalang.ads
 170 lib/libadalang.so
 171 lib/libadalang.relocatable/
 172  libadalang-analysis.ali
 173  libadalang-auto_provider.ali
 174  libadalang-c.ali
 175  libadalang-common.ali
 176  libadalang-debug.ali
 177  libadalang-doc_utils.ali
 178  libadalang-env_hooks.ali
 179  libadalang-expr_eval.ali
 180  libadalang-generic_api.ali
 181  libadalang-gpr_lock.ali
 182  libadalang-helpers.ali
 183  libadalang-implementation-c-extensions.ali
 184  libadalang-implementation-c.ali
 185  libadalang-implementation-extensions.ali
 186  libadalang-implementation.ali
 187  libadalang-internal_default_provider.ali
 188  libadalang-introspection.ali
 189  libadalang-introspection_implementation.ali
 190  libadalang-iterators-extensions.ali
 191  libadalang-iterators.ali
 192  libadalang-lexer.ali
 193  libadalang-lexer_implementation.ali
 194  libadalang-lexer_state_machine.ali
 195  libadalang-parsers.ali
 196  libadalang-private_converters.ali
 197  libadalang-project_provider.ali
 198  libadalang-public_converters.ali
 199  libadalang-rewriting.ali
 200  libadalang-rewriting_implementation.ali
 201  libadalang-sources.ali
 202  libadalang-unit_files.ali
 203  libadalang-unparsing.ali
 204  libadalang-unparsing_implementation.ali
 205  libadalang.ali
 206  libadalang.so
 207 ocaml/
 208  dune
 209  dune-project
 210  libadalang.ml
 211  libadalang.mli
 212  libadalang.opam
 213 python/libadalang/
 214  __init__.py
 215  _py2to3.py
 216 share/gpr/libadalang.gpr
 217
 218
 219 [FILE:329:files/pc-patch-build_mains.gpr]
 220 post-configure patch to generated mains.gpr
 221 (BSD only, maybe MacOS too)
 222
 223 --- build/mains.gpr.orig        2021-06-20 17:42:33 UTC
 224 +++ build/mains.gpr
 225 @@ -44,4 +44,8 @@ project Mains is
 226        for Switches ("ada") use ("-E");
 227     end Binder;
 228
 229 +   package Linker is
 230 +      for Switches ("ada") use (@LIBS@);
 231 +   end Linker;
 232 +
 233  end Mains;
 234