From e16d420b66de601c26c039b08391695f06136b40 Mon Sep 17 00:00:00 2001 From: Alejandro Gallo Date: Mon, 14 Mar 2022 13:49:03 +0100 Subject: [PATCH] Fix shell --- .github/workflows/main.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7d1cc2c..0aaddb3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -32,13 +32,13 @@ jobs: ## TODO: do this in a matrix - name: Compiler ${{matrix.compiler}} env: - NIXSHELL: "../../shell.nix" + WITH_SHELL: "nix-shell ../../shell.nix--argstr compiler ${{matrix.compiler}} --run" run: | mkdir -p build/${{matrix.compiler}} cd build/${{matrix.compiler}} - nix-shell $NIXSHELL --run '../../configure' - nix-shell $NIXSHELL --run 'make ctf' - nix-shell $NIXSHELL --run 'make' + $WITH_SHELL '../../configure' + $WITH_SHELL 'make ctf' + $WITH_SHELL 'make' documentation: