Merge pull request #1182 from jD91mZM2/nix-shell

Add shell.nix for NixOS users
This commit is contained in:
Jeremy Soller 2018-05-08 06:31:37 -06:00 committed by GitHub
commit 80dbffe2e0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

9
shell.nix Normal file
View file

@ -0,0 +1,9 @@
with import <nixpkgs> {};
stdenv.mkDerivation {
name = "redox";
hardeningDisable = [ "all" ];
nativeBuildInputs = [ gnumake cmake nasm pkgconfig gcc automake autoconf bison gperf qemu ];
buildInputs = [ openssl gettext libtool flex libpng perl perlPackages.HTMLParser ];
}