mglb/BumpSurelog; plugins: kr/adapt_surelog #4470
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: 'main' | |
| run-name: > | |
| ${{ github.event_name == 'workflow_dispatch' && | |
| format('{0}{1}{2}', | |
| github.ref_name, | |
| (github.event.inputs.plugins_branch && format( '; plugins: {0}', github.event.inputs.plugins_branch ) || ''), | |
| (github.event.inputs.uhdm_tests_branch && format( '; uhdm_tests: {0}', github.event.inputs.uhdm_tests_branch ) || '') | |
| ) | |
| || '' | |
| }} | |
| on: | |
| workflow_dispatch: | |
| inputs: | |
| plugins_branch: | |
| description: 'yosys-f4pga-plugins branch or URL' | |
| required: false | |
| default: '' | |
| uhdm_tests_branch: | |
| description: 'UHDM-integration-tests branch or URL' | |
| required: false | |
| default: '' | |
| push: | |
| branches: | |
| - master | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.repository }}-${{ github.workflow }}-${{ github.ref }}-${{github.event.inputs.plugins_branch}}-${{github.event.inputs.uhdm_tests_branch}} | |
| cancel-in-progress: true | |
| env: | |
| GHA_CUSTOM_LINE_PREFIX: "▌" | |
| jobs: | |
| emit-workflow-info: | |
| name: Emit Workflow Info | |
| if: ${{ github.event_name == 'workflow_dispatch' }} | |
| runs-on: [self-hosted, Linux, X64] | |
| container: 'bitnami/git:2.40.1-debian-11-r4' | |
| env: | |
| PLUGINS_BRANCH_SPEC: ${{github.event.inputs.plugins_branch}} | |
| UHDM_TESTS_BRANCH_SPEC: ${{github.event.inputs.uhdm_tests_branch}} | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: false | |
| fetch-depth: 1 | |
| - run: | | |
| source ./.github/scripts/submodule-revision-override.inc.bash | |
| { | |
| emit-custom-branch-info-begin | |
| emit-custom-branch-info-entry \ | |
| 'yosys-f4pga-plugins' \ | |
| "$yosys_f4pga_plugins_default_gh_user" "$yosys_f4pga_plugins_default_gh_repo" \ | |
| "$PLUGINS_BRANCH_SPEC" | |
| emit-custom-branch-info-entry \ | |
| 'UHDM-integration-tests' \ | |
| "$uhdm_tests_default_gh_user" "$uhdm_tests_default_gh_repo" \ | |
| "$UHDM_TESTS_BRANCH_SPEC" | |
| emit-custom-branch-info-end | |
| } > $GITHUB_STEP_SUMMARY | |
| style-check: | |
| name: Style check | |
| runs-on: [self-hosted, Linux, X64] | |
| container: bitnami/git:2.40.1-debian-11-r4 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 1 | |
| - name: Sort check | |
| run: | | |
| ./.github/scripts/sort_passlists.sh | |
| if ! git diff --exit-code; then | |
| echo | |
| echo "Sort locally using: ./.github/scripts/sort_passlists.sh" | |
| echo | |
| false | |
| fi | |
| build-binaries: | |
| strategy: | |
| matrix: | |
| include: | |
| - name: 'Build Binaries' | |
| artifact-name: 'binaries' | |
| cc: 'gcc' | |
| cxx: 'g++' | |
| apt-extra-deps: 'gcc g++' | |
| build-binaries-args: '' | |
| - name: 'Build Binaries (ASAN)' | |
| artifact-name: 'binaries-asan' | |
| cc: 'clang-15' | |
| cxx: 'clang++-15' | |
| apt-extra-deps: 'clang-15' | |
| build-binaries-args: 'ENABLE_ASAN:=1 SYSTEMVERILOG_PLUGIN_ONLY:=1' | |
| name: ${{ matrix.name }} | |
| runs-on: [self-hosted, Linux, X64] | |
| container: ubuntu:jammy | |
| env: | |
| CC: ${{ matrix.cc }} | |
| CXX: ${{ matrix.cxx }} | |
| BUILD_BINARIES_ARGS: ${{ matrix.build-binaries-args }} | |
| CCACHE_DIR: "/root/yosys-uhdm-plugin-integration/yosys-uhdm-plugin-integration/.cache/" | |
| DEBIAN_FRONTEND: noninteractive | |
| GHA_MACHINE_TYPE: "n2-highmem-8" | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: false | |
| fetch-depth: 1 | |
| - name: Set up common Ubuntu configuration | |
| run: ./.github/scripts/set-up-common-ubuntu-configuration.sh | |
| - name: Install dependencies | |
| run: | | |
| apt-get update -q | |
| apt-get install -y \ | |
| ant \ | |
| bison \ | |
| build-essential \ | |
| ccache \ | |
| cmake \ | |
| default-jre \ | |
| flex \ | |
| git \ | |
| google-perftools \ | |
| libffi-dev \ | |
| libfl-dev \ | |
| libgoogle-perftools-dev \ | |
| libreadline-dev \ | |
| pkg-config \ | |
| python3 \ | |
| python3-dev \ | |
| python3-pip \ | |
| swig \ | |
| tcl-dev \ | |
| tclsh \ | |
| uuid \ | |
| uuid-dev \ | |
| wget \ | |
| ${{ matrix.apt-extra-deps }} \ | |
| ; | |
| update-alternatives --install /usr/bin/python python /usr/bin/python3 1 | |
| update-alternatives --install /usr/bin/pip pip /usr/bin/pip3 1 | |
| pip install --upgrade pip | |
| pip install orderedmultidict | |
| pip install cmake | |
| - name: Checkout submodules | |
| run: | | |
| git submodule update --depth 1 --init --recursive \ | |
| Surelog \ | |
| yosys \ | |
| yosys-f4pga-plugins \ | |
| ; | |
| - name: Override submodule revisions (if requested) | |
| if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.plugins_branch != ''}} | |
| env: | |
| PLUGINS_BRANCH_SPEC: ${{github.event.inputs.plugins_branch}} | |
| run: | | |
| source ./.github/scripts/submodule-revision-override.inc.bash | |
| override-submodule-if-requested \ | |
| 'yosys-f4pga-plugins' \ | |
| "$yosys_f4pga_plugins_default_gh_user" "$yosys_f4pga_plugins_default_gh_repo" \ | |
| "$PLUGINS_BRANCH_SPEC" | |
| - name: Setup cache | |
| uses: actions/cache@v2 | |
| with: | |
| path: ${{ env.CCACHE_DIR }} | |
| key: cache_${{ matrix.artifact-name }}_${{ github.run_id }} | |
| restore-keys: cache_${{ matrix.artifact-name }}_ | |
| - name: Build binaries | |
| run: | | |
| export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH" | |
| make -rR -j$(nproc) -Oline -f build_binaries.mk ${BUILD_BINARIES_ARGS} \ | |
| install-surelog install-yosys install-plugins | |
| # By default actions/upload-artifact@v2 do not preserve file permissions | |
| # tar directory to workaround this issue | |
| # See https://github.com/actions/upload-artifact/issues/38 | |
| tar -cvf ${{ matrix.artifact-name }}.tar image | |
| - name: Upload binaries | |
| uses: actions/upload-artifact@v2 | |
| with: | |
| name: ${{ matrix.artifact-name }} | |
| path: | | |
| ${{ matrix.artifact-name }}.tar | |
| - name: Upload load graphs | |
| if: ${{ !cancelled() }} | |
| uses: actions/upload-artifact@v2 | |
| with: | |
| name: plots | |
| path: | | |
| **/plot_*.svg | |
| build-sv2v: | |
| name: Build sv2v | |
| runs-on: [self-hosted, Linux, X64] | |
| container: ubuntu:jammy | |
| env: | |
| DEBIAN_FRONTEND: noninteractive | |
| GHA_MACHINE_TYPE: "n2-standard-4" | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: false | |
| fetch-depth: 1 | |
| - name: Set up common Ubuntu configuration | |
| run: ./.github/scripts/set-up-common-ubuntu-configuration.sh | |
| - name: Install dependencies | |
| run: | | |
| apt-get update -q | |
| apt-get install -y \ | |
| git \ | |
| wget \ | |
| ; | |
| - name: 'Read submodule revisions' | |
| id: rev | |
| run: | | |
| CACHE_HASH_LENGTH=20 | |
| repo_hash="$(git submodule status sv2v)" | |
| # Skip first character which is ' ' or '+' | |
| repo_hash="${repo_hash:1:$CACHE_HASH_LENGTH}" | |
| printf '::set-output name=%s::%s\n' 'sv2v-submodule-rev' "${repo_hash}" | |
| - name: Try restoring build results from cache | |
| id: cache-restore | |
| uses: actions/cache/restore@v3 | |
| with: | |
| path: image/bin/sv2v | |
| key: sv2v@${{ steps.rev.outputs.sv2v-submodule-rev }} | |
| - name: Checkout submodules | |
| if: ${{ steps.cache-restore.outputs.cache-hit != 'true' }} | |
| run: | | |
| git submodule update --depth 1 --init --recursive \ | |
| sv2v \ | |
| ; | |
| - name: Build binaries | |
| if: ${{ steps.cache-restore.outputs.cache-hit != 'true' }} | |
| run: | | |
| mkdir -p $PWD/image/bin | |
| export PATH=$PWD/install/bin:/usr/local/bin:${PATH} | |
| wget -qO- https://get.haskellstack.org/ | sh -s - -f -d /usr/local/bin | |
| make -j$(nproc) -C $PWD/sv2v | |
| cp $PWD/sv2v/bin/sv2v image/bin | |
| - name: Upload binaries | |
| uses: actions/upload-artifact@v2 | |
| with: | |
| name: sv2v | |
| path: | | |
| image/bin/sv2v | |
| - name: Save build results to cache | |
| if: ${{ steps.cache-restore.outputs.cache-hit != 'true' && ! (failure() || cancelled()) }} | |
| uses: actions/cache/save@v3 | |
| with: | |
| path: image/bin/sv2v | |
| key: ${{ steps.cache-restore.outputs.cache-primary-key }} | |
| - name: Upload load graphs | |
| if: ${{ !cancelled() }} | |
| uses: actions/upload-artifact@v2 | |
| with: | |
| name: plots | |
| path: | | |
| **/plot_*.svg | |
| tests-parsing: | |
| name: Parsing Tests | |
| uses: ./.github/workflows/parsing-tests.yml | |
| secrets: | |
| SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }} | |
| permissions: | |
| pull-requests: write | |
| with: | |
| uhdm_tests_branch: ${{github.event.inputs.uhdm_tests_branch}} | |
| plugins_branch: ${{github.event.inputs.plugins_branch}} | |
| needs: build-binaries | |
| tests-formal-verification: | |
| name: Formal Verification Tests | |
| uses: ./.github/workflows/formal-verification.yml | |
| with: | |
| uhdm_tests_branch: ${{github.event.inputs.uhdm_tests_branch}} | |
| needs: | |
| - build-binaries | |
| - build-sv2v | |
| tests-bsg-micro-designs-diff: | |
| name: Diff generated BSG Micro Designs tests | |
| uses: ./.github/workflows/bsg-test-diff.yml | |
| needs: | |
| - build-binaries | |
| tests-large-designs: | |
| name: Large Designs Tests | |
| uses: ./.github/workflows/large-designs.yml | |
| needs: build-binaries | |
| release: | |
| name: Release Package | |
| needs: | |
| - build-binaries | |
| - tests-parsing | |
| - tests-formal-verification | |
| - tests-large-designs | |
| runs-on: ubuntu-22.04 | |
| if: ${{github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master')}} | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| # Download complete repository + tags | |
| fetch-depth: 0 | |
| - name: Download artifacts | |
| uses: actions/download-artifact@v2 | |
| with: | |
| name: binaries | |
| # See https://github.com/actions/upload-artifact/issues/38 | |
| - name: Extract | |
| run: tar -xf binaries.tar | |
| - name: Generate tarball and apply TAG | |
| run: | | |
| GIT_VERSION=${GIT_VERSION:-$(git rev-parse --short "$GITHUB_SHA")} | |
| DISTRO_ARCH=$(uname -m) | |
| DISTRO=$(lsb_release --short --id) | |
| DISTRO_RELEASE=$(lsb_release --short --release) | |
| DISTRO_CODENAME=$(lsb_release --short --codename | sed -e's/[^A-Za-z0-9]//g') | |
| FULL_TARBALL=yosys-uhdm-integration-$GIT_VERSION-$DISTRO-$DISTRO_RELEASE-$DISTRO_CODENAME-$DISTRO_ARCH.tar.gz | |
| PLUGIN_TARBALL=yosys-uhdm-plugin-$GIT_VERSION-$DISTRO-$DISTRO_RELEASE-$DISTRO_CODENAME-$DISTRO_ARCH.tar.gz | |
| # Create a tag of form 2021-12-06-ad2466e | |
| TAG="${TAG:-$(git show -s --date=short --format=%cd-%h)}" | |
| git tag "$TAG" || true | |
| echo "TAG=$TAG" >> $GITHUB_ENV | |
| ls -lah image | |
| tar -zcvf $FULL_TARBALL image | |
| tar -zcvf $PLUGIN_TARBALL image/share/yosys/plugins/uhdm.so image/share/yosys/plugins/systemverilog.so install_plugin.sh | |
| - name: Get PR data | |
| uses: 8BitJonny/[email protected] | |
| with: | |
| sha: ${{ github.event.pull_request.head.sha }} | |
| id: release_pr | |
| - name: Deploy release | |
| env: | |
| RELEASE_NAME: > | |
| ${{ steps.release_pr.outputs.pr_found == 'true' | |
| && | |
| format('{0}: #{1}: {2}', | |
| env.TAG, | |
| steps.release_pr.outputs.number, | |
| steps.release_pr.outputs.pr_title) | |
| || | |
| env.TAG }} | |
| RELEASE_BODY: > | |
| ${{ steps.release_pr.outputs.pr_found == 'true' | |
| && | |
| steps.release_pr.outputs.pr_body | |
| || | |
| '' }} | |
| uses: svenstaro/upload-release-action@v2 | |
| with: | |
| repo_token: ${{ secrets.GITHUB_TOKEN }} | |
| file: yosys-uhdm-*.tar.gz | |
| tag: ${{ env.TAG }} | |
| release_name: ${{ env.RELEASE_NAME }} | |
| body: ${{ env.RELEASE_BODY }} | |
| overwrite: true | |
| file_glob: true | |
| install-plugin: | |
| name: Release Package Installation Test | |
| runs-on: [self-hosted, Linux, X64] | |
| container: debian:sid | |
| needs: release | |
| env: | |
| DEBIAN_FRONTEND: noninteractive | |
| GHA_MACHINE_TYPE: "n2-standard-2" | |
| steps: | |
| - name: Install Yosys and dependencies | |
| run: | | |
| apt-get update -q | |
| apt-get upgrade -y | |
| apt-get install -y \ | |
| curl \ | |
| jq \ | |
| libreadline-dev \ | |
| wget \ | |
| yosys \ | |
| yosys-dev \ | |
| ; | |
| - name: Download and extract UHDM plugin | |
| run: | | |
| curl https://api.github.com/repos/antmicro/yosys-uhdm-plugin-integration/releases/latest -L | jq .assets[1] | grep "browser_download_url" | grep -Eo 'https://[^\"]*' | xargs wget -O - | tar -xz | |
| - name: Install it | |
| run: | | |
| ./install_plugin.sh | |
| - name: Run Yosys and load SystemVerilog plugin | |
| run: yosys -p "plugin -i systemverilog" | |
| - name: Run Yosys and load (deprecated) UHDM plugin | |
| run: yosys -p "plugin -i uhdm" |