1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
7 SDESC[standard]= High-performance semantic engine for Ada
8 HOMEPAGE= https://github.com/AdaCore/libadalang
9 CONTACT= John_Marino[draco@marino.st]
11 DOWNLOAD_GROUPS= main langkit
12 SITES[main]= http://downloads.dragonlace.net/src/
13 DISTFILE[1]= libadalang-2019-20190510-19916-src.tar.gz:main
15 SPKGS[standard]= single
17 OPTIONS_AVAILABLE= DEBUG
18 OPTIONS_STANDARD= DEBUG
20 BUILD_DEPENDS= gnatcoll-core:primary:standard
21 BUILDRUN_DEPENDS= gnatcoll-bindings:gmp:standard
22 gnatcoll-bindings:iconv:standard
23 langkit:single:standard
25 USES= gprbuild python:build,py27 ada:single
27 DISTNAME= libadalang-2019-20190510-19916-src
29 LICENSE= GPLv3+:single
30 LICENSE_TERMS= single:{{WRKDIR}}/TERMS
31 LICENSE_FILE= GPLv3+:{{WRKSRC}}/COPYING3
36 INSTALL_REQ_TOOLCHAIN= yes
39 ${REINPLACE_CMD} -e 's|@LIBS@|"-lgnarl", "-Wl,-rpath,${PREFIX}/lib"|' \
40 ${WRKSRC}/build/src/mains.gpr
42 post-configure-dragonfly:
43 ${REINPLACE_CMD} -e 's|@LIBS@|"-lutil", "-lgnarl", "-Wl,-rpath,${PREFIX}/lib"|' \
44 ${WRKSRC}/build/src/mains.gpr
46 post-configure-freebsd:
47 ${REINPLACE_CMD} -e 's|@LIBS@|"-lutil", "-lgnarl", "-Wl,-rpath,${PREFIX}/lib"|' \
48 ${WRKSRC}/build/src/mains.gpr
51 (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
52 ${PYTHON_CMD} ada/manage.py\
54 --library-types=static\
56 ${MAKE_ARGS:NDESTDIR=*}\
60 # must build as static since rpaths are either missing,
61 # refer to /construction, ignore gpr settings, etc
62 (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
63 ${PYTHON_CMD} ada/manage.py\
65 --library-types=static\
68 # prepare for mains.gpr modification
69 ${PATCH} -d ${PATCH_WRKSRC} --backup --forward -E -p0 --batch \
70 < ${FILESDIR}/pc-patch-build_src_mains.gpr
73 ${AWK} '/Libadalang is free software/,/www.gnu.org/' \
74 ${WRKSRC}/ada/copyright.py > ${WRKDIR}/TERMS
77 (cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} \
78 ${PYTHON_CMD} ada/manage.py \
79 --library-types=static\
81 install ${STAGEDIR}${PREFIX})
82 ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
83 ${RM} -r ${STAGEDIR}${PREFIX}/lib/gnat/manifests
84 ${RM} ${STAGEDIR}${PREFIX}/python/setup.py
86 [FILE:853:descriptions/desc.single]
87 Libadalang is a project to build a high performance semantic engine for
88 the Ada programming language. It is meant to provide a basis to write Ada
89 tooling, including tools working on potentially changing and incorrect
90 code, such as IDEs. Its goals encompass, but are not limited to:
92 * Full support for parsing the Ada 2012 syntax, plus SPARK extensions.
93 * Error tolerant parsing: the parser must be able to recover from simple
94 errors and provide a "best-guess" tree.
95 * Error tolerant semantic analysis: it must be possible to create a tool
96 that works only on syntax, and completely ignores semantic issues.
97 * Full symbol resolution respecting Ada 2012 - and prior - semantics.
98 * Bindings to a variety of languages, including Ada, C, Python and Java, so
99 that tools can be written from various ecosystems.
100 * Incremental processing of source files.
104 403b814ef0b3b6a9d169162d35a439e380ea63cc6667326fe50ba4516ec72716 2345942 libadalang-2019-20190510-19916-src.tar.gz
107 [FILE:2296:manifests/plist.single]
116 libadalang-analysis.adb
117 libadalang-analysis.ads
118 libadalang-auto_provider.adb
119 libadalang-auto_provider.ads
122 libadalang-common.adb
123 libadalang-common.ads
124 libadalang-converters.ads
127 libadalang-env_hooks.adb
128 libadalang-env_hooks.ads
129 libadalang-expr_eval.adb
130 libadalang-expr_eval.ads
131 libadalang-gpr_lock.ads
132 libadalang-implementation-c.adb
133 libadalang-implementation-c.ads
134 libadalang-implementation.adb
135 libadalang-implementation.ads
138 libadalang-introspection.adb
139 libadalang-introspection.ads
140 libadalang-iterators.adb
141 libadalang-iterators.ads
144 libadalang-lexer_implementation.adb
145 libadalang-lexer_implementation.ads
146 libadalang-lexer_state_machine.adb
147 libadalang-lexer_state_machine.ads
148 libadalang-parsers.adb
149 libadalang-parsers.ads
150 libadalang-project_provider.adb
151 libadalang-project_provider.ads
152 libadalang-rewriting.adb
153 libadalang-rewriting.ads
154 libadalang-rewriting_implementation.adb
155 libadalang-rewriting_implementation.ads
156 libadalang-sources.adb
157 libadalang-sources.ads
158 libadalang-unit_files.adb
159 libadalang-unit_files.ads
160 libadalang-unparsing.adb
161 libadalang-unparsing.ads
162 libadalang-unparsing_implementation.adb
163 libadalang-unparsing_implementation.ads
165 lib/gnat/libadalang.gpr
166 lib/libadalang.static/
167 libadalang-analysis.ali
168 libadalang-auto_provider.ali
170 libadalang-common.ali
171 libadalang-converters.ali
173 libadalang-env_hooks.ali
174 libadalang-expr_eval.ali
175 libadalang-gpr_lock.ali
176 libadalang-implementation-c.ali
177 libadalang-implementation.ali
179 libadalang-introspection.ali
180 libadalang-iterators.ali
182 libadalang-lexer_implementation.ali
183 libadalang-lexer_state_machine.ali
184 libadalang-parsers.ali
185 libadalang-project_provider.ali
186 libadalang-rewriting.ali
187 libadalang-rewriting_implementation.ali
188 libadalang-sources.ali
189 libadalang-unit_files.ali
190 libadalang-unparsing.ali
191 libadalang-unparsing_implementation.ali
194 python/libadalang/__init__.py
195 share/libadalang/ast-types.html
198 [FILE:337:files/pc-patch-build_src_mains.gpr]
199 post-configure patch to generated mains.gpr
200 (BSD only, maybe MacOS too)
202 --- build/src/mains.gpr.orig 2019-01-15 15:41:29 UTC
203 +++ build/src/mains.gpr
204 @@ -38,4 +38,8 @@ project Mains is
205 for Switches ("ada") use ("-E");
209 + for Switches ("ada") use (@LIBS@);