From 2d0874fd1d207dd79f242bb91b7db945164d4f1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Sun, 15 Feb 2026 20:38:13 -0700
Subject: [PATCH] gf-rgl: init

---
 pkgs/gf-rgl/default.nix | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 pkgs/gf-rgl/default.nix

diff --git a/pkgs/gf-rgl/default.nix b/pkgs/gf-rgl/default.nix
new file mode 100644
index 0000000..a6f5045
--- /dev/null
+++ b/pkgs/gf-rgl/default.nix
@@ -0,0 +1,25 @@
+{ stdenv
+, ghc
+, gf-core
+, fetchFromGitHub
+}:
+
+stdenv.mkDerivation (finalAttrs: {
+  name = "gf-rgl";
+  version = "20250812";
+  src = fetchFromGitHub {
+    owner = "GrammaticalFramework";
+    repo = "gf-rgl";
+    tag = finalAttrs.version;
+    hash = "sha256-rqN5MV/XxChXC+Vs4aLIhRtyPQZNk0LQZ2TCdbd6wUw=";
+  };
+  buildInputs = [ ghc gf-core ];
+  LC_ALL = "C.UTF-8";
+  buildPhase = ''
+    runghc Setup.hs build
+  '';
+  installPhase = ''
+    mkdir -p $out/share/gf/lib
+    runghc Setup.hs copy --dest=$out/share/gf/lib
+  '';
+})