-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge tag '2.0.0-rc.3' into main v2.0.0 rc 3
- Loading branch information
Showing
195 changed files
with
41,798 additions
and
2,441 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
name: GNAT 10 on Ubuntu 20.04 | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-20.04 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up GNAT toolchain | ||
run: > | ||
sudo apt-get update && | ||
sudo apt-get install gnat-10 gprbuild && | ||
sudo apt-get install wavbreaker | ||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" | ||
|
||
- name: Build & check Cookbook | ||
run: ./scripts/test_cookbook.sh | ||
|
||
- name: Build & run Simple Benchmarking | ||
run: > | ||
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr && | ||
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE && | ||
./scripts/simple_benchmarking.sh |
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,43 @@ | ||
name: GNAT 7 on Ubuntu 18.04 | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-18.04 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up GNAT toolchain | ||
run: > | ||
sudo apt-get update && | ||
sudo apt-get install gnat-7 gprbuild && | ||
sudo apt-get install wavbreaker | ||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" | ||
|
||
- name: Build & check Cookbook | ||
run: ./scripts/test_cookbook.sh | ||
|
||
- name: Build & run Simple Benchmarking | ||
run: > | ||
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr && | ||
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE && | ||
./scripts/simple_benchmarking.sh |
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,43 @@ | ||
name: GNAT 8 on Ubuntu 20.04 | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-20.04 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up GNAT toolchain | ||
run: > | ||
sudo apt-get update && | ||
sudo apt-get install gnat-8 gprbuild && | ||
sudo apt-get install wavbreaker | ||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" | ||
|
||
- name: Build & check Cookbook | ||
run: ./scripts/test_cookbook.sh | ||
|
||
- name: Build & run Simple Benchmarking | ||
run: > | ||
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr && | ||
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE && | ||
./scripts/simple_benchmarking.sh |
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,43 @@ | ||
name: GNAT 9 on Ubuntu 20.04 | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-20.04 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up GNAT toolchain | ||
run: > | ||
sudo apt-get update && | ||
sudo apt-get install gnat-9 gprbuild && | ||
sudo apt-get install wavbreaker | ||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" | ||
|
||
- name: Build & check Cookbook | ||
run: ./scripts/test_cookbook.sh | ||
|
||
- name: Build & run Simple Benchmarking | ||
run: > | ||
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr && | ||
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE && | ||
./scripts/simple_benchmarking.sh |
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,42 @@ | ||
name: GNAT Community 2020 on macOS 10.15 | ||
|
||
on: [push, pull_request, workflow_dispatch] | ||
|
||
jobs: | ||
build: | ||
runs-on: macos-10.15 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Check cached GNAT toolchain | ||
uses: actions/cache@v2 | ||
with: | ||
path: ./cached_gnat | ||
key: ${{ runner.os }}-gnat-ce-2020 | ||
|
||
- name: Set up GNAT toolchain | ||
uses: ada-actions/toolchain@ce2020 | ||
with: | ||
distrib: community | ||
target: native | ||
community_year: 2020 | ||
install_dir: ./cached_gnat | ||
|
||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" |
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,56 @@ | ||
name: GNAT Community 2020 on Ubuntu 20.04 | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
build: | ||
runs-on: ubuntu-20.04 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Check cached GNAT toolchain | ||
uses: actions/cache@v2 | ||
with: | ||
path: ./cached_gnat | ||
key: ${{ runner.os }}-gnat-ce-2020 | ||
|
||
- name: Set up GNAT toolchain | ||
uses: ada-actions/toolchain@ce2020 | ||
with: | ||
distrib: community | ||
target: native | ||
community_year: 2020 | ||
install_dir: ./cached_gnat | ||
|
||
- name: Set up Ubuntu packages | ||
run: > | ||
sudo apt-get update && | ||
sudo apt-get install wavbreaker | ||
- name: Install dependencies | ||
run: > | ||
. ./scripts/install_deps.sh && | ||
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV | ||
- name: Verify generated source-code files | ||
run: TEST=1 ./scripts/generate_src.sh | ||
|
||
- name: Build test for Wavefile Library | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" | ||
|
||
- name: Build & check Cookbook | ||
run: ./scripts/test_cookbook.sh | ||
|
||
- name: Build & run Simple Benchmarking | ||
run: > | ||
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr && | ||
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE && | ||
./scripts/simple_benchmarking.sh |
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,42 @@ | ||
name: GNAT Community 2020 on Windows Server 2019 | ||
|
||
on: [push, pull_request, workflow_dispatch] | ||
|
||
jobs: | ||
build: | ||
runs-on: windows-2019 | ||
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
|
||
- name: Check cached GNAT toolchain | ||
uses: actions/cache@v2 | ||
with: | ||
path: ./cached_gnat | ||
key: ${{ runner.os }}-gnat-ce-2020 | ||
|
||
- name: Set up GNAT toolchain | ||
uses: ada-actions/toolchain@ce2020 | ||
with: | ||
distrib: community | ||
target: native | ||
community_year: 2020 | ||
install_dir: ./cached_gnat | ||
|
||
- name: Install dependencies | ||
run: > | ||
./scripts/install_deps.ps1 | ||
- name: Build test for Wavefile Library | ||
env: | ||
GPR_PROJECT_PATH: .\deps\audio_base | ||
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr | ||
|
||
- name: Build Quick Wav-Data Check | ||
env: | ||
GPR_PROJECT_PATH: .\deps\audio_base | ||
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr | ||
|
||
- name: Run Quick Wav-Data Check | ||
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_" |
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 @@ | ||
bin | ||
lib | ||
obj | ||
deps | ||
/*.wav | ||
|
||
# Alire | ||
alire | ||
alire.lock |
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,28 @@ | ||
env: | ||
global: | ||
- TOOLS_DIR=$HOME/build_tools | ||
- GNAT_INSTALLER_PATH=$TOOLS_DIR/gnat-2020-20200818-x86_64-linux-bin | ||
- GNAT_PATH=$TOOLS_DIR/gnat-2020-x86_64-linux-bin | ||
|
||
language: minimal | ||
|
||
os: | ||
- linux | ||
|
||
dist: focal | ||
|
||
cache: | ||
directories: | ||
- $HOME/build_tools | ||
|
||
before_install: | ||
- sudo apt-get update | ||
- sudo apt-get -y install wavbreaker | ||
|
||
install: ./.travis/gnat_community_install.sh | ||
|
||
jobs: | ||
include: | ||
- name: "Run all tests" | ||
script: | ||
- ./.travis/travis_run.sh |
Oops, something went wrong.