SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause copyrights: - Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) enabled-by: true links: - role: spec-member uid: root - role: spec-refinement spec-key: build-type spec-value: ada-test-program uid: build spec-description: null spec-example: null spec-info: dict: attributes: ada-main: description: | It shall be the path to the Ada main body file. spec-type: str ada-object-directory: description: | It shall be the path to the Ada object directory (``-D`` option value for ``gnatmake``). spec-type: str adaflags: description: | It shall be a list of options for the Ada compiler. spec-type: list-str adaincludes: description: | It shall be a list of Ada include paths. spec-type: list-str cflags: description: null spec-type: build-cflags cppflags: description: null spec-type: build-cppflags includes: description: null spec-type: build-includes ldflags: description: null spec-type: build-ldflags source: description: null spec-type: build-source-list stlib: description: | It shall be a list of external static library identifiers used to link this test program, e.g. ``m`` for ``libm.a``. spec-type: list-str target: description: null spec-type: build-target use-after: description: null spec-type: build-use-after-list use-before: description: null spec-type: build-use-before-list description: | This set of attributes specifies an Ada test program executable to build. Test programs may use additional objects provided by :ref:`SpecTypeBuildObjectsItemType` items. Test programs have an implicit ``enabled-by`` attribute value which is controlled by the option action :ref:`set-test-state `. If the test state is set to ``exclude``, then the test program is not built. required-attributes: all spec-name: Build Ada Test Program Item Type spec-type: build-ada-test-program type: spec