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----- --==-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 19 15:31:03 2019 Received: (at 37340) by debbugs.gnu.org; 19 Sep 2019 19:31:03 +0000 Received: from localhost ([127.0.0.1]:56428 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB28t-0001wZ-9W for submit@debbugs.gnu.org; Thu, 19 Sep 2019 15:31:03 -0400 Received: from cascadia.aikidev.net ([173.255.214.101]:54988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iB28o-0001w0-V4 for 37340@debbugs.gnu.org; Thu, 19 Sep 2019 15:30:59 -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 33DBC1AA2C for <37340@debbugs.gnu.org>; Thu, 19 Sep 2019 12:30:51 -0700 (PDT) From: Vagrant Cascadian To: 37340@debbugs.gnu.org Subject: Re: [PATCH] gnu: Add wabt. In-Reply-To: <874l1n6we1.fsf@yucca> References: <874l1n6we1.fsf@yucca> Date: Thu, 19 Sep 2019 12:30:46 -0700 Message-ID: <87tv98ulqx.fsf@yucca> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 37340 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: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2019-09-08, Vagrant Cascadian wrote: > 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... I went ahead and pushed a slightly modified version in 4d83157cd806aeb864664ebb380c19f6be04648c. live well, vagrant --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCXYPXZgAKCRDcUY/If5cW qoY5AQDOphTktsLOc7FyYrKfsxtjc42kO3vCk/Z1R5dF/Mpf9gD9FsnCz7Tujxfd /5Jt1M0TV+oG3Asz7yiiLTSBwaWFYQM= =xvIU -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 26 17:10:15 2019 Received: (at control) by debbugs.gnu.org; 26 Sep 2019 21:10:15 +0000 Received: from localhost ([127.0.0.1]:45414 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iDb1g-0000g9-L4 for submit@debbugs.gnu.org; Thu, 26 Sep 2019 17:10:15 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:50776) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iDb1e-0000fv-9r for control@debbugs.gnu.org; Thu, 26 Sep 2019 17:10:10 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id C0E6F8BDEB for ; Thu, 26 Sep 2019 23:10:09 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id xCQEtjNZRaCK for ; Thu, 26 Sep 2019 23:10:09 +0200 (CEST) Received: from ribbon (unknown [IPv6:2a01:e0a:1d:7270:af76:b9b:ca24:c465]) by hera.aquilenet.fr (Postfix) with ESMTPSA id EB1B68BDE7 for ; Thu, 26 Sep 2019 23:10:08 +0200 (CEST) Date: Thu, 26 Sep 2019 23:10:08 +0200 Message-Id: <87impeix1r.fsf@gnu.org> To: control@debbugs.gnu.org From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: control message for bug #37340 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: control 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: -0.0 (/) tags 37340 fixed close 37340 quit From unknown Sat Jun 21 10:39:33 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 25 Oct 2019 11:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator