From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 6Di2N4VOD2M5PAAAbAwnHQ (envelope-from ) for ; Wed, 31 Aug 2022 14:05:25 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id gAmeN4VOD2NvOwEAauVa8A (envelope-from ) for ; Wed, 31 Aug 2022 14:05:25 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 864F441063 for ; Wed, 31 Aug 2022 14:05:25 +0200 (CEST) Received: from localhost ([::1]:48794 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oTMTE-0001gJ-MJ for larch@yhetil.org; Wed, 31 Aug 2022 08:05:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56734) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTMSs-0001aZ-Os for guix-patches@gnu.org; Wed, 31 Aug 2022 08:05:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48704) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oTMSs-0000Fu-Er for guix-patches@gnu.org; Wed, 31 Aug 2022 08:05:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oTMSs-0000VH-89 for guix-patches@gnu.org; Wed, 31 Aug 2022 08:05:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57348] [PATCH] gnu: Add eisl Resent-From: Guillaume Le Vaillant Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 31 Aug 2022 12:05:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Joeke Cc: 57348@debbugs.gnu.org Received: via spool by 57348-submit@debbugs.gnu.org id=B57348.16619474711896 (code B ref 57348); Wed, 31 Aug 2022 12:05:02 +0000 Received: (at 57348) by debbugs.gnu.org; 31 Aug 2022 12:04:31 +0000 Received: from localhost ([127.0.0.1]:38453 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oTMSN-0000UW-Gq for submit@debbugs.gnu.org; Wed, 31 Aug 2022 08:04:31 -0400 Received: from mout01.posteo.de ([185.67.36.65]:36211) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oTMSK-0000UH-UR for 57348@debbugs.gnu.org; Wed, 31 Aug 2022 08:04:30 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id CAE7124002B for <57348@debbugs.gnu.org>; Wed, 31 Aug 2022 14:04:22 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1661947462; bh=cP3RmFr0QqSYvwMnhhy/P+8UTwrBtwEbdAQKlFe5S9Q=; h=From:To:Cc:Subject:Date:From; b=jAtWmRY+LVJygnhP5GQ99bx2qoENgg9iSZVAiF0QIKVn12rP/xngDI972R1zI8NRF Q7hhngcn7vxIPBgpMvaLTcRNdgvT0WwLW22cGkC1mDTRfsKz65FfS6cGgLoATxYluI hMLC1HkB2RIlZw5aPEvRrxQoAcmHb5Y8ttzTkeJGJGls1HiwnSs4prlvTaxD892kZs YwIbaSj+WpYrQ6oTXXEssim87/N2JCwfcDNi6q5122VMNjTyrJGRSUpjVdPVIM1UJX Rvb0v65EoCej/1Rkk/JLfwz8R1N6i9kN1Qhu2MKsLLmWVhPVxZSS8Qh7Qtcp1CFRP6 emxRY2n3jilEg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4MHjX52zp0z6tnq; Wed, 31 Aug 2022 14:04:20 +0200 (CEST) References: <87tu6351hu.fsf@bolo-santosi.mail-host-address-is-not-set> <871qt20w8g.fsf@kitej> <87k06pbjyj.fsf@bolo-santosi.mail-host-address-is-not-set> From: Guillaume Le Vaillant Date: Wed, 31 Aug 2022 11:58:22 +0000 In-reply-to: <87k06pbjyj.fsf@bolo-santosi.mail-host-address-is-not-set> Message-ID: <87h71sd3gd.fsf@kitej> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1661947525; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=cP3RmFr0QqSYvwMnhhy/P+8UTwrBtwEbdAQKlFe5S9Q=; b=M0b3asze8JMwqH7hh7CfQ3zWIlpgdjoyx+r3IK3vwvZgNomRsoqh1y1rf9y1PUUkYCGAJI oKnm5WIWgnaCnAB0lM7K7EWn1zZ8DNlt8JseMfqNmxki10BSYmRLUZhR598tJQrB1Jq7tO BK7RNlggGNsbeoJBIFw5AE2KkX6kTzyYfVd//5KNTJkMJumd+73bZTV5eNtUT5aDHTI+Oj WxmPsN5v80neSi4MeFyOv9niqhwQoBOxMcY74smyLbRm8NcyHfcQzM4e3pehqEOqxPUHXc R8U2iJYddVHYVz2x9j0rEV16Tg0B4ekCpSpqOSxmgpfweKiTFtoTIIIDxE7N5A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1661947525; a=rsa-sha256; cv=none; b=aOH2+AdEI1zweJErlwFugs3bnjh8yp2i4QAOXZ+lGvzZZROTUv2QRXrXrNXBZXEJliVbjI 5P+6vvSAt55BTqYnfXnhRsYvYCrMHbbDteFldZO+vEQ/JmkJJltIw5P/NK+3ZeMCv7NF2W TTSaR3EBfKRSqFRVs6GiFM+fruk5pJvFnsO1I9VuEFJQQR0dJkiudPx848UV/BLidjMB2L 5GaE7w2cMf3P0EN6JD/gzqbW44Tc7r0xwc19+7vqhlVDKwkSd+FkWKlhuKQQmwzxE4UZCz vYtAYKz+2CibericLPgIf7eKOEwzFaJllsgzZMq7YML/WiEZe2ZmNQ3tKCnMpA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=jAtWmRY+; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 5.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=jAtWmRY+; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 864F441063 X-Spam-Score: 5.92 X-Migadu-Scanner: scn1.migadu.com X-TUID: Hl9mKAjgCszo --=-=-= Content-Type: text/plain Joeke skribis: >> Also, it looks like the files in "library/" are not compiled/installed. >> Is it on purpose? > > This certainly was not intentional. In my new patch I somewhat hackily > copy the "library" and "bench" directories over to the output > directory. If there is a better way to do this, please let me know. Apparently upstream has recently added fixes to the makefile concerning the "library" directory, but there are still a few things to fix (see ). --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCYw9OQg8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j8rXQD8DowC03bGuOZlFWvxA8ody/FYOoH5Om8eKWh6 cwnQ2jgA/R0Yp6G7tpIH3bFKO68aVR1WYxLV4TdCmA9SKi3TMJgv =o9Jl -----END PGP SIGNATURE----- --=-=-=--