colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #87141 from eadwu/wabt/wasm2c-headers

Browse Source 
wabt: include header files
This commit is contained in:
Léo Gaspard 2020-05-07 21:51:58 +02:00 committed by GitHub
commit 5a15cb9980
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/tools/wabt/default.nix
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 ];