rules_ada v0.1.0

Author: abrisco

.bazelrc

@@ -0,0 +1,50 @@
+###############################################################################
+## Bazel Configuration Flags
+##
+## `.bazelrc` is a Bazel configuration file.
+## https://bazel.build/docs/best-practices#bazelrc-file
+###############################################################################
+
+# Skip building runfiles links for faster builds.
+build --nobuild_runfile_links
+
+# https://bazel.build/reference/command-line-reference#flag--enable_platform_specific_config
+common --enable_platform_specific_config
+
+# Enable the only currently supported report type
+# https://bazel.build/reference/command-line-reference#flag--combined_report
+coverage --combined_report=lcov
+
+# Avoid fully cached builds reporting no coverage and failing CI
+# https://bazel.build/reference/command-line-reference#flag--experimental_fetch_all_coverage_outputs
+coverage --experimental_fetch_all_coverage_outputs
+
+# Required for some of the tests
+# https://bazel.build/reference/command-line-reference#flag--experimental_cc_shared_library
+common --experimental_cc_shared_library
+
+# Disable network access in sandboxes by default.
+build --sandbox_default_allow_network=false
+
+###############################################################################
+## Incompatibility flags
+###############################################################################
+
+# https://github.com/bazelbuild/bazel/issues/8195
+build --incompatible_disallow_empty_glob=true
+
+# https://github.com/bazelbuild/bazel/issues/12821
+build --nolegacy_external_runfiles
+
+# https://github.com/bazelbuild/bazel/issues/23043.
+build --incompatible_autoload_externally=
+
+###############################################################################
+## Custom user flags
+##
+## This should always be the last thing in the `.bazelrc` file to ensure
+## consistent behavior when setting flags in that file as `.bazelrc` files are
+## evaluated top to bottom.
+###############################################################################
+
+try-import %workspace%/user.bazelrc

.github/github.bazelrc

@@ -0,0 +1,20 @@
+# Bazel settings for use in Github CI
+
+# Always display the flags being used
+common --announce_rc
+
+# Show errors in CI
+test --test_output=errors
+
+# Show more information about failures
+build --verbose_failures
+
+# UI for cleaner CI output
+common --color=no
+common --show_timestamps
+
+# Show all failures
+common --keep_going
+
+# Avoid gnulib tests which are highly volatile on different platforms.
+test --test_tag_filters=-gnu_autoconf_test

.github/release_notes.template

@@ -0,0 +1,8 @@
+# {version}
+
+## Setup
+```python
+bazel_dep(name = "rules_ada", version = "{version}")
+```
+
+Additional documentation can be found at: https://github.com/periareon/rules_ada

.github/workflows/bcr-publish.yaml

@@ -0,0 +1,44 @@
+# See https://github.com/bazel-contrib/publish-to-bcr
+name: Publish to BCR
+
+on:
+  # Allow the publish workflow to be called from another workflow.
+  # In this case, we trigger it from the release.yaml workflow.
+  workflow_call:
+    inputs:
+      release_version:
+        required: true
+        type: string
+    secrets:
+      BCR_PUBLISH_TOKEN:
+        required: true
+  # In case of problems, let release engineers retry by manually dispatching
+  # the workflow from the GitHub UI.
+  workflow_dispatch:
+    inputs:
+      release_version:
+        required: true
+        type: string
+        description: Release version to publish to the Bazel Central Registry
+      templates_ref:
+        default: ''
+        type: string
+        description: Override the ref to read .bcr templates from
+jobs:
+  publish:
+    uses: bazel-contrib/publish-to-bcr/.github/workflows/publish.yaml@v1.1.0
+    with:
+      attest: false
+      tag_name: ${{ inputs.release_version }}
+      author_name: periareon-bot
+      author_email: 260522848+periareon-bot@users.noreply.github.com
+      # Tags don't include a "v" prefix
+      tag_prefix: ""
+      # GitHub repository which is a fork of the upstream where the Pull Request will be opened.
+      registry_fork: periareon/bazel-central-registry
+      templates_ref: ${{ inputs.templates_ref || inputs.release_version }}
+      draft: false
+    permissions:
+      contents: write
+    secrets:
+      publish_token: ${{ secrets.BCR_PUBLISH_TOKEN }}

