lad: case-insensitivity

2026-06-21 19:06:11 -06:00
parent a787aeb2a9
commit 6450642be3
2 changed files with 28 additions and 0 deletions
@@ -6,6 +6,7 @@
 , lib
 , wantLad5_1 ? true
 , wantLad5_2 ? true
+, wantCaseInsensitivity ? false
 }:

 let
@@ -29,6 +30,7 @@ in stdenv.mkDerivation {
  };
  LUA51 = lib.getExe our-lua51;
  LUA52 = lib.getExe our-lua52;
+  patches = lib.optional wantCaseInsensitivity ./case-insensitivity.patch;
  installPhase = ''
    mkdir -p $out/bin $out/opt/{5.1,5.2}
    cp 5.1/*.lua $out/opt/5.1/