From 596eb72246b60689a821ffb2d4b92fbcc7c40430 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <andersk@mit.edu>
Date: Mon, 2 Dec 2024 19:02:56 -0800
Subject: [PATCH] =?UTF-8?q?twelf:=20Fix=20Emacs=20mode=20syntax=20for=20Em?=
 =?UTF-8?q?acs=20=E2=89=A5=2027?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
 pkgs/by-name/tw/twelf/package.nix | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/pkgs/by-name/tw/twelf/package.nix b/pkgs/by-name/tw/twelf/package.nix
index 67779b2b5722..3be92f5b05e3 100644
--- a/pkgs/by-name/tw/twelf/package.nix
+++ b/pkgs/by-name/tw/twelf/package.nix
@@ -1,4 +1,4 @@
-{ lib, stdenv, fetchurl, pkg-config, smlnj, rsync }:
+{ lib, stdenv, fetchurl, fetchpatch, pkg-config, smlnj, rsync }:
 
 stdenv.mkDerivation rec {
   pname = "twelf";
@@ -9,6 +9,14 @@ stdenv.mkDerivation rec {
     sha256 = "0fi1kbs9hrdrm1x4k13angpjasxlyd1gc3ys8ah54i75qbcd9c4i";
   };
 
+  patches = [
+    # Fix Emacs old-style backquotes: https://github.com/standardml/twelf/pull/3
+    (fetchpatch {
+      url = "https://github.com/standardml/twelf/commit/7b3f3dbb8b8ec8d16d843875fce1e2bd6a50e3ae.patch";
+      hash = "sha256-cSrgQFRPL+4zRtFXv3rLsAasjLfal0TZpXasEUtUSHc=";
+    })
+  ];
+
   nativeBuildInputs = [ pkg-config ];
   buildInputs = [ smlnj rsync ];