43 lines
920 B
Nix
43 lines
920 B
Nix
{
|
|
lib,
|
|
stdenv,
|
|
fetchFromGitHub,
|
|
menhir,
|
|
odoc,
|
|
buildDunePackage,
|
|
}:
|
|
buildDunePackage rec {
|
|
pname = "wasm";
|
|
version = "2.0.2";
|
|
|
|
minimalOCamlVersion = "4.12";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "WebAssembly";
|
|
repo = "spec";
|
|
tag = "opam-${version}";
|
|
hash = "sha256-RbVGW6laC3trP6IhtA2tLrAYVbx0Oucox9FgoEvs6LQ=";
|
|
};
|
|
|
|
postUnpack = ''
|
|
cd "$sourceRoot/interpreter"
|
|
export sourceRoot=$PWD
|
|
'';
|
|
|
|
# x86_64-unknown-linux-musl-ld: -r and -pie may not be used together
|
|
hardeningDisable = lib.optional stdenv.hostPlatform.isStatic "pie";
|
|
|
|
nativeBuildInputs = [
|
|
menhir
|
|
odoc
|
|
];
|
|
|
|
meta = {
|
|
description = "Library to read and write WebAssembly (Wasm) files and manipulate their AST";
|
|
mainProgram = "wasm";
|
|
license = lib.licenses.asl20;
|
|
maintainers = [ lib.maintainers.vbgl ];
|
|
homepage = "https://github.com/WebAssembly/spec/tree/main/interpreter";
|
|
};
|
|
}
|