Skip to content

Usage Demo (Weekly) #13

Usage Demo (Weekly)

Usage Demo (Weekly) #13

Workflow file for this run

##
## Copyright (c) 2024 TUM Department of Electrical and Computer Engineering.
##
## This file is part of Seal5.
## See https://github.com/tum-ei-eda/seal5.git for further info.
##
## Licensed under the Apache License, Version 2.0 (the "License");
## you may not use this file except in compliance with the License.
## You may obtain a copy of the License at
##
## http://www.apache.org/licenses/LICENSE-2.0
##
## Unless required by applicable law or agreed to in writing, software
## distributed under the License is distributed on an "AS IS" BASIS,
## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
## See the License for the specific language governing permissions and
## limitations under the License.
##
# Seal5 demonstration (also serves as end-to-end testj
name: Usage Demo (Weekly)
on:
workflow_dispatch:
schedule:
- cron: "0 0 * * 6"
# push:
# branches:
# - main
# pull_request:
# branches:
# - main
jobs:
demo:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
python-version:
- "3.10"
script:
- demo.py
- demo.sh
- corev_demo.py
# Broken due to tablegen freeze
# - gen_demo.py
# - gpr32_demo.py
- openasip_demo.py
- rv64_demo.py
- rvc_demo.py
# - rvp_demo.py
- s4e_demo.py
- tumeda_demo.py
verbose:
- "0"
progress:
- "1"
clone_depth:
- 1
# fast:
# - "0"
ignore_error:
- "1"
build_config:
# - release
- release_assertions
test:
- "1"
install:
- "1"
deploy:
- "1"
export:
- "1"
ccache:
- "1"
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Setup ccache
if: ${{ matrix.ccache == '1' }}
uses: hendrikmuhs/ccache-action@v1
with:
max-size: 2G
key: ${{ matrix.os }}-${{ github.event.inputs.script }}-${{ github.event.build_config }}
variant: sccache
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v5
with:
python-version: ${{ matrix.python-version }}
- name: Install APT packages
run: |
sudo apt -qq install -y python3-pip python3-venv cmake make ninja-build
- name: Initialize Virtualenv
run: |
python -m pip install --upgrade pip
python -m venv .venv
- name: Install dependencies
run: |
source .venv/bin/activate
pip install -r requirements.txt
pip list
- name: Run package creation
run: |
source .venv/bin/activate
pip install -e .
- name: Determine program
id: ctx
run: |
if [[ "${{ matrix.script }}" == *.py ]]
then
echo "program=python3" >> $GITHUB_OUTPUT
echo "name=$(basename ${{ matrix.script}} .py)-py" >> $GITHUB_OUTPUT
elif [[ "${{ matrix.script }}" == *.sh ]]
then
echo "program=bash" >> $GITHUB_OUTPUT
echo "name=$(basename ${{ matrix.script}} .sh)-sh" >> $GITHUB_OUTPUT
else
echo "Invalid file extension!"
exit 1
fi
- name: Run the demo
run: |
source .venv/bin/activate
VERBOSE=${{ matrix.verbose }} PROGRESS=${{ matrix.progress }} CCACHE=${{ matrix.ccache }} CLONE_DEPTH=${{ matrix.clone_depth }} BUILD_CONFIG=${{ matrix.build_config }} IGNORE_ERROR=${{ matrix.ignore_error }} TEST=${{ matrix.test }} INSTALL=${{ matrix.install }} DEPLOY=${{ matrix.deploy }} EXPORT=${{ matrix.export }} DEST=/tmp/seal5_llvm ${{ steps.ctx.outputs.program }} examples/${{ matrix.script }}
- uses: actions/upload-artifact@v4
if: "${{ matrix.export == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-export
path: /tmp/seal5_llvm.tar.gz
- uses: actions/upload-artifact@v4
if: "${{ matrix.install == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-install
path: /tmp/seal5_llvm/.seal5/install/${{ matrix.build_config }}
- uses: actions/upload-artifact@v4
if: "${{ matrix.deploy == '1' }}"
with:
name: demo-${{ steps.ctx.outputs.name }}-source
path: /tmp/seal5_llvm_source.zip