kitty: 0.15.0 -> 0.15.1

https://github.com/kovidgoyal/kitty/releases/tag/v0.15.1
This commit is contained in:
Maximilian Bosch 2019-12-21 12:14:36 +01:00
parent 779333225e
commit da4b7e778a
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
2 changed files with 4 additions and 4 deletions

View File

@ -21,14 +21,14 @@
with python3Packages;
buildPythonApplication rec {
pname = "kitty";
version = "0.15.0";
version = "0.15.1";
format = "other";
src = fetchFromGitHub {
owner = "kovidgoyal";
repo = "kitty";
rev = "v${version}";
sha256 = "1gh8lcyqpkwvmjxwiq5d43sd43bg3c49fyy2x8drqdzj34gc49qg";
sha256 = "0y25w8123rjd6f5875mk8yv7mdr75mgswl3sh6zixm7b9r771s9p";
};
buildInputs = [

View File

@ -3,9 +3,9 @@
@@ -217,7 +217,7 @@ def init_env(
cflags = os.environ.get(
'OVERRIDE_CFLAGS', (
'-Wextra {} -Wno-missing-field-initializers -Wall -Wstrict-prototypes -std={}11'
'-Wextra {} -Wno-missing-field-initializers -Wall -Wstrict-prototypes -std=c11'
- ' -pedantic-errors -Werror {} {} -fwrapv {} {} -pipe {} -fvisibility=hidden'
+ ' {} {} -fwrapv {} {} -pipe {} -fvisibility=hidden'
).format(
float_conversion, std,
float_conversion,
optimize,