luaPackages.readline: init at 2.6-0 (#91854)

2020-07-01 17:58:50 +02:00
parent 5bb1198ccc
commit a1bea5278d
3 changed files with 35 additions and 0 deletions
@@ -328,6 +328,23 @@ with super;
    '';
  });

+  readline = (super.readline.override ({
+    unpackCmd = ''
+      unzip "$curSrc"
+      tar xf *.tar.gz
+    '';
+    propagatedBuildInputs = super.readline.propagatedBuildInputs ++ [ pkgs.readline ];
+    extraVariables = rec {
+      READLINE_INCDIR = "${pkgs.readline.dev}/include";
+      HISTORY_INCDIR = READLINE_INCDIR;
+    };
+  })).overrideAttrs (old: {
+    # Without this, source root is wrongly set to ./readline-2.6/doc
+    setSourceRoot = ''
+      sourceRoot=./readline-2.6
+    '';
+  });
+
  pulseaudio = super.pulseaudio.override({
    buildInputs = [
      pkgs.libpulseaudio