Fix shell
This commit is contained in:
parent
fbca9ba447
commit
e16d420b66
8
.github/workflows/main.yml
vendored
8
.github/workflows/main.yml
vendored
@ -32,13 +32,13 @@ jobs:
|
|||||||
## TODO: do this in a matrix
|
## TODO: do this in a matrix
|
||||||
- name: Compiler ${{matrix.compiler}}
|
- name: Compiler ${{matrix.compiler}}
|
||||||
env:
|
env:
|
||||||
NIXSHELL: "../../shell.nix"
|
WITH_SHELL: "nix-shell ../../shell.nix--argstr compiler ${{matrix.compiler}} --run"
|
||||||
run: |
|
run: |
|
||||||
mkdir -p build/${{matrix.compiler}}
|
mkdir -p build/${{matrix.compiler}}
|
||||||
cd build/${{matrix.compiler}}
|
cd build/${{matrix.compiler}}
|
||||||
nix-shell $NIXSHELL --run '../../configure'
|
$WITH_SHELL '../../configure'
|
||||||
nix-shell $NIXSHELL --run 'make ctf'
|
$WITH_SHELL 'make ctf'
|
||||||
nix-shell $NIXSHELL --run 'make'
|
$WITH_SHELL 'make'
|
||||||
|
|
||||||
|
|
||||||
documentation:
|
documentation:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user