Skip to content

Usage Demo (Manual)

Usage Demo (Manual) #9

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
on:
workflow_dispatch:
inputs:
script:
description: "Script"
required: true
default: "demo.py"
verbose:
description: "Verbose (0/1)"
required: true
default: "0"
fast:
description: "Fast (0/1)"
required: true
default: "0"
build_config:
description: "Build Config (debug/release/...)"
required: true
default: "release"
# push:
# branches:
# - main
# pull_request:
# branches:
# - main
jobs:
demo:
runs-on: ubuntu-latest
strategy:
matrix:
python-version: [3.8]
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Set up Python ${{ matrix.python-version }}
uses: actions/setup-python@v4
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
- name: Run package creation
run: |
source .venv/bin/activate
pip install -e .
- name: Run the demo
run: |
source .venv/bin/activate
VERBOSE=${{ github.event.inputs.verbose }} FAST=${{ github.event.inputs.fast }} BUILD_CONFIG=${{ github.event.inputs.build_config }} DEST=/tmp/seal5_llvm python examples/${{ github.event.inputs.script }}
- uses: actions/upload-artifact@v4
with:
name: demo-export
path: /tmp/seal5_llvm.tar.gz