# Buildsheet autogenerated by ravenadm tool -- Do not edit. NAMEBASE= langkit_support VERSION= 26.0.0 REVISION= 2 EPOCH= 1 KEYWORDS= ada devel VARIANTS= std SDESC[std]= Support files for Ada Langkit HOMEPAGE= https://github.com/AdaCore/langkit CONTACT= John_Marino[draco@marino.st] DOWNLOAD_GROUPS= main adasat SITES[main]= GITHUB/AdaCore:langkit:v26.0.0 SITES[adasat]= GITHUB/AdaCore:AdaSAT:v26.0.0:adasat DISTFILE[1]= generated:main DISTFILE[2]= generated:adasat DF_INDEX= 1 2 SPKGS[std]= set primary bindings modules dev OPTIONS_AVAILABLE= REGULAR OPTIONS_STANDARD= REGULAR BUILD_DEPENDS= python313:primary:std gmp:dev:std gnatcoll-bindings:dev:std gnatcoll-core:dev:std prettier-ada:dev:std BUILDRUN_DEPENDS= gnatcoll-core:primary:std gnatcoll-bindings:iconv:std gnatcoll-bindings:gmp:std prettier-ada:primary:std langkit:single:std python-funcy:single:python_default python-docutils:single:python_default python-Mako:single:python_default python-e3-core:single:python_default RUN_DEPENDS= AdaSAT:primary:std EXRUN[dev]= gnatcoll-bindings:dev:std gnatcoll-core:dev:std gmp:dev:std prettier-ada:dev:std AdaSAT:dev:std USES= gprbuild python:pep517 iconv:build DISTNAME= langkit-26.0.0 LICENSE= APACHE20:primary LICENSE_TERMS= primary:{{WRKDIR}}/TERMS LICENSE_FILE= APACHE20:{{WRKSRC}}/LICENSE.txt LICENSE_AWK= TERMS:"^$$" LICENSE_SOURCE= TERMS:{{WRKSRC}}/langkit/support/langkit_support.ads LICENSE_SCHEME= solo MAKE_ENV= GPR_PROJECT_PATH={{LOCALBASE}}/share/gpr INSTALL_REQ_TOOLCHAIN= yes SOVERSION= 26.0.0 [REGULAR].DESCRIPTION= Build as regular, not Stand-Alone Library [REGULAR].MAKEFILE_OFF= SALTYPE=standard [REGULAR].MAKEFILE_ON= SALTYPE=no do-build: (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \ python manage.py make --no-mypy \ --jobs=${MAKE_JOBS_NUMBER} \ --build-mode=prod \ --library-types=static,static-pic,relocatable) pre-configure: ${REINPLACE_CMD} -e 's|%%SOVERSION%%|26.0.0|' \ -e 's|@SALTYPE@|${SALTYPE}|' \ ${WRKSRC}/langkit/support/langkit_support.gpr ${REINPLACE_CMD} -e 's|%%SOVERSION%%|26.0.0|' \ ${WRKSRC}/langkit/support/adasat.gpr post-extract: # relocate adasat source ${MV} ${WRKSRC}/adasat/adasat.gpr ${WRKSRC}/langkit/support/ ${MV} ${WRKSRC}/adasat/src ${WRKSRC}/langkit/support/ do-install: (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \ python manage.py install-langkit-support \ --library-types=static,static-pic,relocatable \ --build-mode=prod \ ${STAGEDIR}${PREFIX}) (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} python \ -m langkit.scripts.lkm install \ -c lkt/langkit.yaml \ --library-types=static,static-pic,relocatable \ --build-mode=prod \ --disable-all-mains \ ${STAGEDIR}${PREFIX}) # Construct python wheels (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} python -m build \ --no-isolation --wheel lkt/build/python) # install wheel in stage directory ${MKDIR} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} (cd ${BUILD_WRKSRC} && ${SETENV} AUTOPYTHON=${_PYTHON_VERSION} \ python -m installer \ --destdir ${STAGEDIR} \ --prefix ${PREFIX} \ ${BUILD_WRKSRC}/lkt/build/python/dist/*.whl) # fix shebang ${SED} -i'' -e 's|/usr/bin/env python|${PYTHON_CMD}|' \ ${STAGEDIR}${PREFIX}/bin/lkt_playground # strip ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/langkit_support.relocatable/liblangkit_support.so ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/liblktlang.relocatable/liblktlang.so # Remove redundant manifest file ${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests # Remove empty directory ${RMDIR} ${STAGEDIR}${PREFIX}/lib/windows [FILE:126:descriptions/desc.primary] Support files for Ada Langkit. Since it requires an installed version of langkit to build this, a separate port is necessary. [FILE:142:descriptions/desc.bindings] Lang files produced by Ada Langkit. This covers java, ocaml, and python bindings. Binary playgrounds and GDB init scripts are also included. [FILE:72:descriptions/desc.modules] This package contains Ada Langkit Python modules for ltk and libpython. [FILE:215:distinfo] 9cef59480c9d927433ab4a74fbdfe118192b65c869b66bd59539325d966f7cf9 2682681 AdaCore-langkit-26.0.0.tar.gz de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c 30714 AdaCore-AdaSAT-26.0.0.tar.gz [FILE:149:manifests/plist.primary] lib/liblangkit_support.so.%%SOVERSION%% lib/langkit_support.relocatable/liblangkit_support.so.%%SOVERSION%% lib/liblktlang.relocatable/liblktlang.so [FILE:289:manifests/plist.bindings] bin/lkt_playground java/ Makefile pom.xml java/jni/jni_impl.c java/src/main/java/com/adacore/liblktlang/Liblktlang.java ocaml/ dune dune-project liblktlang.ml liblktlang.mli liblktlang.opam python/pyproject.toml python/liblktlang/ __init__.py py.typed share/liblktlang/gdbinit.py [FILE:23253:manifests/plist.dev] %%REGULAR-ON%%include/langkit_support/ langkit_support-prettier_utils.adb langkit_support-prettier_utils.ads langkit_support-rewriting-unparsing.adb langkit_support-rewriting-unparsing.ads %%REGULAR-ON%%lib/langkit_support.relocatable/ langkit_support-prettier_utils.ali langkit_support-rewriting-unparsing.ali %%REGULAR-ON%%lib/langkit_support.static/ langkit_support-prettier_utils.ali langkit_support-rewriting-unparsing.ali %%REGULAR-ON%%lib/langkit_support.static-pic/ langkit_support-prettier_utils.ali langkit_support-rewriting-unparsing.ali include/langkit_support/ langkit_support-adalog-debug.adb langkit_support-adalog-debug.ads langkit_support-adalog-generic_main_support.adb langkit_support-adalog-generic_main_support.ads langkit_support-adalog-logic_var.adb langkit_support-adalog-logic_var.ads langkit_support-adalog-main_support.ads langkit_support-adalog-solver-diagnostics.adb langkit_support-adalog-solver-diagnostics.ads langkit_support-adalog-solver.adb langkit_support-adalog-solver.ads langkit_support-adalog-solver_interface.adb langkit_support-adalog-solver_interface.ads langkit_support-adalog.ads langkit_support-array_utils.adb langkit_support-array_utils.ads langkit_support-boxes.adb langkit_support-boxes.ads langkit_support-bump_ptr.ads langkit_support-bump_ptr_vectors.adb langkit_support-bump_ptr_vectors.ads langkit_support-cheap_sets.adb langkit_support-cheap_sets.ads langkit_support-diagnostics-output.adb langkit_support-diagnostics-output.ads langkit_support-diagnostics.adb langkit_support-diagnostics.ads langkit_support-errors.ads langkit_support-file_readers.adb langkit_support-file_readers.ads langkit_support-generic_api-analysis.adb langkit_support-generic_api-analysis.ads langkit_support-generic_api-introspection.adb langkit_support-generic_api-introspection.ads langkit_support-generic_api-rewriting.adb langkit_support-generic_api-rewriting.ads langkit_support-generic_api-unparsing.adb langkit_support-generic_api-unparsing.ads langkit_support-generic_api.adb langkit_support-generic_api.ads langkit_support-generic_bump_ptr.adb langkit_support-generic_bump_ptr.ads langkit_support-hashes.adb langkit_support-hashes.ads langkit_support-images.adb langkit_support-images.ads langkit_support-internal-analysis.adb langkit_support-internal-analysis.ads langkit_support-internal-conversions.ads langkit_support-internal-descriptor.ads langkit_support-internal-introspection.adb langkit_support-internal-introspection.ads langkit_support-internal-unparsing.ads langkit_support-internal.ads langkit_support-iterators.adb langkit_support-iterators.ads langkit_support-lexical_envs.ads langkit_support-lexical_envs_impl.adb langkit_support-lexical_envs_impl.ads langkit_support-names-maps.adb langkit_support-names-maps.ads langkit_support-names.adb langkit_support-names.ads langkit_support-packrat.adb langkit_support-packrat.ads langkit_support-relative_get.adb langkit_support-relative_get.ads langkit_support-rewriting-types.adb langkit_support-rewriting-types.ads langkit_support-rewriting.ads langkit_support-slocs.adb langkit_support-slocs.ads langkit_support-symbols-precomputed.adb langkit_support-symbols-precomputed.ads langkit_support-symbols.adb langkit_support-symbols.ads langkit_support-text.adb langkit_support-text.ads langkit_support-token_data_handlers.adb langkit_support-token_data_handlers.ads langkit_support-tree_traversal_iterator.adb langkit_support-tree_traversal_iterator.ads langkit_support-types.ads langkit_support-vectors.adb langkit_support-vectors.ads langkit_support.ads include/liblktlang/ liblktlang-analysis.adb liblktlang-analysis.ads liblktlang-c.adb liblktlang-c.ads liblktlang-common.adb liblktlang-common.ads liblktlang-debug.adb liblktlang-debug.ads liblktlang-default_provider.adb liblktlang-default_provider.ads liblktlang-generic_api-introspection.ads liblktlang-generic_api.adb liblktlang-generic_api.ads liblktlang-implementation-c-extensions.adb liblktlang-implementation-c-extensions.ads liblktlang-implementation-c.adb liblktlang-implementation-c.ads liblktlang-implementation-extensions.adb liblktlang-implementation-extensions.ads liblktlang-implementation.adb liblktlang-implementation.ads liblktlang-iterators.adb liblktlang-iterators.ads liblktlang-lexer.adb liblktlang-lexer.ads liblktlang-lexer_implementation.adb liblktlang-lexer_implementation.ads liblktlang-lexer_state_machine.adb liblktlang-lexer_state_machine.ads liblktlang-parsers.adb liblktlang-parsers.ads liblktlang-prelude.ads liblktlang-private_converters.adb liblktlang-private_converters.ads liblktlang-public_converters.adb liblktlang-public_converters.ads liblktlang-rewriting.adb liblktlang-rewriting.ads liblktlang-rewriting_c.adb liblktlang-rewriting_c.ads liblktlang-semantic_diagnostics.adb liblktlang-semantic_diagnostics.ads liblktlang.ads liblktlang.h liblktlang_adasat-builders.adb liblktlang_adasat-builders.ads liblktlang_adasat-decisions.adb liblktlang_adasat-decisions.ads liblktlang_adasat-dpll.adb liblktlang_adasat-dpll.ads liblktlang_adasat-formulas.adb liblktlang_adasat-formulas.ads liblktlang_adasat-helpers.adb liblktlang_adasat-helpers.ads liblktlang_adasat-internals.ads liblktlang_adasat-theory.ads liblktlang_adasat-vectors.adb liblktlang_adasat-vectors.ads liblktlang_adasat.adb liblktlang_adasat.ads liblktlang_support-adalog-debug.adb liblktlang_support-adalog-debug.ads liblktlang_support-adalog-generic_main_support.adb liblktlang_support-adalog-generic_main_support.ads liblktlang_support-adalog-logic_var.adb liblktlang_support-adalog-logic_var.ads liblktlang_support-adalog-main_support.ads liblktlang_support-adalog-solver-diagnostics.adb liblktlang_support-adalog-solver-diagnostics.ads liblktlang_support-adalog-solver.adb liblktlang_support-adalog-solver.ads liblktlang_support-adalog-solver_interface.adb liblktlang_support-adalog-solver_interface.ads liblktlang_support-adalog.ads liblktlang_support-array_utils.adb liblktlang_support-array_utils.ads liblktlang_support-boxes.adb liblktlang_support-boxes.ads liblktlang_support-bump_ptr.ads liblktlang_support-bump_ptr_vectors.adb liblktlang_support-bump_ptr_vectors.ads liblktlang_support-cheap_sets.adb liblktlang_support-cheap_sets.ads liblktlang_support-diagnostics-output.adb liblktlang_support-diagnostics-output.ads liblktlang_support-diagnostics.adb liblktlang_support-diagnostics.ads liblktlang_support-errors.ads liblktlang_support-file_readers.adb liblktlang_support-file_readers.ads liblktlang_support-generic_api-analysis.adb liblktlang_support-generic_api-analysis.ads liblktlang_support-generic_api-introspection.adb liblktlang_support-generic_api-introspection.ads liblktlang_support-generic_api-rewriting.adb liblktlang_support-generic_api-rewriting.ads liblktlang_support-generic_api-unparsing.adb liblktlang_support-generic_api-unparsing.ads liblktlang_support-generic_api.adb liblktlang_support-generic_api.ads liblktlang_support-generic_bump_ptr.adb liblktlang_support-generic_bump_ptr.ads liblktlang_support-hashes.adb liblktlang_support-hashes.ads liblktlang_support-images.adb liblktlang_support-images.ads liblktlang_support-internal-analysis.adb liblktlang_support-internal-analysis.ads liblktlang_support-internal-conversions.ads liblktlang_support-internal-descriptor.ads liblktlang_support-internal-introspection.adb liblktlang_support-internal-introspection.ads liblktlang_support-internal-unparsing.ads liblktlang_support-internal.ads liblktlang_support-iterators.adb liblktlang_support-iterators.ads liblktlang_support-lexical_envs.ads liblktlang_support-lexical_envs_impl.adb liblktlang_support-lexical_envs_impl.ads liblktlang_support-names-maps.adb liblktlang_support-names-maps.ads liblktlang_support-names.adb liblktlang_support-names.ads liblktlang_support-packrat.adb liblktlang_support-packrat.ads liblktlang_support-prettier_utils.adb liblktlang_support-prettier_utils.ads liblktlang_support-relative_get.adb liblktlang_support-relative_get.ads liblktlang_support-rewriting-types.adb liblktlang_support-rewriting-types.ads liblktlang_support-rewriting-unparsing.adb liblktlang_support-rewriting-unparsing.ads liblktlang_support-rewriting.ads liblktlang_support-slocs.adb liblktlang_support-slocs.ads liblktlang_support-symbols-precomputed.adb liblktlang_support-symbols-precomputed.ads liblktlang_support-symbols.adb liblktlang_support-symbols.ads liblktlang_support-text.adb liblktlang_support-text.ads liblktlang_support-token_data_handlers.adb liblktlang_support-token_data_handlers.ads liblktlang_support-tree_traversal_iterator.adb liblktlang_support-tree_traversal_iterator.ads liblktlang_support-types.ads liblktlang_support-vectors.adb liblktlang_support-vectors.ads liblktlang_support.ads lib/ liblangkit_support.so liblktlang.so lib/langkit_support.relocatable/ langkit_support-adalog-debug.ali langkit_support-adalog-generic_main_support.ali langkit_support-adalog-logic_var.ali langkit_support-adalog-main_support.ali langkit_support-adalog-solver-diagnostics.ali langkit_support-adalog-solver.ali langkit_support-adalog-solver_interface.ali langkit_support-adalog.ali langkit_support-array_utils.ali langkit_support-boxes.ali langkit_support-bump_ptr.ali langkit_support-bump_ptr_vectors.ali langkit_support-cheap_sets.ali langkit_support-diagnostics-output.ali langkit_support-diagnostics.ali langkit_support-errors.ali langkit_support-file_readers.ali langkit_support-generic_api-analysis.ali langkit_support-generic_api-introspection.ali langkit_support-generic_api-rewriting.ali langkit_support-generic_api-unparsing.ali langkit_support-generic_api.ali langkit_support-generic_bump_ptr.ali langkit_support-hashes.ali langkit_support-images.ali langkit_support-internal-analysis.ali langkit_support-internal-conversions.ali langkit_support-internal-descriptor.ali langkit_support-internal-introspection.ali langkit_support-internal-unparsing.ali langkit_support-internal.ali langkit_support-iterators.ali langkit_support-lexical_envs.ali langkit_support-lexical_envs_impl.ali langkit_support-names-maps.ali langkit_support-names.ali langkit_support-packrat.ali langkit_support-relative_get.ali langkit_support-rewriting-types.ali langkit_support-rewriting.ali langkit_support-slocs.ali langkit_support-symbols-precomputed.ali langkit_support-symbols.ali langkit_support-text.ali langkit_support-token_data_handlers.ali langkit_support-tree_traversal_iterator.ali langkit_support-types.ali langkit_support-vectors.ali langkit_support.ali liblangkit_support.so lib/langkit_support.static/ langkit_support-adalog-debug.ali langkit_support-adalog-generic_main_support.ali langkit_support-adalog-logic_var.ali langkit_support-adalog-main_support.ali langkit_support-adalog-solver-diagnostics.ali langkit_support-adalog-solver.ali langkit_support-adalog-solver_interface.ali langkit_support-adalog.ali langkit_support-array_utils.ali langkit_support-boxes.ali langkit_support-bump_ptr.ali langkit_support-bump_ptr_vectors.ali langkit_support-cheap_sets.ali langkit_support-diagnostics-output.ali langkit_support-diagnostics.ali langkit_support-errors.ali langkit_support-file_readers.ali langkit_support-generic_api-analysis.ali langkit_support-generic_api-introspection.ali langkit_support-generic_api-rewriting.ali langkit_support-generic_api-unparsing.ali langkit_support-generic_api.ali langkit_support-generic_bump_ptr.ali langkit_support-hashes.ali langkit_support-images.ali langkit_support-internal-analysis.ali langkit_support-internal-conversions.ali langkit_support-internal-descriptor.ali langkit_support-internal-introspection.ali langkit_support-internal-unparsing.ali langkit_support-internal.ali langkit_support-iterators.ali langkit_support-lexical_envs.ali langkit_support-lexical_envs_impl.ali langkit_support-names-maps.ali langkit_support-names.ali langkit_support-packrat.ali langkit_support-relative_get.ali langkit_support-rewriting-types.ali langkit_support-rewriting.ali langkit_support-slocs.ali langkit_support-symbols-precomputed.ali langkit_support-symbols.ali langkit_support-text.ali langkit_support-token_data_handlers.ali langkit_support-tree_traversal_iterator.ali langkit_support-types.ali langkit_support-vectors.ali langkit_support.ali liblangkit_support.a lib/langkit_support.static-pic/ langkit_support-adalog-debug.ali langkit_support-adalog-generic_main_support.ali langkit_support-adalog-logic_var.ali langkit_support-adalog-main_support.ali langkit_support-adalog-solver-diagnostics.ali langkit_support-adalog-solver.ali langkit_support-adalog-solver_interface.ali langkit_support-adalog.ali langkit_support-array_utils.ali langkit_support-boxes.ali langkit_support-bump_ptr.ali langkit_support-bump_ptr_vectors.ali langkit_support-cheap_sets.ali langkit_support-diagnostics-output.ali langkit_support-diagnostics.ali langkit_support-errors.ali langkit_support-file_readers.ali langkit_support-generic_api-analysis.ali langkit_support-generic_api-introspection.ali langkit_support-generic_api-rewriting.ali langkit_support-generic_api-unparsing.ali langkit_support-generic_api.ali langkit_support-generic_bump_ptr.ali langkit_support-hashes.ali langkit_support-images.ali langkit_support-internal-analysis.ali langkit_support-internal-conversions.ali langkit_support-internal-descriptor.ali langkit_support-internal-introspection.ali langkit_support-internal-unparsing.ali langkit_support-internal.ali langkit_support-iterators.ali langkit_support-lexical_envs.ali langkit_support-lexical_envs_impl.ali langkit_support-names-maps.ali langkit_support-names.ali langkit_support-packrat.ali langkit_support-relative_get.ali langkit_support-rewriting-types.ali langkit_support-rewriting.ali langkit_support-slocs.ali langkit_support-symbols-precomputed.ali langkit_support-symbols.ali langkit_support-text.ali langkit_support-token_data_handlers.ali langkit_support-tree_traversal_iterator.ali langkit_support-types.ali langkit_support-vectors.ali langkit_support.ali liblangkit_support.a lib/liblktlang.relocatable/ liblktlang-analysis.ali liblktlang-c.ali liblktlang-common.ali liblktlang-debug.ali liblktlang-default_provider.ali liblktlang-generic_api-introspection.ali liblktlang-generic_api.ali liblktlang-implementation-c-extensions.ali liblktlang-implementation-c.ali liblktlang-implementation-extensions.ali liblktlang-implementation.ali liblktlang-iterators.ali liblktlang-lexer.ali liblktlang-lexer_implementation.ali liblktlang-lexer_state_machine.ali liblktlang-parsers.ali liblktlang-prelude.ali liblktlang-private_converters.ali liblktlang-public_converters.ali liblktlang-rewriting.ali liblktlang-rewriting_c.ali liblktlang-semantic_diagnostics.ali liblktlang.ali liblktlang_adasat-builders.ali liblktlang_adasat-decisions.ali liblktlang_adasat-dpll.ali liblktlang_adasat-formulas.ali liblktlang_adasat-helpers.ali liblktlang_adasat-internals.ali liblktlang_adasat-theory.ali liblktlang_adasat-vectors.ali liblktlang_adasat.ali liblktlang_support-adalog-debug.ali liblktlang_support-adalog-generic_main_support.ali liblktlang_support-adalog-logic_var.ali liblktlang_support-adalog-main_support.ali liblktlang_support-adalog-solver-diagnostics.ali liblktlang_support-adalog-solver.ali liblktlang_support-adalog-solver_interface.ali liblktlang_support-adalog.ali liblktlang_support-array_utils.ali liblktlang_support-boxes.ali liblktlang_support-bump_ptr.ali liblktlang_support-bump_ptr_vectors.ali liblktlang_support-cheap_sets.ali liblktlang_support-diagnostics-output.ali liblktlang_support-diagnostics.ali liblktlang_support-errors.ali liblktlang_support-file_readers.ali liblktlang_support-generic_api-analysis.ali liblktlang_support-generic_api-introspection.ali liblktlang_support-generic_api-rewriting.ali liblktlang_support-generic_api-unparsing.ali liblktlang_support-generic_api.ali liblktlang_support-generic_bump_ptr.ali liblktlang_support-hashes.ali liblktlang_support-images.ali liblktlang_support-internal-analysis.ali liblktlang_support-internal-conversions.ali liblktlang_support-internal-descriptor.ali liblktlang_support-internal-introspection.ali liblktlang_support-internal-unparsing.ali liblktlang_support-internal.ali liblktlang_support-iterators.ali liblktlang_support-lexical_envs.ali liblktlang_support-lexical_envs_impl.ali liblktlang_support-names-maps.ali liblktlang_support-names.ali liblktlang_support-packrat.ali liblktlang_support-prettier_utils.ali liblktlang_support-relative_get.ali liblktlang_support-rewriting-types.ali liblktlang_support-rewriting-unparsing.ali liblktlang_support-rewriting.ali liblktlang_support-slocs.ali liblktlang_support-symbols-precomputed.ali liblktlang_support-symbols.ali liblktlang_support-text.ali liblktlang_support-token_data_handlers.ali liblktlang_support-tree_traversal_iterator.ali liblktlang_support-types.ali liblktlang_support-vectors.ali liblktlang_support.ali lib/liblktlang.static/ liblktlang-analysis.ali liblktlang-c.ali liblktlang-common.ali liblktlang-debug.ali liblktlang-default_provider.ali liblktlang-generic_api-introspection.ali liblktlang-generic_api.ali liblktlang-implementation-c-extensions.ali liblktlang-implementation-c.ali liblktlang-implementation-extensions.ali liblktlang-implementation.ali liblktlang-iterators.ali liblktlang-lexer.ali liblktlang-lexer_implementation.ali liblktlang-lexer_state_machine.ali liblktlang-parsers.ali liblktlang-prelude.ali liblktlang-private_converters.ali liblktlang-public_converters.ali liblktlang-rewriting.ali liblktlang-rewriting_c.ali liblktlang-semantic_diagnostics.ali liblktlang.a liblktlang.ali liblktlang_adasat-builders.ali liblktlang_adasat-decisions.ali liblktlang_adasat-dpll.ali liblktlang_adasat-formulas.ali liblktlang_adasat-helpers.ali liblktlang_adasat-internals.ali liblktlang_adasat-theory.ali liblktlang_adasat-vectors.ali liblktlang_adasat.ali liblktlang_support-adalog-debug.ali liblktlang_support-adalog-generic_main_support.ali liblktlang_support-adalog-logic_var.ali liblktlang_support-adalog-main_support.ali liblktlang_support-adalog-solver-diagnostics.ali liblktlang_support-adalog-solver.ali liblktlang_support-adalog-solver_interface.ali liblktlang_support-adalog.ali liblktlang_support-array_utils.ali liblktlang_support-boxes.ali liblktlang_support-bump_ptr.ali liblktlang_support-bump_ptr_vectors.ali liblktlang_support-cheap_sets.ali liblktlang_support-diagnostics-output.ali liblktlang_support-diagnostics.ali liblktlang_support-errors.ali liblktlang_support-file_readers.ali liblktlang_support-generic_api-analysis.ali liblktlang_support-generic_api-introspection.ali liblktlang_support-generic_api-rewriting.ali liblktlang_support-generic_api-unparsing.ali liblktlang_support-generic_api.ali liblktlang_support-generic_bump_ptr.ali liblktlang_support-hashes.ali liblktlang_support-images.ali liblktlang_support-internal-analysis.ali liblktlang_support-internal-conversions.ali liblktlang_support-internal-descriptor.ali liblktlang_support-internal-introspection.ali liblktlang_support-internal-unparsing.ali liblktlang_support-internal.ali liblktlang_support-iterators.ali liblktlang_support-lexical_envs.ali liblktlang_support-lexical_envs_impl.ali liblktlang_support-names-maps.ali liblktlang_support-names.ali liblktlang_support-packrat.ali liblktlang_support-prettier_utils.ali liblktlang_support-relative_get.ali liblktlang_support-rewriting-types.ali liblktlang_support-rewriting-unparsing.ali liblktlang_support-rewriting.ali liblktlang_support-slocs.ali liblktlang_support-symbols-precomputed.ali liblktlang_support-symbols.ali liblktlang_support-text.ali liblktlang_support-token_data_handlers.ali liblktlang_support-tree_traversal_iterator.ali liblktlang_support-types.ali liblktlang_support-vectors.ali liblktlang_support.ali lib/liblktlang.static-pic/ liblktlang-analysis.ali liblktlang-c.ali liblktlang-common.ali liblktlang-debug.ali liblktlang-default_provider.ali liblktlang-generic_api-introspection.ali liblktlang-generic_api.ali liblktlang-implementation-c-extensions.ali liblktlang-implementation-c.ali liblktlang-implementation-extensions.ali liblktlang-implementation.ali liblktlang-iterators.ali liblktlang-lexer.ali liblktlang-lexer_implementation.ali liblktlang-lexer_state_machine.ali liblktlang-parsers.ali liblktlang-prelude.ali liblktlang-private_converters.ali liblktlang-public_converters.ali liblktlang-rewriting.ali liblktlang-rewriting_c.ali liblktlang-semantic_diagnostics.ali liblktlang.a liblktlang.ali liblktlang_adasat-builders.ali liblktlang_adasat-decisions.ali liblktlang_adasat-dpll.ali liblktlang_adasat-formulas.ali liblktlang_adasat-helpers.ali liblktlang_adasat-internals.ali liblktlang_adasat-theory.ali liblktlang_adasat-vectors.ali liblktlang_adasat.ali liblktlang_support-adalog-debug.ali liblktlang_support-adalog-generic_main_support.ali liblktlang_support-adalog-logic_var.ali liblktlang_support-adalog-main_support.ali liblktlang_support-adalog-solver-diagnostics.ali liblktlang_support-adalog-solver.ali liblktlang_support-adalog-solver_interface.ali liblktlang_support-adalog.ali liblktlang_support-array_utils.ali liblktlang_support-boxes.ali liblktlang_support-bump_ptr.ali liblktlang_support-bump_ptr_vectors.ali liblktlang_support-cheap_sets.ali liblktlang_support-diagnostics-output.ali liblktlang_support-diagnostics.ali liblktlang_support-errors.ali liblktlang_support-file_readers.ali liblktlang_support-generic_api-analysis.ali liblktlang_support-generic_api-introspection.ali liblktlang_support-generic_api-rewriting.ali liblktlang_support-generic_api-unparsing.ali liblktlang_support-generic_api.ali liblktlang_support-generic_bump_ptr.ali liblktlang_support-hashes.ali liblktlang_support-images.ali liblktlang_support-internal-analysis.ali liblktlang_support-internal-conversions.ali liblktlang_support-internal-descriptor.ali liblktlang_support-internal-introspection.ali liblktlang_support-internal-unparsing.ali liblktlang_support-internal.ali liblktlang_support-iterators.ali liblktlang_support-lexical_envs.ali liblktlang_support-lexical_envs_impl.ali liblktlang_support-names-maps.ali liblktlang_support-names.ali liblktlang_support-packrat.ali liblktlang_support-prettier_utils.ali liblktlang_support-relative_get.ali liblktlang_support-rewriting-types.ali liblktlang_support-rewriting-unparsing.ali liblktlang_support-rewriting.ali liblktlang_support-slocs.ali liblktlang_support-symbols-precomputed.ali liblktlang_support-symbols.ali liblktlang_support-text.ali liblktlang_support-token_data_handlers.ali liblktlang_support-tree_traversal_iterator.ali liblktlang_support-types.ali liblktlang_support-vectors.ali liblktlang_support.ali share/gpr/ langkit_support.gpr liblktlang.gpr [FILE:475:patches/patch-adasat.gpr] --- langkit/support/adasat.gpr.orig 2024-01-03 17:00:52 UTC +++ langkit/support/adasat.gpr @@ -12,6 +12,7 @@ library project AdaSAT is for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode; for Object_Dir use "obj/" & Library_Kind_Param & "/" & Build_Mode; for Library_Name use "adasat"; + for Library_Version use "libadasat.so.%%SOVERSION%%"; for Library_Kind use Library_Kind_Param; Common_Ada_Cargs := ("-gnatwa", "-gnatyg", "-fPIC"); [FILE:811:patches/patch-langkit_support_langkit__support.gpr] --- langkit/support/langkit_support.gpr.orig 2025-09-19 07:31:11 UTC +++ langkit/support/langkit_support.gpr @@ -15,7 +15,7 @@ library project Langkit_Support is type Library_Standalone_Type is ("standard", "no", "encapsulated"); Library_Standalone : Library_Standalone_Type := external - ("LANGKIT_SUPPORT_STANDALONE", external ("STANDALONE", "standard")); + ("LANGKIT_SUPPORT_STANDALONE", external ("STANDALONE", "@SALTYPE@")); for Languages use ("Ada"); for Source_Dirs use ("."); @@ -81,6 +81,7 @@ library project Langkit_Support is end case; for Library_Name use "langkit_support"; + for Library_Version use "liblangkit_support.so.%%SOVERSION%%"; for Library_Kind use Library_Kind_Param; for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode; [FILE:202:files/special.mk] setuptools-autolist: @echo "[Packing build python modules]" @(cd ${STAGEDIR}${PREFIX} && \ ${FIND} lib/pyth* \( -type f -o -type l \) 2>/dev/null | ${SORT}) \ >> ${WRKDIR}/.manifest.modules.mktmp