From 3d6a4fe8e11a68019893af1ef0ac99b0f1843226 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Thu, 5 Oct 2023 01:00:17 +0100
Subject: [PATCH] [WORKSPACE] Pin LuaJit version.

There are some incompatible changes in LuaJit later that require some more work on our end.
---
 WORKSPACE | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index 10a95c4..9d02cfd 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -99,11 +99,13 @@ http_archive(
     ],
 )
 
+LJ_VER="f0ff869bc2fffa17bb765c4c773457578da125a9"
+
 http_archive(
     name = "luajit_archive",
     build_file = "@//bazel:luajit.BUILD",
-    strip_prefix = "LuaJIT-2.1",
-    urls = ["https://github.com/LuaJIT/LuaJIT/archive/v2.1.tar.gz"],
+    strip_prefix = "LuaJIT-{}".format(LJ_VER),
+    urls = ["https://github.com/LuaJIT/LuaJIT/archive/{}.tar.gz".format(LJ_VER)],
 )
 
 http_archive(