ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Synchronize NOVA revision with genodelabs/staging 

Also make the "makeFlags" attr compatible with dev-shell.
This commit is contained in:
Ehmry - 2020-01-16 13:09:56 +01:00
parent 292bd3f579
commit 9e1e1186dc
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
NOVA/default.nix
View File

@ -17,19 +17,20 @@ else
buildPackages.stdenv.mkDerivation rec {
# Borrow the build host compiler,
name = "NOVA";
pname = "NOVA";
version = "r10";
inherit ARCH;
src = fetchFromGitHub {
owner = "alex-ab";
repo = "NOVA";
rev = "0ebcb4fc5a25d1df4451a89cbc87d88e099acbd3";
sha256 = "0rkp59496032kq8a3l5fs771m5f7s5yywkxjk7j9qhmsidgk40wd";
rev = "68c2fb1671e75d811a4787e35b0d0c6cc85815c0";
sha256 = "06zxz8hvzqgp8vrh6kv65j0z1m3xfm2ac8ppkv6ql0rivm1rv07s";
};
enableParallelBuilding = true;
makeFlags = [ "--directory=build" ];
makeFlags = [ "--directory build" ];
preInstall = "export INS_DIR=$out";