From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Suhail Singh Newsgroups: gmane.emacs.devel Subject: Re: as for Calc and the math library Date: Wed, 14 Aug 2024 10:00:18 -0400 Message-ID: <87sev78arx.fsf@gmail.com> References: <864j7qhup6.fsf@gnu.org> <87a5hi0yts.fsf@valhala.localdomain> <86y152ge0b.fsf@gnu.org> <86jzgjfwqp.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4757"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Gerd =?utf-8?Q?M=C3=B6llmann?= , nicolas@n16f.net, arthur.miller@live.com, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Aug 14 16:21:45 2024 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1seEsi-000155-1m for ged-emacs-devel@m.gmane-mx.org; Wed, 14 Aug 2024 16:21:44 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1seErw-0005pk-Vi; Wed, 14 Aug 2024 10:20:57 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1seEY3-0001Cn-MM for emacs-devel@gnu.org; Wed, 14 Aug 2024 10:00:23 -0400 Original-Received: from mail-yb1-xb42.google.com ([2607:f8b0:4864:20::b42]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1seEY2-0007cI-1b; Wed, 14 Aug 2024 10:00:23 -0400 Original-Received: by mail-yb1-xb42.google.com with SMTP id 3f1490d57ef6-e0bbe834826so649319276.0; Wed, 14 Aug 2024 07:00:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1723644020; x=1724248820; darn=gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=yBw1k8oRSYobMLRuFj287dro22rPznjnzZ8M9r8lbbY=; b=naAZAhXNatspktdT3I2RtjGM/Y5sdfNAJBtWkYr4OpL91fF+DT16y/ucf2uUx7Rera VMqXrJ+Vi75cOySccVpQPHn6sTCqhRuN161wOe6/Bm0Ecw7FOmqH/8zwhXGR/9VsrYe/ Crlu6QQOtLfmZ0lyZdfyTczZ9ofNBtJxH6Ozygmof3BusYSe0aqLR3yZrcsVKlT8b4/g cg4tiQiAOh8P4smLFLUEUq3i8X9b8LMvqc1CRFZ71T83Dm9qZca81EyIpzPAI+L3R/Jo rYrwpr3lfMyxRCNZvXWv/nXeGPl3ZGfw19sBatC6TCzkKTua1afjsZWkb0bJ2T7gsehV 7JIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1723644020; x=1724248820; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=yBw1k8oRSYobMLRuFj287dro22rPznjnzZ8M9r8lbbY=; b=GIIccn43JO0if7rZF7lY1gjEWXEq2YgbBbmc4Q3ajatvrPHXL/vtcRZHVD1f5AYafd pCuKaBwB5fQTuciMIKk8tPIu7bHF3fIREtYKvKDRjw9R+ATpre8837R4jOfzkTNuOriR 49Xl7RFv7o2nSkMhrqk2v8nocbncMQypz73x9FURxEII6udv3uMDhqkJyzUuHFPNanSZ 2Fwy0bqyNtkOS3z4qENDSE7giaKfJ1egX6Zugsbyj/DgEuVkihY+NIAYmNRD7+91O8hz khppvIbN7BnAa1BHUQAEfpzyEwlRTqQtSxovixStZQUOoIPu92A3F9+DOJcT8oNo39Me vn1Q== X-Forwarded-Encrypted: i=1; AJvYcCWqKsInwuDW5mqYi5bHCgOzVftr5pLzo5GL54NllVO1n8oj4TmyAhX8e3gFmBRNdCKiKIC5AAjM7qzYVGCBZ3FJ/H7e X-Gm-Message-State: AOJu0Ywn2AjTSaonxIMBecM1a5KqpemUXDaHJmNhkLJkIHPNJ7IdZiFG H/gtEb+Qkx/2/XZwIwQ+4JCgeFsoIrU3RcrvNPS10+rCZWLs6fxo X-Google-Smtp-Source: AGHT+IHAflZATAmUBcbDIvYyjvEgrCXy+qntlTYtuE/nztjk4//CUoIIJM8Iy0WoBhnLPDhncsnPOw== X-Received: by 2002:a05:6902:1605:b0:e11:65fa:b97f with SMTP id 3f1490d57ef6-e1165fabb7amr661261276.2.1723644020077; Wed, 14 Aug 2024 07:00:20 -0700 (PDT) Original-Received: from gnus (bras-base-mtrlpq0776w-grc-10-67-71-183-204.dsl.bell.ca. [67.71.183.204]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-6bd82e2f5f7sm43940986d6.94.2024.08.14.07.00.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 14 Aug 2024 07:00:19 -0700 (PDT) In-Reply-To: <86jzgjfwqp.fsf@gnu.org> (Eli Zaretskii's message of "Wed, 14 Aug 2024 09:23:58 +0300") Received-SPF: pass client-ip=2607:f8b0:4864:20::b42; envelope-from=suhailsingh247@gmail.com; helo=mail-yb1-xb42.google.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Wed, 14 Aug 2024 10:20:56 -0400 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:322743 Archived-At: Eli Zaretskii writes: >> I guess an FFI is already there? Or was there because it looks kind of >> dead: >> >> https://github.com/tromey/emacs-ffi >> >> Tom Tromey says in one of the issues >> >> https://github.com/tromey/emacs-ffi/issues/20 >> >> that John Wigley asked him on IRC to submit it for inclusion. Can't find >> anything on emacs-devel though. > > It doesn't ensure GPL-compliance, AFAICT, so in its current form it > cannot be accepted, sorry. And I'm not sure I understand how can one > technically enforce GPL compliance in FFI-style loading of arbitrary > shared libraries. The only idea that comes to mind is allow-list of > known libraries, the way we do in sqlite.c, but I'm not sure that > method is scalable to the basically infinite world of arbitrary > libraries. On the topic of what would be acceptable for an FFI, wouldn't something akin to what's done for modules be sufficient ? I.e., have the users of the interface explicitly state that they are compliant. It would scale better than an allow-list. IIUC, Arthur mentioned this in another thread. If this wouldn't be sufficient for an FFI, could you please elaborate on why that's the case ? The question here isn't about what does or does not constitute GPL compliance, but what Emacs, as a project, is trying to ensure when it comes to such compliance. In the case of modules, at least, a claim of compliance is sufficient (without any additional verification). -- Suhail