├── .github └── workflows │ ├── linux.yml │ ├── linux_arm.yml │ ├── macos.yml │ ├── macos_arm.yml │ ├── snapshots.yml │ ├── snapshots_publish_index.yml │ └── windows.yml ├── .gitignore ├── LICENSE ├── README.md ├── anod ├── generate ├── build.py ├── host.py ├── interfaces.py ├── main.py └── pyproject.toml ├── lib ├── __init__.py ├── anod │ ├── __init__.py │ ├── build.py │ ├── paths.py │ └── util.py ├── anod_build.py ├── anod_printenv.py └── platform_db.py ├── sanity-checking ├── .gitignore ├── drivers │ ├── __init__.py │ ├── asserts.py │ ├── helpers.py │ ├── platform_db.py │ ├── python_script.py │ ├── target.py │ └── toolchain.py ├── run.py ├── support │ └── target_config.gpr └── tests │ ├── 0001-ada-hello-world │ ├── src │ │ └── hello.adb │ ├── test.py │ └── test.yaml │ ├── 0002-c-hello-world │ ├── src │ │ ├── main.c │ │ └── newlib.c │ ├── test.py │ └── test.yaml │ ├── 0003-ada-static-lib │ ├── lib_src │ │ ├── lib_pack.adb │ │ └── lib_pack.ads │ ├── src │ │ └── main.adb │ ├── static_lib.gpr │ ├── test.py │ └── test.yaml │ ├── 0004-ada-shared-lib │ ├── lib_src │ │ ├── lib_pack.adb │ │ └── lib_pack.ads │ ├── shared_lib.gpr │ ├── src │ │ └── main.adb │ ├── test.py │ └── test.yaml │ ├── 0005-gnatcov-basic │ ├── src │ │ └── hello.adb │ ├── test.py │ └── test.yaml │ ├── 0007-tagged │ ├── src │ │ ├── hello.adb │ │ ├── plop.adb │ │ └── plop.ads │ ├── test.py │ └── test.yaml │ └── z999-999 │ ├── test.py │ └── test.yaml ├── specs ├── adasat.anod ├── alt-ergo.anod ├── avrlibc.anod ├── base_gcc.anod ├── binary_install.anod ├── binutils.anod ├── common.anod ├── embedded-runtimes.anod ├── gcc.anod ├── gdb.anod ├── gh-artifact.anod ├── gmp.anod ├── gnatcoll-bindings.anod ├── gnatcoll.anod ├── gnatcov.anod ├── gnatutil.anod ├── gnu.anod ├── gpr2.anod ├── gprbuild.anod ├── gprconfig_kb.anod ├── isl.anod ├── langkit_support.anod ├── libadalang.anod ├── libgpr.anod ├── libgpr2.anod ├── libiconv.anod ├── mingw.anod ├── mpc.anod ├── mpfr.anod ├── newlib.anod ├── patches │ ├── gdb-0002-Fix-using-gnu-print.patch │ ├── gdb-0006-Fix-link-on-Windows.patch │ ├── gnat_util-20.0w-20190814-1532A-src.tar.gz │ ├── gnatcov.patch │ ├── gprbuild-no-static.patch │ ├── ld │ ├── newlib-fix-arm-eh_frame.patch │ └── zlib-buildsys-mingw.patch ├── prettier_ada.anod ├── release_github.anod ├── release_package.anod ├── spark2014.anod ├── vss.anod ├── why3.anod ├── xmlada.anod └── zlib.anod └── utils └── gen_gnat_manifests.py /.github/workflows/linux.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/linux.yml -------------------------------------------------------------------------------- /.github/workflows/linux_arm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/linux_arm.yml -------------------------------------------------------------------------------- /.github/workflows/macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/macos.yml -------------------------------------------------------------------------------- /.github/workflows/macos_arm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/macos_arm.yml -------------------------------------------------------------------------------- /.github/workflows/snapshots.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/snapshots.yml -------------------------------------------------------------------------------- /.github/workflows/snapshots_publish_index.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/snapshots_publish_index.yml -------------------------------------------------------------------------------- /.github/workflows/windows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.github/workflows/windows.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/README.md -------------------------------------------------------------------------------- /anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/anod -------------------------------------------------------------------------------- /generate/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/generate/build.py -------------------------------------------------------------------------------- /generate/host.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/generate/host.py -------------------------------------------------------------------------------- /generate/interfaces.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/generate/interfaces.py -------------------------------------------------------------------------------- /generate/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/generate/main.py -------------------------------------------------------------------------------- /generate/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/generate/pyproject.toml -------------------------------------------------------------------------------- /lib/__init__.py: -------------------------------------------------------------------------------- 1 | """FSFBuild anod module.""" 2 | 3 | from __future__ import annotations 4 | -------------------------------------------------------------------------------- /lib/anod/__init__.py: -------------------------------------------------------------------------------- 1 | """FSFBuild anod module.""" 2 | 3 | from __future__ import annotations 4 | -------------------------------------------------------------------------------- /lib/anod/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/anod/build.py -------------------------------------------------------------------------------- /lib/anod/paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/anod/paths.py -------------------------------------------------------------------------------- /lib/anod/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/anod/util.py -------------------------------------------------------------------------------- /lib/anod_build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/anod_build.py -------------------------------------------------------------------------------- /lib/anod_printenv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/anod_printenv.py -------------------------------------------------------------------------------- /lib/platform_db.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/lib/platform_db.py -------------------------------------------------------------------------------- /sanity-checking/.gitignore: -------------------------------------------------------------------------------- 1 | pkgs_install/ 2 | out/ 3 | -------------------------------------------------------------------------------- /sanity-checking/drivers/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /sanity-checking/drivers/asserts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/asserts.py -------------------------------------------------------------------------------- /sanity-checking/drivers/helpers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/helpers.py -------------------------------------------------------------------------------- /sanity-checking/drivers/platform_db.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/platform_db.py -------------------------------------------------------------------------------- /sanity-checking/drivers/python_script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/python_script.py -------------------------------------------------------------------------------- /sanity-checking/drivers/target.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/target.py -------------------------------------------------------------------------------- /sanity-checking/drivers/toolchain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/drivers/toolchain.py -------------------------------------------------------------------------------- /sanity-checking/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/run.py -------------------------------------------------------------------------------- /sanity-checking/support/target_config.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/support/target_config.gpr -------------------------------------------------------------------------------- /sanity-checking/tests/0001-ada-hello-world/src/hello.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0001-ada-hello-world/src/hello.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0001-ada-hello-world/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0001-ada-hello-world/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0001-ada-hello-world/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | -------------------------------------------------------------------------------- /sanity-checking/tests/0002-c-hello-world/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0002-c-hello-world/src/main.c -------------------------------------------------------------------------------- /sanity-checking/tests/0002-c-hello-world/src/newlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0002-c-hello-world/src/newlib.c -------------------------------------------------------------------------------- /sanity-checking/tests/0002-c-hello-world/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0002-c-hello-world/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0002-c-hello-world/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/lib_src/lib_pack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0003-ada-static-lib/lib_src/lib_pack.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/lib_src/lib_pack.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0003-ada-static-lib/lib_src/lib_pack.ads -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/src/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0003-ada-static-lib/src/main.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/static_lib.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0003-ada-static-lib/static_lib.gpr -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0003-ada-static-lib/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0003-ada-static-lib/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/lib_src/lib_pack.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/lib_src/lib_pack.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/lib_src/lib_pack.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/lib_src/lib_pack.ads -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/shared_lib.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/shared_lib.gpr -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/src/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/src/main.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0004-ada-shared-lib/test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0004-ada-shared-lib/test.yaml -------------------------------------------------------------------------------- /sanity-checking/tests/0005-gnatcov-basic/src/hello.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0005-gnatcov-basic/src/hello.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0005-gnatcov-basic/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0005-gnatcov-basic/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0005-gnatcov-basic/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | -------------------------------------------------------------------------------- /sanity-checking/tests/0007-tagged/src/hello.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0007-tagged/src/hello.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0007-tagged/src/plop.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0007-tagged/src/plop.adb -------------------------------------------------------------------------------- /sanity-checking/tests/0007-tagged/src/plop.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0007-tagged/src/plop.ads -------------------------------------------------------------------------------- /sanity-checking/tests/0007-tagged/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/0007-tagged/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/0007-tagged/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | -------------------------------------------------------------------------------- /sanity-checking/tests/z999-999/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/sanity-checking/tests/z999-999/test.py -------------------------------------------------------------------------------- /sanity-checking/tests/z999-999/test.yaml: -------------------------------------------------------------------------------- 1 | driver: python-script 2 | control: 3 | - [XFAIL, "True", "Check if we can detect failures"] 4 | -------------------------------------------------------------------------------- /specs/adasat.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/adasat.anod -------------------------------------------------------------------------------- /specs/alt-ergo.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/alt-ergo.anod -------------------------------------------------------------------------------- /specs/avrlibc.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/avrlibc.anod -------------------------------------------------------------------------------- /specs/base_gcc.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/base_gcc.anod -------------------------------------------------------------------------------- /specs/binary_install.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/binary_install.anod -------------------------------------------------------------------------------- /specs/binutils.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/binutils.anod -------------------------------------------------------------------------------- /specs/common.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/common.anod -------------------------------------------------------------------------------- /specs/embedded-runtimes.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/embedded-runtimes.anod -------------------------------------------------------------------------------- /specs/gcc.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gcc.anod -------------------------------------------------------------------------------- /specs/gdb.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gdb.anod -------------------------------------------------------------------------------- /specs/gh-artifact.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gh-artifact.anod -------------------------------------------------------------------------------- /specs/gmp.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gmp.anod -------------------------------------------------------------------------------- /specs/gnatcoll-bindings.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gnatcoll-bindings.anod -------------------------------------------------------------------------------- /specs/gnatcoll.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gnatcoll.anod -------------------------------------------------------------------------------- /specs/gnatcov.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gnatcov.anod -------------------------------------------------------------------------------- /specs/gnatutil.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gnatutil.anod -------------------------------------------------------------------------------- /specs/gnu.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gnu.anod -------------------------------------------------------------------------------- /specs/gpr2.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gpr2.anod -------------------------------------------------------------------------------- /specs/gprbuild.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gprbuild.anod -------------------------------------------------------------------------------- /specs/gprconfig_kb.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/gprconfig_kb.anod -------------------------------------------------------------------------------- /specs/isl.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/isl.anod -------------------------------------------------------------------------------- /specs/langkit_support.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/langkit_support.anod -------------------------------------------------------------------------------- /specs/libadalang.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/libadalang.anod -------------------------------------------------------------------------------- /specs/libgpr.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/libgpr.anod -------------------------------------------------------------------------------- /specs/libgpr2.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/libgpr2.anod -------------------------------------------------------------------------------- /specs/libiconv.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/libiconv.anod -------------------------------------------------------------------------------- /specs/mingw.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/mingw.anod -------------------------------------------------------------------------------- /specs/mpc.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/mpc.anod -------------------------------------------------------------------------------- /specs/mpfr.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/mpfr.anod -------------------------------------------------------------------------------- /specs/newlib.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/newlib.anod -------------------------------------------------------------------------------- /specs/patches/gdb-0002-Fix-using-gnu-print.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/gdb-0002-Fix-using-gnu-print.patch -------------------------------------------------------------------------------- /specs/patches/gdb-0006-Fix-link-on-Windows.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/gdb-0006-Fix-link-on-Windows.patch -------------------------------------------------------------------------------- /specs/patches/gnat_util-20.0w-20190814-1532A-src.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/gnat_util-20.0w-20190814-1532A-src.tar.gz -------------------------------------------------------------------------------- /specs/patches/gnatcov.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/gnatcov.patch -------------------------------------------------------------------------------- /specs/patches/gprbuild-no-static.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/gprbuild-no-static.patch -------------------------------------------------------------------------------- /specs/patches/ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/ld -------------------------------------------------------------------------------- /specs/patches/newlib-fix-arm-eh_frame.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/newlib-fix-arm-eh_frame.patch -------------------------------------------------------------------------------- /specs/patches/zlib-buildsys-mingw.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/patches/zlib-buildsys-mingw.patch -------------------------------------------------------------------------------- /specs/prettier_ada.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/prettier_ada.anod -------------------------------------------------------------------------------- /specs/release_github.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/release_github.anod -------------------------------------------------------------------------------- /specs/release_package.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/release_package.anod -------------------------------------------------------------------------------- /specs/spark2014.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/spark2014.anod -------------------------------------------------------------------------------- /specs/vss.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/vss.anod -------------------------------------------------------------------------------- /specs/why3.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/why3.anod -------------------------------------------------------------------------------- /specs/xmlada.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/xmlada.anod -------------------------------------------------------------------------------- /specs/zlib.anod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/specs/zlib.anod -------------------------------------------------------------------------------- /utils/gen_gnat_manifests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alire-project/GNAT-FSF-builds/HEAD/utils/gen_gnat_manifests.py --------------------------------------------------------------------------------