From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 04:10:59 2019 Received: (at submit) by debbugs.gnu.org; 8 Sep 2019 08:10:59 +0000 Received: from localhost ([127.0.0.1]:38344 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i6sHj-0001Tm-9p for submit@debbugs.gnu.org; Sun, 08 Sep 2019 04:10:59 -0400 Received: from lists.gnu.org ([209.51.188.17]:53202) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1i6sHg-0001Te-Qp for submit@debbugs.gnu.org; Sun, 08 Sep 2019 04:10:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58225) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1i6sHf-0003aF-JJ for guix-patches@gnu.org; Sun, 08 Sep 2019 04:10:56 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1i6sHe-0007bt-2f for guix-patches@gnu.org; Sun, 08 Sep 2019 04:10:55 -0400 Received: from cascadia.aikidev.net ([2600:3c01:e000:267:0:a171:de7:c]:46872) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1i6sHd-0007b1-Pi for guix-patches@gnu.org; Sun, 08 Sep 2019 04:10:54 -0400 Received: from localhost (unknown [IPv6:2600:3c01:e000:21:21:21:0:100b]) (Authenticated sender: vagrant@aikidev.net) by cascadia.aikidev.net (Postfix) with ESMTPSA id 716F21AA48 for ; Sun, 8 Sep 2019 01:10:50 -0700 (PDT) From: Vagrant Cascadian To: guix-patches@gnu.org Subject: [PATCH] gnu: Add wabt. Date: Sun, 08 Sep 2019 01:10:46 -0700 Message-ID: <874l1n6we1.fsf@yucca> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2600:3c01:e000:267:0:a171:de7:c X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi Guix, wabt includes tools for manipulating WebAssembly/Wasm related files. Does web.scm make sense for it?=20 I'm sure better formatting could be done on the synopsis and description... help would be appreciated! This also adds yet another test suite dependency and optional feature for diffoscope; not sure if that should be in a separate patch; in this case I've added it in the same commit... Thanks! live well, vagrant --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0001-gnu-Add-wabt.patch Content-Transfer-Encoding: quoted-printable From=20c0ec454bd69e69d2104fd2c64f22c4b07c1bb80f Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Thu, 5 Sep 2019 11:13:22 -0700 Subject: [PATCH] gnu: Add wabt. * gnu/packages/web (wabt): New variable. [use-module]: re2c. * gnu/packages/package-management (diffoscope)[native-inputs]: Add wabt. =2D-- gnu/packages/package-management.scm | 1 + gnu/packages/web.scm | 40 +++++++++++++++++++++++++++++ 2 files changed, 41 insertions(+) diff --git a/gnu/packages/package-management.scm b/gnu/packages/package-man= agement.scm index b712bd7ec9..d5ead2acc3 100644 =2D-- a/gnu/packages/package-management.scm +++ b/gnu/packages/package-management.scm @@ -664,6 +664,7 @@ transactions from C or Python.") ("sqlite" ,sqlite) ("squashfs-tools" ,squashfs-tools) ("tcpdump" ,tcpdump) + ("wabt" ,wabt) ("xxd" ,xxd) ("xz" ,xz))) (home-page "https://diffoscope.org/") diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm index ad6f0635dd..c4169da8c9 100644 =2D-- a/gnu/packages/web.scm +++ b/gnu/packages/web.scm @@ -123,6 +123,7 @@ #:use-module (gnu packages pkg-config) #:use-module (gnu packages qt) #:use-module (gnu packages readline) + #:use-module (gnu packages re2c) #:use-module (gnu packages sphinx) #:use-module (gnu packages texinfo) #:use-module (gnu packages textutils) @@ -859,6 +860,45 @@ for efficient socket-like bidirectional reliable commu= nication channels.") ;; This is LGPLv2.1-only with extra exceptions specified in 'LICENSE'. (license license:lgpl2.1))) =20 +(define-public wabt + (package + (name "wabt") + (version "1.0.11") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/WebAssembly/wabt") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0hn88vlqyclpk79v3wg3lrssd9vwhjdgvb41g03jqakygxxgnmp5")))) + (build-system cmake-build-system) + (arguments + `(#:configure-flags '("-DBUILD_TESTS=3DOFF") + #:tests? #f)) + (inputs `(("python" ,python-2) + ("re2c" ,re2c))) + (home-page "https://github.com/WebAssembly/wabt") + (synopsis "WebAssembly Binary Toolkit") + (description "WABT (pronounced: wabbit) is a suite of tools for +WebAssembly, including: + +* wat2wasm: translate from WebAssembly text format to the WebAssembly bina= ry + format +* wasm2wat: the inverse of wat2wasm, translate from the binary format back + to the text format (also known as a .wat) +* wasm-objdump: print information about a wasm binary. Similar to objdump. +* wasm-interp: decode and run a WebAssembly binary file using a stack-based + interpreter +* wat-desugar: parse .wat text form as supported by the spec interpreter + (s-expressions, flat syntax, or mixed) and print canonical flat format +* wasm2c: convert a WebAssembly binary file to a C source and header + +These tools are intended for use in (or for development of) toolchains or +other systems that want to manipulate WebAssembly files.") + (license license:asl2.0))) + (define-public websocketpp (package (name "websocketpp") =2D-=20 2.20.1 --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCXXS3hwAKCRDcUY/If5cW qmYLAPwNkjc2mib4uxGXkxycC2W+W4OkXDuY2EstO88+92piFQEAxBqWbRfqo9Pd 0K1SX7sbG6E/sJ8nF5/NASC9RhpIbAg= =QVen -----END PGP SIGNATURE----- --==-=-=--