From f244c636f8c94176fefe4ddb783010dc8e69624b Mon Sep 17 00:00:00 2001 From: jD91mZM2 Date: Tue, 8 May 2018 10:13:03 +0200 Subject: [PATCH] Add shell.nix for NixOS users --- shell.nix | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 shell.nix diff --git a/shell.nix b/shell.nix new file mode 100644 index 0000000..d314b07 --- /dev/null +++ b/shell.nix @@ -0,0 +1,9 @@ +with import {}; +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 ]; +}