Skip to content

Commit 8e1162c

Browse files
gusthoffgusthoff
committed
Ada Wavefile Library v2.0.0.
Merge tag '2.0.0-rc.3' into main v2.0.0 rc 3
2 parents dc05696 + 71567f1 commit 8e1162c

File tree

195 files changed

+41798
-2441
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

195 files changed

+41798
-2441
lines changed

‎.github/workflows/gnat-10-ubuntu-20.yml‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
name: GNAT 10 on Ubuntu 20.04
2+
3+
on: [push, pull_request]
4+
5+
jobs:
6+
build:
7+
runs-on: ubuntu-20.04
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Set up GNAT toolchain
14+
run: >
15+
sudo apt-get update &&
16+
sudo apt-get install gnat-10 gprbuild &&
17+
sudo apt-get install wavbreaker
18+
19+
- name: Install dependencies
20+
run: >
21+
. ./scripts/install_deps.sh &&
22+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
23+
24+
- name: Verify generated source-code files
25+
run: TEST=1 ./scripts/generate_src.sh
26+
27+
- name: Build test for Wavefile Library
28+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
29+
30+
- name: Build Quick Wav-Data Check
31+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
32+
33+
- name: Run Quick Wav-Data Check
34+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"
35+
36+
- name: Build & check Cookbook
37+
run: ./scripts/test_cookbook.sh
38+
39+
- name: Build & run Simple Benchmarking
40+
run: >
41+
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr &&
42+
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE &&
43+
./scripts/simple_benchmarking.sh

‎.github/workflows/gnat-7-ubuntu-18.yml‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
name: GNAT 7 on Ubuntu 18.04
2+
3+
on: [push, pull_request]
4+
5+
jobs:
6+
build:
7+
runs-on: ubuntu-18.04
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Set up GNAT toolchain
14+
run: >
15+
sudo apt-get update &&
16+
sudo apt-get install gnat-7 gprbuild &&
17+
sudo apt-get install wavbreaker
18+
19+
- name: Install dependencies
20+
run: >
21+
. ./scripts/install_deps.sh &&
22+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
23+
24+
- name: Verify generated source-code files
25+
run: TEST=1 ./scripts/generate_src.sh
26+
27+
- name: Build test for Wavefile Library
28+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
29+
30+
- name: Build Quick Wav-Data Check
31+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
32+
33+
- name: Run Quick Wav-Data Check
34+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"
35+
36+
- name: Build & check Cookbook
37+
run: ./scripts/test_cookbook.sh
38+
39+
- name: Build & run Simple Benchmarking
40+
run: >
41+
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr &&
42+
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE &&
43+
./scripts/simple_benchmarking.sh

‎.github/workflows/gnat-8-ubuntu-20.yml‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
name: GNAT 8 on Ubuntu 20.04
2+
3+
on: [push, pull_request]
4+
5+
jobs:
6+
build:
7+
runs-on: ubuntu-20.04
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Set up GNAT toolchain
14+
run: >
15+
sudo apt-get update &&
16+
sudo apt-get install gnat-8 gprbuild &&
17+
sudo apt-get install wavbreaker
18+
19+
- name: Install dependencies
20+
run: >
21+
. ./scripts/install_deps.sh &&
22+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
23+
24+
- name: Verify generated source-code files
25+
run: TEST=1 ./scripts/generate_src.sh
26+
27+
- name: Build test for Wavefile Library
28+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
29+
30+
- name: Build Quick Wav-Data Check
31+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
32+
33+
- name: Run Quick Wav-Data Check
34+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"
35+
36+
- name: Build & check Cookbook
37+
run: ./scripts/test_cookbook.sh
38+
39+
- name: Build & run Simple Benchmarking
40+
run: >
41+
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr &&
42+
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE &&
43+
./scripts/simple_benchmarking.sh

‎.github/workflows/gnat-9-ubuntu-20.yml‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
name: GNAT 9 on Ubuntu 20.04
2+
3+
on: [push, pull_request]
4+
5+
jobs:
6+
build:
7+
runs-on: ubuntu-20.04
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Set up GNAT toolchain
14+
run: >
15+
sudo apt-get update &&
16+
sudo apt-get install gnat-9 gprbuild &&
17+
sudo apt-get install wavbreaker
18+
19+
- name: Install dependencies
20+
run: >
21+
. ./scripts/install_deps.sh &&
22+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
23+
24+
- name: Verify generated source-code files
25+
run: TEST=1 ./scripts/generate_src.sh
26+
27+
- name: Build test for Wavefile Library
28+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
29+
30+
- name: Build Quick Wav-Data Check
31+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
32+
33+
- name: Run Quick Wav-Data Check
34+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"
35+
36+
- name: Build & check Cookbook
37+
run: ./scripts/test_cookbook.sh
38+
39+
- name: Build & run Simple Benchmarking
40+
run: >
41+
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr &&
42+
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE &&
43+
./scripts/simple_benchmarking.sh

