-
Notifications
You must be signed in to change notification settings - Fork 63
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1,646 changed files
with
85,634 additions
and
83,356 deletions.
There are no files selected for viewing
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
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
#!/bin/bash | ||
cd org.lflang/src/lib/c/reactor-c/core/federated/RTI | ||
cd src/lib/c/reactor-c/core/federated/RTI | ||
docker build -t rti:rti -f rti.Dockerfile ../../../ |
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
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
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,40 @@ | ||
name: Install Zephyr and dependencies (Linux only) | ||
description: Install Zephyr and dependencies (Linux only) | ||
runs: | ||
using: "composite" | ||
steps: | ||
- name: Setup environment variables | ||
run: | | ||
echo "SDK_VERSION=0.16.1" >> $GITHUB_ENV | ||
echo "ZEPHYR_VERSION=3.3.0" >> $GITHUB_ENV | ||
shell: bash | ||
- name: Dependencies | ||
run: | | ||
sudo apt-get update && sudo apt-get upgrade | ||
sudo apt-get install -y --no-install-recommends git cmake ninja-build gperf \ | ||
ccache dfu-util device-tree-compiler wget \ | ||
python3-dev python3-pip python3-setuptools python3-tk python3-wheel xz-utils file \ | ||
make gcc gcc-multilib g++-multilib libsdl2-dev libmagic1 | ||
shell: bash | ||
- name: Install West | ||
run: pip install west | ||
shell: bash | ||
- name: Install Zephyr SDK | ||
run : | | ||
wget -q "https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v${{env.SDK_VERSION}}/zephyr-sdk-${{env.SDK_VERSION}}_linux-x86_64.tar.xz" | ||
wget -O - "https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v${{env.SDK_VERSION}}/sha256.sum" | shasum --check --ignore-missing | ||
sudo tar xvf "zephyr-sdk-${{env.SDK_VERSION}}_linux-x86_64.tar.xz" --directory /opt/ | ||
cd "/opt/zephyr-sdk-${{env.SDK_VERSION}}" | ||
sudo ./setup.sh -t all -h -c | ||
shell: bash | ||
- name: Download and install Zephyr RTOS | ||
run: | | ||
cd $HOME | ||
west init zephyrproject --mr "v${{env.ZEPHYR_VERSION}}" | ||
cd zephyrproject | ||
west update | ||
west zephyr-export | ||
pip install -r zephyr/scripts/requirements.txt | ||
echo "ZEPHYR_BASE=$HOME/zephyrproject/zephyr" >> $GITHUB_ENV | ||
echo "ZEPHYR_SDK_INSTALL_DIR=/opt/zephyr-sdk-${{env.SDK_VERSION}}/" >> $GITHUB_ENV | ||
shell: bash |
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
changes() { | ||
git diff --name-only HEAD $(git merge-base HEAD origin/master) | ||
} | ||
|
||
if changes | grep -q $1; then | ||
echo "CHANGED_$2=1" >> $GITHUB_OUTPUT | ||
else | ||
echo "CHANGED_$2=0" >> $GITHUB_OUTPUT | ||
fi |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
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
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
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
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,51 @@ | ||
# Non-target-specific tests | ||
name: CI (misc) | ||
|
||
on: | ||
workflow_dispatch: | ||
push: | ||
branches: | ||
- master | ||
pull_request: | ||
types: [synchronize, opened, reopened, ready_for_review, converted_to_draft] | ||
merge_group: | ||
|
||
env: | ||
# 2020.11 | ||
vcpkgGitRef: 0bf3923f9fab4001c00f0f429682a0853b5749e0 | ||
|
||
concurrency: | ||
group: all-non-target-specific-${{ github.ref }}-${{ github.event_path }} | ||
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }} | ||
|
||
jobs: | ||
check-diff: | ||
uses: ./.github/workflows/check-diff.yml | ||
|
||
# Test the Gradle build. | ||
building: | ||
uses: ./.github/workflows/build.yml | ||
with: | ||
all-platforms: ${{ !github.event.pull_request.draft }} | ||
|
||
# Build the tools used for processing execution traces | ||
tracing: | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-tracing == 1 }} | ||
uses: ./.github/workflows/build-trace-tools.yml | ||
needs: check-diff | ||
with: | ||
all-platforms: ${{ !github.event.pull_request.draft }} | ||
|
||
# Run tests for the standalone compiler. | ||
cli: | ||
if: ${{ !github.event.pull_request.draft }} | ||
uses: ./.github/workflows/cli-tests.yml | ||
with: | ||
all-platforms: ${{ !github.event.pull_request.draft }} | ||
|
||
# Run language server tests. | ||
lsp: | ||
if: ${{ !github.event.pull_request.draft }} | ||
uses: ./.github/workflows/lsp-tests.yml | ||
with: | ||
all-platforms: ${{ !github.event.pull_request.draft }} |
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,53 @@ | ||
# Target-specific tests | ||
name: CI (by target) | ||
|
||
on: | ||
workflow_dispatch: | ||
push: | ||
branches: | ||
- master | ||
pull_request: | ||
types: [synchronize, opened, reopened, ready_for_review, converted_to_draft] | ||
merge_group: | ||
|
||
env: | ||
# 2020.11 | ||
vcpkgGitRef: 0bf3923f9fab4001c00f0f429682a0853b5749e0 | ||
|
||
concurrency: | ||
group: all-targets-${{ github.ref }}-${{ github.event_path }} | ||
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }} | ||
|
||
jobs: | ||
check-diff: | ||
uses: ./.github/workflows/check-diff.yml | ||
|
||
c: | ||
uses: ./.github/workflows/only-c.yml | ||
needs: check-diff | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-c == 1 }} | ||
|
||
cpp: | ||
uses: ./.github/workflows/only-cpp.yml | ||
needs: check-diff | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-cpp == 1 }} | ||
|
||
py: | ||
uses: ./.github/workflows/only-py.yml | ||
needs: check-diff | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-py == 1 }} | ||
|
||
rs: | ||
uses: ./.github/workflows/only-rs.yml | ||
needs: check-diff | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-rs == 1 }} | ||
|
||
ts: | ||
uses: ./.github/workflows/only-ts.yml | ||
needs: check-diff | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-ts == 1 }} | ||
|
||
serialization: | ||
if: ${{ !github.event.pull_request.draft || needs.check-diff.outputs.changed-c == 1 || needs.check-diff.outputs.changed-py == 1 || needs.check-diff.outputs.changed-ts == 1 }} | ||
needs: check-diff | ||
uses: ./.github/workflows/serialization-tests.yml |
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
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
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -7,14 +7,21 @@ on: | |
required: false | ||
type: boolean | ||
default: false | ||
all-platforms: | ||
required: false | ||
default: false | ||
type: boolean | ||
secrets: | ||
envPAT: | ||
required: false | ||
workflow_dispatch: | ||
|
||
jobs: | ||
run: | ||
runs-on: ubuntu-latest | ||
build-toolchain: | ||
strategy: | ||
matrix: | ||
platform: ${{ (inputs.all-platforms && fromJSON('["ubuntu-latest", "macos-latest", "windows-latest"]')) || fromJSON('["ubuntu-latest"]') }} | ||
runs-on: ${{ matrix.platform }} | ||
steps: | ||
- name: Check out lingua-franca repository | ||
uses: actions/checkout@v3 | ||
|
@@ -24,11 +31,11 @@ jobs: | |
- name: Prepare build environment | ||
uses: ./.github/actions/prepare-build-env | ||
- name: Build and package lf cli tools (nightly build) | ||
run: .github/scripts/package-cli.sh nightly | ||
run: ./gradlew build -Pnightly | ||
shell: bash | ||
if: ${{ inputs.nightly == true }} | ||
- name: Build and package lf cli tools (regular build) | ||
run: .github/scripts/package-cli.sh | ||
run: ./gradlew build | ||
shell: bash | ||
if: ${{ inputs.nightly != true }} | ||
- name: Deploy nightly release | ||
|
@@ -39,5 +46,14 @@ jobs: | |
prerelease: true | ||
title: "Lingua Franca Nightly" | ||
files: | | ||
build_upload/* | ||
build/distributions/* | ||
if: ${{ inputs.nightly == true }} | ||
- name: Collect code coverage | ||
run: ./gradlew jacocoTestReport | ||
if: ${{ runner.os == 'Linux' }} | ||
- name: Report to CodeCov | ||
uses: codecov/[email protected] | ||
with: | ||
files: core/build/reports/xml/jacoco,cli/lfc/build/reports/xml/jacoco,cli/lff/build/reports/xml/jacoco | ||
fail_ci_if_error: false | ||
verbose: true |
Oops, something went wrong.