From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id qAezOC+K3mK+gQEAbAwnHQ (envelope-from ) for ; Mon, 25 Jul 2022 14:18:56 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id WPpqOC+K3mI8SwAAauVa8A (envelope-from ) for ; Mon, 25 Jul 2022 14:18:55 +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 ADDB91C1B7 for ; Mon, 25 Jul 2022 14:18:55 +0200 (CEST) Received: from localhost ([::1]:47692 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oFx30-0007bY-O3 for larch@yhetil.org; Mon, 25 Jul 2022 08:18:54 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47484) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oFx2C-0006yU-CE for guix-patches@gnu.org; Mon, 25 Jul 2022 08:18:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59666) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oFx2C-0005EO-2G for guix-patches@gnu.org; Mon, 25 Jul 2022 08:18:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oFx2A-0002ss-SY for guix-patches@gnu.org; Mon, 25 Jul 2022 08:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56759] [PATCH 03/20] gnu: Add itex2mml. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 25 Jul 2022 12:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56759 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 56759@debbugs.gnu.org Cc: Philip McGrath Received: via spool by 56759-submit@debbugs.gnu.org id=B56759.165875145610953 (code B ref 56759); Mon, 25 Jul 2022 12:18:02 +0000 Received: (at 56759) by debbugs.gnu.org; 25 Jul 2022 12:17:36 +0000 Received: from localhost ([127.0.0.1]:49389 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oFx1j-0002qb-Rs for submit@debbugs.gnu.org; Mon, 25 Jul 2022 08:17:36 -0400 Received: from mail-qt1-f173.google.com ([209.85.160.173]:40556) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oFx1i-0002qB-MV for 56759@debbugs.gnu.org; Mon, 25 Jul 2022 08:17:35 -0400 Received: by mail-qt1-f173.google.com with SMTP id bz13so8019982qtb.7 for <56759@debbugs.gnu.org>; Mon, 25 Jul 2022 05:17:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=philipmcgrath.com; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=bwdDyaPogtZsEKKne1uG/7tuaFrHFdSXYNwqJiX6gHQ=; b=X53dNCUL9OajRW6YDNEqHxJL8awfy3kQD6mpJ/fzSZkUs5cri2mIfYiddugrvhi821 ISvQ2FkT6pZHg5xUoipiRc64T9k/klQYpifuvUESy9MSGZ+RWE4SbE7DTLR19bAS6Mam BSWJ7tPsjhXb9y9ts0Nx5uPctG9Yaggr9naRBc5EeJ2+lHLDjAMlRT5tPdZeHIeG1T9b gCtbAdXRxikmA3vFUp0num5pTF8IXjdXEM83kJTdDNVlXTI5ky2t4alTrASxQlDEVFnR i5ofIYm31vHFCGZkJ8LnRJpwCyWYNVNDRCaaSLktY7znhaIlIPSZeTSmh3Y8C1QR6HM6 jl6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=bwdDyaPogtZsEKKne1uG/7tuaFrHFdSXYNwqJiX6gHQ=; b=G8OS4miQ0qFHaAgfZ9z6C3NStVqhtVBxYnl9gml+f7xB9KFokkqAlFlERMTbjFHYiV 31TS3VSIriBK3Al7T6StNlNjQMi43/PlavKAyeqKt3Co5sRT7D+e3IwinMTeNiIhRZVu qm1DvtNjdZskHuKKlOm7Nn5h7YPRQGzJUr6f5DyCG5O6EJuoJa9zlbIzfgNoZlRmiSwl x+Wvs4dmBzPsqvwR5GXdP4/KW8cLUg6wyAXs+ghIF4W6xTT5RcC0oZ0c0oe5NTdsvJcG G3Ia0Qgmy6rTIdfzQkFg3tPL/RpccJuABe1cLUE7t8v83raT2A2YCM/v6m8p3yLGT6jf jMGw== X-Gm-Message-State: AJIora/dc9UpXyyVwfwPsZCAshoip8XVEolGJ3PfZNPT58afztMFXjEY CEf41oI335OCvVb2kx2cvMIthryTVFX/YTGg X-Google-Smtp-Source: AGRyM1ufj9r13r2TD8IvjeGgHIkfVkEc0i8EHuIc6uuhNgIkRtKIOxuXp2AehNb4As+nTy7trqTQqQ== X-Received: by 2002:ac8:590d:0:b0:31f:31c8:7402 with SMTP id 13-20020ac8590d000000b0031f31c87402mr7096183qty.475.1658751449079; Mon, 25 Jul 2022 05:17:29 -0700 (PDT) Received: from localhost (c-73-125-98-51.hsd1.fl.comcast.net. [73.125.98.51]) by smtp.gmail.com with UTF8SMTPSA id k20-20020a05622a03d400b0031eb5648b86sm7706566qtx.41.2022.07.25.05.17.28 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 25 Jul 2022 05:17:28 -0700 (PDT) From: Philip McGrath Date: Mon, 25 Jul 2022 08:16:18 -0400 Message-Id: <107638742c25f67113b279b72cfda6d70d09032e.1658750358.git.philip@philipmcgrath.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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=1658751535; 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: content-transfer-encoding:content-transfer-encoding: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=bwdDyaPogtZsEKKne1uG/7tuaFrHFdSXYNwqJiX6gHQ=; b=rdSLoibE0aWfhuurE+wPHMb3q+5Peuji9/S73VOgWBDw0H6p523ywfA9KgDuGuqoHzlKcV Vj9vL0iDYDvxVwlZI3f6O+8DcJ/s6ij9jsB3yzAdrSAzoc49oMo1YwBx8755JFPvRoFs/i nuuQnKJgBXg2Qe8kDdaSFM9fKR7hjECTiW+aQfK0PzsuWTejQ2RyothMvwsUWDeZxwp6qD Bo87V4FZHoP7wR2q6e9Nk18CwzKI7bDeKpjLlM5q8axv82xE378er4VA+hxSXokuFv17+0 iUjSqiVbotdQ5NnvcX90bkDeWhITuSnFaRb1MwY0NUnTRcAfsZdjejmFDqa1cg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1658751535; a=rsa-sha256; cv=none; b=RGDzP7ZIkWHitOtAhFxSZ4R6V3xQubAXneq2Fq+dnsDclhZFgFNPn2wTRibK8leiAk7de1 /13F/5YKT8X9Lc74PHqPL3EsbFkNx4s5YiYU32RQ8E9DEOEmdxQPWaAr805GE5j/j2mnXW lh8L1kC5zn5W1jTKdTRcqh1uQBDctIKhXbZhHhbVHMgAKnzilr3lEy+MWExkfnJ4fEtkQb ZUUvMu9mUVqg26S6gfN+M+vKmkGhI+lo5ZDh5ELjAWOteTrDKIhAAcTuHl3IbS+DnEJfWP /pf8vXkCTgNWrcxPc7Ce0BSOAqOvl3tyYuX+enAMj8qY1jU6y237u7lGsIUR4A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=google header.b=X53dNCUL; dmarc=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: 2.57 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=google header.b=X53dNCUL; dmarc=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: ADDB91C1B7 X-Spam-Score: 2.57 X-Migadu-Scanner: scn0.migadu.com X-TUID: aJmmvyxZzxk3 * gnu/packages/maths.scm (itex2mml): New variable. --- gnu/packages/maths.scm | 53 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 6a84f47468..648358c681 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -52,6 +52,7 @@ ;;; Copyright © 2021 Pierre-Antoine Bouttier ;;; Copyright © 2022 Zhu Zihao ;;; Copyright © 2022 Sharlatan Hellseher +;;; Copyright © 2022 Philip McGrath ;;; ;;; This file is part of GNU Guix. ;;; @@ -1738,6 +1739,58 @@ (define-public h5check HDF5 file is encoded according to the HDF File Format Specification.") (license (license:x11-style "file://COPYING")))) +(define-public itex2mml + (package + (name "itex2mml") + (version "1.6.1") + (source (origin + (method url-fetch) + (uri (string-append "https://golem.ph.utexas.edu" + "/~distler/blog/files/itexToMML-" + version + ".tar.gz")) + (sha256 + (base32 + "0pz51c0hfh2mg8xli0wj7hf92s3b7yf5r4114g8z8722lcm5gwiy")) + (snippet + #~(begin + (use-modules (guix build utils)) + (delete-file-recursively "itex-binaries"))))) + (build-system gnu-build-system) + (native-inputs + (list bison + flex)) + (arguments + (list + #:make-flags #~(list (string-append "BINDIR=" #$output "/bin/") + (string-append "CC=" #$(cc-for-target))) + #:tests? #f ;; there are none + #:phases + #~(modify-phases %standard-phases + (delete 'configure) + (add-before 'build 'chdir + (lambda args + (chdir "itex-src"))) + (add-before 'install 'make-bindir + (lambda args + (mkdir-p (string-append #$output "/bin")))) + (add-after 'install 'install-doc + (lambda* (#:key outputs #:allow-other-keys) + (let* ((doc-prefix (or (assoc-ref outputs "doc") + #$output)) + (itex2mml+version (strip-store-file-name #$output)) + (doc-dir (string-append doc-prefix + "/share/doc/" + itex2mml+version))) + (install-file "../README" doc-dir))))))) + (home-page "https://golem.ph.utexas.edu/~distler/blog/itex2MML.html") + (synopsis "LaTeX to XHTML/MathML converter") + (description + "The @command{itex2MML} utility is a stream filter. It takes text with +embedded itex equations, converts the itex equations to MathML, and outputs +the resulting text.") + (license (list license:lgpl2.0+ license:gpl2+ license:mpl1.1)))) + (define-public itpp (package (name "itpp") -- 2.32.0