‎.github/workflows/gnat-ce-2020-macos-10.yml‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
name: GNAT Community 2020 on macOS 10.15
2+
3+
on: [push, pull_request, workflow_dispatch]
4+
5+
jobs:
6+
build:
7+
runs-on: macos-10.15
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Check cached GNAT toolchain
14+
uses: actions/cache@v2
15+
with:
16+
path: ./cached_gnat
17+
key: ${{ runner.os }}-gnat-ce-2020
18+
19+
- name: Set up GNAT toolchain
20+
uses: ada-actions/toolchain@ce2020
21+
with:
22+
distrib: community
23+
target: native
24+
community_year: 2020
25+
install_dir: ./cached_gnat
26+
27+
- name: Install dependencies
28+
run: >
29+
. ./scripts/install_deps.sh &&
30+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
31+
32+
- name: Verify generated source-code files
33+
run: TEST=1 ./scripts/generate_src.sh
34+
35+
- name: Build test for Wavefile Library
36+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
37+
38+
- name: Build Quick Wav-Data Check
39+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
40+
41+
- name: Run Quick Wav-Data Check
42+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"

‎.github/workflows/gnat-ce-2020-ubuntu-20.yml‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
name: GNAT Community 2020 on Ubuntu 20.04
2+
3+
on: [push, pull_request]
4+
5+
jobs:
6+
build:
7+
runs-on: ubuntu-20.04
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Check cached GNAT toolchain
14+
uses: actions/cache@v2
15+
with:
16+
path: ./cached_gnat
17+
key: ${{ runner.os }}-gnat-ce-2020
18+
19+
- name: Set up GNAT toolchain
20+
uses: ada-actions/toolchain@ce2020
21+
with:
22+
distrib: community
23+
target: native
24+
community_year: 2020
25+
install_dir: ./cached_gnat
26+
27+
- name: Set up Ubuntu packages
28+
run: >
29+
sudo apt-get update &&
30+
sudo apt-get install wavbreaker
31+
32+
- name: Install dependencies
33+
run: >
34+
. ./scripts/install_deps.sh &&
35+
echo "GPR_PROJECT_PATH=${GPR_PROJECT_PATH}" >> $GITHUB_ENV
36+
37+
- name: Verify generated source-code files
38+
run: TEST=1 ./scripts/generate_src.sh
39+
40+
- name: Build test for Wavefile Library
41+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
42+
43+
- name: Build Quick Wav-Data Check
44+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
45+
46+
- name: Run Quick Wav-Data Check
47+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"
48+
49+
- name: Build & check Cookbook
50+
run: ./scripts/test_cookbook.sh
51+
52+
- name: Build & run Simple Benchmarking
53+
run: >
54+
gprclean -r -P test/simple_benchmarking/simple_benchmarking.gpr &&
55+
gprbuild -P test/simple_benchmarking/simple_benchmarking.gpr -XWAVEFILES_BUILD_MODE=RELEASE &&
56+
./scripts/simple_benchmarking.sh

‎.github/workflows/gnat-ce-2020-windows-19.yml‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
name: GNAT Community 2020 on Windows Server 2019
2+
3+
on: [push, pull_request, workflow_dispatch]
4+
5+
jobs:
6+
build:
7+
runs-on: windows-2019
8+
9+
steps:
10+
- name: Checkout
11+
uses: actions/checkout@v2
12+
13+
- name: Check cached GNAT toolchain
14+
uses: actions/cache@v2
15+
with:
16+
path: ./cached_gnat
17+
key: ${{ runner.os }}-gnat-ce-2020
18+
19+
- name: Set up GNAT toolchain
20+
uses: ada-actions/toolchain@ce2020
21+
with:
22+
distrib: community
23+
target: native
24+
community_year: 2020
25+
install_dir: ./cached_gnat
26+
27+
- name: Install dependencies
28+
run: >
29+
./scripts/install_deps.ps1
30+
31+
- name: Build test for Wavefile Library
32+
env:
33+
GPR_PROJECT_PATH: .\deps\audio_base
34+
run: gprbuild -P test/wavefiles_test/wavefiles_test.gpr
35+
36+
- name: Build Quick Wav-Data Check
37+
env:
38+
GPR_PROJECT_PATH: .\deps\audio_base
39+
run: gprbuild -P test/quick_wav_data_check/quick_wav_data_check.gpr
40+
41+
- name: Run Quick Wav-Data Check
42+
run: ./test/quick_wav_data_check/bin/quick_wav_data_check "$(date +"%Y%m%d-%H%M%S")_"

‎.gitignore‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
bin
2+
lib
3+
obj
4+
deps
5+
/*.wav
6+
7+
# Alire
8+
alire
9+
alire.lock

‎.travis.yml‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
env:
2+
global:
3+
- TOOLS_DIR=$HOME/build_tools
4+
- GNAT_INSTALLER_PATH=$TOOLS_DIR/gnat-2020-20200818-x86_64-linux-bin
5+
- GNAT_PATH=$TOOLS_DIR/gnat-2020-x86_64-linux-bin
6+
7+
language: minimal
8+
9+
os:
10+
- linux
11+
12+
dist: focal
13+
14+
cache:
15+
directories:
16+
- $HOME/build_tools
17+
18+
before_install:
19+
- sudo apt-get update
20+
- sudo apt-get -y install wavbreaker
21+
22+
install: ./.travis/gnat_community_install.sh
23+
24+
jobs:
25+
include:
26+
- name: "Run all tests"
27+
script:
28+
- ./.travis/travis_run.sh

0 commit comments

Comments
 (0)