From 92020850688cfb2f4af79f19a93f372578d56807 Mon Sep 17 00:00:00 2001
From: Linnnus <linnnus@users.noreply.github.com>
Date: Tue, 17 Oct 2023 00:10:35 +0200
Subject: Install noweb

---
 overlays/default.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'overlays/default.nix')

diff --git a/overlays/default.nix b/overlays/default.nix
index d6ec47c..b87fbfb 100644
--- a/overlays/default.nix
+++ b/overlays/default.nix
@@ -18,5 +18,18 @@
         (old.env.NIX_CFLAGS_COMPILE or "")
         + (final.lib.strings.optionalString (final.stdenv.cc.isGNU or false) " -Wno-maybe-uninitialized");
     });
+
+    # Use newest version.
+    noweb = prev.noweb.overrideAttrs (old: rec {
+      version = "2_13rc3";
+      src = final.fetchFromGitHub {
+        owner = "nrnrnr";
+        repo = "noweb";
+        rev = "v${builtins.replaceStrings ["."] ["_"] version}";
+        sha256 = "COcWyrYkheRaSr2gqreRRsz9SYRTX2PSl7km+g98ljs=";
+      };
+      # Have to discard old patches as the no longer apply cleanly.
+      patches = [./noweb-no-unnecessary-cflags.patch];
+    });
   };
 }
-- 
cgit v1.2.3