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 ++++++++++++
 overlays/noweb-no-unnecessary-cflags.patch | 33 ++++++++++++++++++++++++++++++
 2 files changed, 46 insertions(+)
 create mode 100644 overlays/noweb-no-unnecessary-cflags.patch

(limited to 'overlays')

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];
+    });
   };
 }
diff --git a/overlays/noweb-no-unnecessary-cflags.patch b/overlays/noweb-no-unnecessary-cflags.patch
new file mode 100644
index 0000000..8c43653
--- /dev/null
+++ b/overlays/noweb-no-unnecessary-cflags.patch
@@ -0,0 +1,33 @@
+diff --git a/src/c/Makefile b/src/c/Makefile
+index 5d06b69..ee975d0 100644
+--- a/c/Makefile
++++ b/c/Makefile
+@@ -45,22 +45,22 @@ CPIF=>
+ all: nt markup mnt finduses nwmktemp
+ 
+ nt: $(TANGLEOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(TANGLEOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(TANGLEOBJS)
+ 
+ markup: $(MARKUPOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(MARKUPOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(MARKUPOBJS)
+ 
+ mnt: $(MNTOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(MNTOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(MNTOBJS)
+ 
+ finduses: $(FINDUSESOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(FINDUSESOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(FINDUSESOBJS)
+ 
+ nwmktemp: $(NWMKTEMPOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(NWMKTEMPOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(NWMKTEMPOBJS)
+ 
+ fakepretty: $(FPOBJS)
+-	$(CC) $(CFLAGS) $(LDFLAGS) -o $@ $(FPOBJS)
++	$(CC) $(LDFLAGS) -o $@ $(FPOBJS)
+ 
+ source: $(SRCS)
+ touch: $(SRCS)
-- 
cgit v1.2.3