wabt: include necessary build files for wasm2c

This commit is contained in:
Edmund Wu 2020-05-07 13:03:48 -04:00
parent 1eadc33e87
commit 436c1540bd
No known key found for this signature in database
GPG key ID: F44F23D596B4F71D

View file

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, cmake, python3, substituteAll }:
{ stdenv, fetchpatch, fetchFromGitHub, cmake, python3, substituteAll }:
stdenv.mkDerivation rec {
pname = "wabt";
@ -12,6 +12,12 @@ stdenv.mkDerivation rec {
fetchSubmodules = true;
};
# https://github.com/WebAssembly/wabt/pull/1408
patches = [ (fetchpatch {
url = "https://github.com/WebAssembly/wabt/pull/1408/commits/9115d0c55067435ec9c55924e8a2bb151bac095d.patch";
sha256 = "1iklbz630vih08brsgq2d5q91kialg255sgd1mxl7023pvrhi44g";
}) ];
nativeBuildInputs = [ cmake ];
cmakeFlags = [ "-DBUILD_TESTS=OFF" "-DCMAKE_PROJECT_VERSION=${version}" ];
buildInputs = [ python3 ];