From 40dd346f9ad11eb7fa3f047657b5f41baad56b61 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Tue, 10 May 2022 12:01:33 +0200
Subject: [PATCH] Separate building of ctf from the rest

---
 .github/workflows/main.yml | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3de05d1..92124fd 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -48,12 +48,22 @@ jobs:
     - name: Make configure script
       run: $WITH_CURRENT_SHELL 'autoreconf -sfiv'
 
-    - name: Compile (${{matrix.compiler}})
+    - name: Configure (${{matrix.compiler}})
       run: |
         mkdir -p build/${{matrix.compiler}}
         cd build/${{matrix.compiler}}
         $WITH_SHELL '../../configure'
+
+    - name: CTF (${{matrix.compiler}})
+      run: |
+        mkdir -p build/${{matrix.compiler}}
+        cd build/${{matrix.compiler}}
         $WITH_SHELL 'make ctf'
+
+    - name: Make main (${{matrix.compiler}})
+      run: |
+        mkdir -p build/${{matrix.compiler}}
+        cd build/${{matrix.compiler}}
         $WITH_SHELL 'make'
         $WITH_SHELL 'make -C test'
 
@@ -66,6 +76,8 @@ jobs:
   documentation:
     runs-on: ubuntu-latest
     needs: build
+    env:
+      WITH_SHELL: "nix-shell --argstr compiler gcc6 --run"
     steps:
     - uses: actions/checkout@v2.3.4
     - name: Install Nix
@@ -74,8 +86,6 @@ jobs:
         nix_path: nixpkgs=channel:nixos-unstable
 
     - name: Configure
-      env:
-        WITH_SHELL: "nix-shell --argstr compiler gcc6 --run"
       run: |
         ${WITH_SHELL} 'autoreconf -sfiv'
         ${WITH_SHELL} './configure --enable-docs'
@@ -86,12 +96,12 @@ jobs:
     - name: doxygen
       run: |
         cd docs
-        nix-shell --run 'make doxygen'
+        ${WITH_SHELL} 'make doxygen'
 
     - name: sphinx
       run: |
         cd docs
-        nix-shell --run 'make sphinx'
+        ${WITH_SHELL} 'make sphinx'
 
     - name: nojekyll
       run: |