Merge pull request #128732 from happysalada/oil_optional_readline

This commit is contained in:
Sandro 2021-06-30 23:21:03 +02:00 committed by GitHub
commit 82cd8a1679
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
{ stdenv, lib, fetchurl, readline }: { stdenv, lib, fetchurl, withReadline ? true, readline }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "oil"; pname = "oil";
@ -17,8 +17,8 @@ stdenv.mkDerivation rec {
mkdir -p $out/bin mkdir -p $out/bin
''; '';
buildInputs = [ readline ]; buildInputs = lib.optional withReadline readline;
configureFlags = [ "--with-readline" ]; configureFlags = lib.optional withReadline "--with-readline";
# Stripping breaks the bundles by removing the zip file from the end. # Stripping breaks the bundles by removing the zip file from the end.
dontStrip = true; dontStrip = true;