From 7b7d63f328001c7800cbba5d5cbe430d27ac40cd Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Mon, 6 Sep 2021 19:25:31 +0200 Subject: [PATCH] Add clang in ci --- .github/workflows/main.yml | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 61d85e3..3704122 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -30,14 +30,24 @@ jobs: - name: Tangle run: nix-shell --run 'make tangle' - - name: Build external dependencies - run: nix-shell --run 'make extern' + ## TODO: do this in a matrix + - name: gcc -> Build external dependencies + run: nix-shell --run 'make extern CONFIG=gcc' - - name: Build lib - run: nix-shell --run 'make lib' + - name: gcc -> Build lib + run: nix-shell --run 'make lib CONFIG=gcc' - - name: Build bench - run: nix-shell --run 'make bench' + - name: gcc -> Build bench + run: nix-shell --run 'make bench CONFIG=gcc' + + - name: clang -> Build external dependencies + run: nix-shell --run 'make extern CONFIG=clang' + + - name: clang -> Build lib + run: nix-shell --run 'make lib CONFIG=clang' + + - name: clang -> Build bench + run: nix-shell --run 'make bench CONFIG=clang' - name: create doc run: |