From ccbd359a8f9089a1e7a9566fdca62e26a2bb447c Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Tue, 27 Dec 2022 01:21:34 -0600
Subject: flake: enforce nixpkgs-fmt

---
 pkgs/rv8.nix | 50 ++++++++++++++++++++++++++------------------------
 1 file changed, 26 insertions(+), 24 deletions(-)

(limited to 'pkgs/rv8.nix')

diff --git a/pkgs/rv8.nix b/pkgs/rv8.nix
index 61cb91f..8527601 100644
--- a/pkgs/rv8.nix
+++ b/pkgs/rv8.nix
@@ -17,30 +17,32 @@ stdenv.mkDerivation {
     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>
+  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"
+      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"
-  '') ];
+       #include "util.h"
+       #include "cmdline.h"
+    '')
+  ];
 }
-- 
cgit v1.2.3