wabt: 1.0.20 -> 1.0.23 (#117548)

wip/yesman
Mario Rodas 3 years ago committed by GitHub
parent 87ca743210
commit fd58db2656
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      pkgs/development/tools/wabt/default.nix

@ -1,20 +1,19 @@
{ lib, stdenv, fetchpatch, fetchFromGitHub, cmake, python3, substituteAll }:
{ lib, stdenv, fetchFromGitHub, cmake }:
stdenv.mkDerivation rec {
pname = "wabt";
version = "1.0.20";
version = "1.0.23";
src = fetchFromGitHub {
owner = "WebAssembly";
repo = "wabt";
rev = version;
sha256 = "1wwyljppxz03slvgx809g87mdrglpimz4xaici71a9mqwjpgj0l8";
sha256 = "1drjngcqkaahzk92jysrzv86fhj02c074xffd7kn3k6q8fxc0976";
fetchSubmodules = true;
};
nativeBuildInputs = [ cmake ];
cmakeFlags = [ "-DBUILD_TESTS=OFF" "-DCMAKE_PROJECT_VERSION=${version}" ];
buildInputs = [ python3 ];
meta = with lib; {
description = "The WebAssembly Binary Toolkit";

Loading…
Cancel
Save