Merge pull request #5421 from bew/fix-devshell-build-on-non-nixos

Fix devShell build on non-NixOS with a different boost version
This commit is contained in:
Eelco Dolstra 2021-10-26 14:45:30 +02:00 committed by GitHub
commit 5667822edc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -61,6 +61,7 @@
configureFlags =
lib.optionals stdenv.isLinux [
"--with-boost=${boost}/lib"
"--with-sandbox-shell=${sh}/bin/busybox"
"LDFLAGS=-fuse-ld=gold"
];