From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 0DCWE737jWR/lQAASxT56A (envelope-from ) for ; Sat, 17 Jun 2023 20:30:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id QACiE737jWSlMQAA9RJhRA (envelope-from ) for ; Sat, 17 Jun 2023 20:30:21 +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 23C702E16A for ; Sat, 17 Jun 2023 20:30:21 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qAagY-0002Ze-F0; Sat, 17 Jun 2023 14:30:07 -0400 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 1qAagW-0002ZO-Fx for guix-patches@gnu.org; Sat, 17 Jun 2023 14:30:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qAagV-0007XO-1o for guix-patches@gnu.org; Sat, 17 Jun 2023 14:30:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qAagU-0004kY-SL for guix-patches@gnu.org; Sat, 17 Jun 2023 14:30:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64135] [PATCH 0/2] Add miking Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 17 Jun 2023 18:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 64135 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64135@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.168702655118177 (code B ref -1); Sat, 17 Jun 2023 18:30:02 +0000 Received: (at submit) by debbugs.gnu.org; 17 Jun 2023 18:29:11 +0000 Received: from localhost ([127.0.0.1]:52595 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qAaff-0004j7-0O for submit@debbugs.gnu.org; Sat, 17 Jun 2023 14:29:11 -0400 Received: from lists.gnu.org ([209.51.188.17]:35724) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qAafd-0004iz-1R for submit@debbugs.gnu.org; Sat, 17 Jun 2023 14:29:10 -0400 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 1qAafc-0002VZ-QC for guix-patches@gnu.org; Sat, 17 Jun 2023 14:29:08 -0400 Received: from mail-ej1-x643.google.com ([2a00:1450:4864:20::643]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qAafb-0007LW-4y for guix-patches@gnu.org; Sat, 17 Jun 2023 14:29:08 -0400 Received: by mail-ej1-x643.google.com with SMTP id a640c23a62f3a-9827bd8e0afso305625766b.1 for ; Sat, 17 Jun 2023 11:29:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1687026545; x=1689618545; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=M4sDgD+5SjmDFdvE3YELq5eEzapaq+yeT5rsMhPe3DQ=; b=C+AMN9i8c+hKQ11K8O6DzZz4NKWJngCdfADJBnRLtF6hGB/AQBAIc2Jxi0YrdB1j0k mkLmoxVRsjJ80yMKr/SrPZplr+pnDGQHtitNuwjVe87Tjc3K91sKF1N4qh3CZ96aGmrs 56CpsXv1+kKmtzSlVsEOOawdrCZj/BSQq8+aaLQCqgMSm8lssW0lZfkarIAdBWaukeWM vAlBRzv1LZrIdv++wKL9q4Xg85GV76CeJDGGqs7bsprLNWmRnnI171CmhqvunoIcbrmw MaiWpnMDp/SBgGF42AMl6T91Z63soZoGfGwgonluv+ramWCzSpoC1ZK6i4pqXsq4izq4 eKCg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687026545; x=1689618545; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=M4sDgD+5SjmDFdvE3YELq5eEzapaq+yeT5rsMhPe3DQ=; b=EmkaGcFvYcZcVbDu97H8oST1umkxdHY5XbhPs7gr0SW+yWVVGaP1FtJBPde9Inm1Bd mOB5KKL9M5HIDKwII7OZaJVyQ2SXXur078y/cK4YisoFW9FEfM5w3g5uH9xBNjLPCPQe dE2OHLZI55IH2NkOou1OTsGAfuUeBDBslHTIy5vIlOyjj1ncj5aOP3Bkg2gTcWA9pT8L adPVLCWEObUvZBH5nVmtxJ70+p/6LiCwSBlYWTl8+gfu0r2zJZVszXN2UP0V3ItNyZxC wtiasg53jcrF0ogDMo9474maq8yefZiTbDZuqagn/R3iBlXVFLuKqZm1t9ft3SMJsjrR tSIg== X-Gm-Message-State: AC+VfDyICvEAw6ZAleS1ssoz7wMzNAfB2MbX/j0i7bHF6xy3lFkBWkyZ t+f7xwHTsqLCnw4xgnQeyFJyPJ6vilVN2d+r X-Google-Smtp-Source: ACHHUZ532cs6CKOIbeUmdkbY45lQujXnSulvhOax+PBYCtnHxyVSKTYdS/+2p/NV0eqj8rt16m0ccg== X-Received: by 2002:a17:907:9720:b0:973:df9c:b1aa with SMTP id jg32-20020a170907972000b00973df9cb1aamr5457900ejc.71.1687026545217; Sat, 17 Jun 2023 11:29:05 -0700 (PDT) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lc20-20020a170906dff400b00970f0e2dab2sm12268059ejc.112.2023.06.17.11.29.04 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 17 Jun 2023 11:29:04 -0700 (PDT) Message-Id: From: Liliana Marie Prikler Date: Sat, 17 Jun 2023 19:25:54 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::643; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x643.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_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-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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1687026621; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=M4sDgD+5SjmDFdvE3YELq5eEzapaq+yeT5rsMhPe3DQ=; b=Qi4GKlmbBXQXtIca2FL9IViGPQvd10YW5yWw20vEjPHyp097ZAs3JNXSvo0gzcPXHFUE8K 18/+QXF4wCshZDYPo44VjO4uLO7MFGX/hNU06vhbtMKOQQONG0yiq7M2prM3GAEm32lr7o /xNQNpLzkI3nJzGWrqiEp9guRXCp6ypF7aqzrhy0yFX/2jzaU4wY9AbD60lKyfqXc3IPhj groFQYU7jfhQym+IpZX4vkMQ3P/i0WjegT7I97y7pUvDk4WCSJ3dp1Aa02jsBOs9UitE2H DrpZ55uqgHhBA4/akjLoR5ubBswjva+YnEfdyiJqE5jETktpSoJC88UgHEdSig== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=C+AMN9i8; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1687026621; a=rsa-sha256; cv=none; b=TUOZHJH7YRjyZR4L6m0ahG5uJ0k8bnS/Sxo1nxuU7i3REf706IPWA8nNYv+2fsPuM0FPlp S2RnF3LXUqYSdyGa5K7WhpN4mSHqYIbVWS5DPCGkBAOz6Qn/4ZSm1VBR8VOxscKFfOaet5 unLfg18QO7wzCvNFKwfj++1eoJeKXmwQo5YPCUZYkhtME4jGvTMWrfIKT7BatkDmeKFd84 IMuUsU2VjHj316seWT007GWG/xMrky7Z1odrubJUa8ATFdzz9phuEJn1Qm6UcOzHCtMUgk 1ohD2xXto9A7rTShOsbU/3JnHZS3mbXhXhi0gaIujFp4v1ElaBf3m/OKOPCc0A== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -0.83 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=C+AMN9i8; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: 23C702E16A X-Spam-Score: -0.83 X-TUID: K7I8ZYRRvNrR Hi Guix, this series adds Miking, a framework for defining domain-specific languages, which has applications in object-oriented modeling (think OpenModelica, but less of a pain to bootstrap and with an ML-style syntax) and probabilistic programming. It does require some patches to drop the dreaded CUDA, but also to make the build work with Guix' setup where environment variables have a meaning, actually. Especially for the latter patch, I'm still trying to figure out how to best transform the build system into one that is usable with little overhead. Currently, I've snarfed just about enough information from the build files to run meaningful tests. Cheers Liliana Marie Prikler (2): gnu: Add miking-boot. gnu: Add miking. gnu/local.mk | 2 + gnu/packages/miking.scm | 127 ++++++++++++++++++ .../patches/miking-drop-acceleration.patch | 106 +++++++++++++++ .../patches/miking-preserve-OCAMLPATH.patch | 28 ++++ 4 files changed, 263 insertions(+) create mode 100644 gnu/packages/miking.scm create mode 100644 gnu/packages/patches/miking-drop-acceleration.patch create mode 100644 gnu/packages/patches/miking-preserve-OCAMLPATH.patch base-commit: 31336e9f5d68512a9c1c6826bce9f17c892a2125 -- 2.40.1