diff --git a/pkgs/development/compilers/koka/default.nix b/pkgs/development/compilers/koka/default.nix index 901830ffb70..aec856e47d6 100644 --- a/pkgs/development/compilers/koka/default.nix +++ b/pkgs/development/compilers/koka/default.nix @@ -4,19 +4,18 @@ , parsec, process, regex-compat, text, time }: let - version = "2.4.0"; + version = "2.4.2"; src = fetchFromGitHub { owner = "koka-lang"; repo = "koka"; rev = "v${version}"; - sha256 = "sha256-+evs5g0qrplUMr8zC51GvUx2JXQBYJb39IaI4rC6CSA="; + sha256 = "sha256-sVjaIzOxNuBtDswpDl5gLB10Sw945TQAf2ywrKumqqk="; fetchSubmodules = true; }; kklib = stdenv.mkDerivation { pname = "kklib"; inherit version; src = "${src}/kklib"; - patches = [ ./kklib-mimalloc-macos-fix.diff ]; nativeBuildInputs = [ cmake ]; outputs = [ "out" "dev" ]; postInstall = '' diff --git a/pkgs/development/compilers/koka/kklib-mimalloc-macos-fix.diff b/pkgs/development/compilers/koka/kklib-mimalloc-macos-fix.diff deleted file mode 100644 index 7d77bfd18af..00000000000 --- a/pkgs/development/compilers/koka/kklib-mimalloc-macos-fix.diff +++ /dev/null @@ -1,10 +0,0 @@ ---- kklib/mimalloc/src/random.c 1969-12-31 18:00:01.000000000 -0600 -+++ kklib/mimalloc/src/random.c.new 2022-01-16 19:43:54.000000000 -0600 -@@ -195,6 +195,7 @@ - #elif defined(__APPLE__) - #include - #if defined(MAC_OS_X_VERSION_10_10) && MAC_OS_X_VERSION_MAX_ALLOWED >= MAC_OS_X_VERSION_10_10 -+#include - #include - #endif - static bool os_random_buf(void* buf, size_t buf_len) {