.github/workflows/ci.yaml

@@ -0,0 +1,78 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - main
+  merge_group:
+  pull_request:
+    types:
+      - opened
+      - synchronize
+
+env:
+  BAZEL_STARTUP_FLAGS: --bazelrc=${{ github.workspace }}/.github/github.bazelrc
+
+jobs:
+  ci:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - os: macos-latest
+          - os: ubuntu-24.04
+          - os: ubuntu-24.04-arm
+          - os: windows-2022
+    steps:
+      # Checkout the code
+      - uses: actions/checkout@v4
+
+      - uses: bazel-contrib/setup-bazel@0.14.0
+        with:
+          bazelisk-cache: true
+          disk-cache: ${{ github.workflow }}
+          repository-cache: true
+
+      - name: Setup Bazelrc (Windows)
+        run: |
+          echo "TEMP=$env:RUNNER_TEMP" >> "$env:GITHUB_ENV"
+          echo "TMP=$env:RUNNER_TEMP" >> "$env:GITHUB_ENV"
+          echo "startup --output_user_root=D:/bzl" > ./user.bazelrc
+        if: startswith(runner.os, 'Windows')
+      - name: Setup Bazelrc
+        run: |
+          echo "common --keep_going" >> ./user.bazelrc
+
+      # Build and Test the code
+      - name: Test (Unix)
+        run: bazel ${BAZEL_STARTUP_FLAGS[@]} test //...
+        if: startswith(runner.os, 'Windows') != true
+      - name: Test (Windows)
+        run: bazel $env:BAZEL_STARTUP_FLAGS test //...
+        if: startswith(runner.os, 'Windows')
+
+  ci-format:
+    runs-on: ubuntu-24.04
+    steps:
+      # Checkout the code
+      - uses: actions/checkout@v4
+      - uses: bazel-contrib/setup-bazel@0.14.0
+        with:
+          bazelisk-cache: true
+          disk-cache: ${{ github.workflow }}
+          repository-cache: true
+
+      - name: Buildifier
+        run: |
+          wget "https://github.com/bazelbuild/buildtools/releases/download/v${BUILDIFIER_VERSION}/buildifier-linux-amd64" -O buildifier
+          chmod +x ./buildifier
+          ./buildifier -lint=warn -mode=check -warnings=all -r ${{ github.workspace }}
+          rm ./buildifier
+        env:
+          BUILDIFIER_VERSION: 8.2.0
+      - uses: DoozyX/clang-format-lint-action@v0.14
+        with:
+          source: '.'
+          extensions: 'h,c,cc'
+          clangFormatVersion: 14

.github/workflows/docs.yaml

@@ -0,0 +1,22 @@
+name: Docs
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  docs:
+    name: Docs
+    permissions:
+      contents: write
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - name: Run tests
+        run: bazel run --compilation_mode=opt --stamp //docs:publish_book
+      - name: Deploy to GitHub Pages
+        uses: JamesIves/github-pages-deploy-action@4.1.7
+        with:
+          branch: gh-pages # The branch the action should deploy to.
+          folder: docs/book # The folder the action should deploy.

.github/workflows/release.yaml

