1 files changed, 46 insertions, 0 deletions
diff --git a/pkgs/rv8.nix b/pkgs/rv8.nix
new file mode 100644
index 0000000..61cb91f
--- /dev/null
+++ b/pkgs/rv8.nix
@@ -0,0 +1,46 @@
+{ callPackage, lib, fetchFromGitHub, stdenv, writeText, ... }:
+stdenv.mkDerivation {
+  pname = "rv8";
+  version = "master";
+
+  src = fetchFromGitHub {
+    owner = "michaeljclark";
+    repo = "rv8";
+    rev = "834259098a5c182874aac97d82a164d144244e1a";
+    sha256 = "sha256-I1lMKxfu+04Ap9WNjr8S1FLcUpQ3pVlTu61L/LFFGJ0=";
+    fetchSubmodules = true;
+  };
+
+  makeFlags = [ "AR=${stdenv.cc.targetPrefix}ar" "DEST_DIR=$(out)" ];
+
+  preInstall = ''
+    mkdir -p $out/bin $out/lib
+  '';
+
+  patches = [ (writeText "rv8-include-limits.patch" ''
+    diff --git a/src/gen/gen-cc.cc b/src/gen/gen-cc.cc
+    index fd9f948..44c8bf7 100644
+    --- a/src/gen/gen-cc.cc
+    +++ b/src/gen/gen-cc.cc
+    @@ -12,6 +12,7 @@
+     #include <deque>
+     #include <map>
+     #include <set>
+    +#include <limits>
+     
+     #include "util.h"
+     #include "cmdline.h"
+    diff --git a/src/gen/gen-fpu-test.cc b/src/gen/gen-fpu-test.cc
+    index f1b8f84..d0a2f32 100644
+    --- a/src/gen/gen-fpu-test.cc
+    +++ b/src/gen/gen-fpu-test.cc
+    @@ -12,6 +12,7 @@
+     #include <deque>
+     #include <map>
+     #include <set>
+    +#include <limits>
+     
+     #include "util.h"
+     #include "cmdline.h"
+  '') ];
+}