[WORKSPACE] Pin LuaJit version.

tkoeppe · tkoeppe · commit 3d6a4fe8e11a · 2023-10-05T01:00:17.000+01:00
There are some incompatible changes in LuaJit later that require some more work on our end.
diff --git 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(

Original file line number	Diff line number	Diff line change
`@@ -99,11 +99,13 @@ http_archive(`
`99`	`99`	`],`
`100`	`100`	`)`
`101`	`101`
	`102`	`+LJ_VER="f0ff869bc2fffa17bb765c4c773457578da125a9"`
	`103`	`+`
`102`	`104`	`http_archive(`
`103`	`105`	`name = "luajit_archive",`
`104`	`106`	`build_file = "@//bazel:luajit.BUILD",`
`105`		`- strip_prefix = "LuaJIT-2.1",`
`106`		`- urls = ["https://github.com/LuaJIT/LuaJIT/archive/v2.1.tar.gz"],`
	`107`	`+ strip_prefix = "LuaJIT-{}".format(LJ_VER),`
	`108`	`+ urls = ["https://github.com/LuaJIT/LuaJIT/archive/{}.tar.gz".format(LJ_VER)],`
`107`	`109`	`)`
`108`	`110`
`109`	`111`	`http_archive(`