@@ -0,0 +1,77 @@
+# ---
+# name: Release
+# on:
+#   workflow_dispatch:
+#   push:
+#     branches:
+#       - main
+#     paths:
+#       # Only trigger for new releases
+#       - "version.bzl"
+
+# defaults:
+#   run:
+#     shell: bash
+
+# env:
+#   BAZEL_STARTUP_FLAGS: --bazelrc=${{ github.workspace }}/.github/github.bazelrc
+
+# jobs:
+#   release:
+#     if: ${{ github.repository_owner == 'periareon' }}
+#     permissions:
+#       contents: write
+#       actions: write
+#       attestations: write
+#     outputs:
+#       release_version: ${{ steps.version.outputs.release_version }}
+#     runs-on: ubuntu-latest
+#     steps:
+#       - uses: actions/checkout@v2
+#         with:
+#           ref: main
+#       - name: Detect the current version
+#         id: version
+#         run: |
+#           version="$(grep 'VERSION =' ./version.bzl | sed 's/VERSION = "//' | sed 's/"//')"
+#           echo "RELEASE_VERSION=${version}" >> $GITHUB_ENV
+#           echo "release_version=${version}" >> $GITHUB_OUTPUT
+#       # Ensure this does not exclude the module used for the .bcr presubmit job.
+#       - name: Create release artifact
+#         run: |
+#           tar -czf ${{ github.workspace }}/.github/rules_ada.tar.gz --exclude=".git" --exclude=".github" -C ${{ github.workspace }} .
+#           sha256_base64="$(shasum --algorithm 256 ${{ github.workspace }}/.github/rules_ada.tar.gz | awk '{ print $1 }' | xxd -r -p | base64)"
+#           echo "ARCHIVE_SHA256_BASE64=${sha256_base64}" >> "${GITHUB_ENV}"
+#       - name: Generate release notes
+#         run: |
+#           # Generate the release notes
+#           sed 's/{version}/${{env.RELEASE_VERSION}}/g' ${{ github.workspace }}/.github/release_notes.template \
+#           | sed 's#{sha256_base64}#${{ env.ARCHIVE_SHA256_BASE64 }}#g' \
+#           > ${{ github.workspace }}/.github/release_notes.txt
+#       - name: Release
+#         uses: softprops/action-gh-release@v1
+#         id: rules_release
+#         with:
+#           generate_release_notes: true
+#           tag_name: ${{ env.RELEASE_VERSION }}
+#           body_path: ${{ github.workspace }}/.github/release_notes.txt
+#           target_commitish: ${{ github.base_ref }}
+#       - name: "Upload the rules archive"
+#         uses: actions/upload-release-asset@v1
+#         env:
+#           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#         with:
+#           upload_url: ${{ steps.rules_release.outputs.upload_url }}
+#           asset_name: rules_ada-${{ env.RELEASE_VERSION }}.tar.gz
+#           asset_path: ${{ github.workspace }}/.github/rules_ada.tar.gz
+#           asset_content_type: application/gzip
+
+#   bcr-publish:
+#     needs: [release]
+#     permissions:
+#       contents: write
+#     uses: ./.github/workflows/bcr-publish.yaml
+#     with:
+#       release_version: ${{ needs.release.outputs.release_version }}
+#     secrets:
+#       BCR_PUBLISH_TOKEN: ${{ secrets.BCR_PUBLISH_TOKEN }}

.gitignore

@@ -0,0 +1,4 @@
+# Git ignore patterns
+
+/bazel-*
+user.bazelrc

BUILD.bazel

@@ -0,0 +1,5 @@
+exports_files([
+    "LICENSE",
+    "MODULE.bazel",
+    "version.bzl",
+])

MODULE.bazel

@@ -0,0 +1,36 @@
+"""rules_ada"""
+
+module(
+    name = "rules_ada",
+    version = "0.1.0",
+)
+
+bazel_dep(name = "platforms", version = "1.0.0")
+bazel_dep(name = "bazel_skylib", version = "1.8.2")
+bazel_dep(name = "rules_cc", version = "0.2.17")
+bazel_dep(name = "rules_shell", version = "0.6.1")
+
+gnat = use_extension("//ada:extensions.bzl", "gnat_extension")
+use_repo(gnat, "gnat_toolchains")
+
+register_toolchains(
+    "@gnat_toolchains//:all",
+)
+
+bazel_dep(name = "rules_rust", version = "0.69.0", dev_dependency = True)
+bazel_dep(name = "rules_rust_mdbook", version = "0.69.0", dev_dependency = True)
+bazel_dep(name = "rules_venv", version = "0.11.0", dev_dependency = True)
+bazel_dep(name = "stardoc", version = "0.8.1", dev_dependency = True)
+
+rust = use_extension(
+    "@rules_rust//rust:extensions.bzl",
+    "rust",
+    dev_dependency = True,
+)
+rust.toolchain(edition = "2021")
+use_repo(rust, "rust_toolchains")
+
+register_toolchains(
+    "@rust_toolchains//:all",
+    dev_dependency = True,
+)