GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-25 07:13:59 +03:00
Code Issues Projects Releases Wiki Activity

Add pkg-config binary to nix shell in CI

Browse Source
This commit is contained in:
Kevin Quick 2024-09-20 10:16:57 -07:00 committed by Ryan Scott
parent 0ae1f2fec3
commit ad0b318358
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/test.yml vendored
View File

@ -109,7 +109,7 @@ jobs:
*) GHC_NIXPKGS=github:nixos/nixpkgs/21.11 ;;
esac
echo "GHC_NIXPKGS=${GHC_NIXPKGS}" >> $GITHUB_ENV
echo NS="nix shell ${GHC_NIXPKGS}#cabal-install ${GHC_NIXPKGS}#${GHC} ${GHC_NIXPKGS}#gmp ${GHC_NIXPKGS}#zlib ${GHC_NIXPKGS}#zlib.dev" >> $GITHUB_ENV
echo NS="nix shell ${GHC_NIXPKGS}#pkg-config ${GHC_NIXPKGS}#cabal-install ${GHC_NIXPKGS}#${GHC} ${GHC_NIXPKGS}#gmp ${GHC_NIXPKGS}#zlib ${GHC_NIXPKGS}#zlib.dev" >> $GITHUB_ENV
# In a normal nix derivation, there is a pkgconfig hook that automatically
# handles this, but since we are just using a nix shell this must be setup
# manually so that if the haskell zlib package is built, it finds the right