From patchwork Mon Jul 25 12:16:18 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Philip McGrath X-Patchwork-Id: 40926 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 13B5C27BBE9; Mon, 25 Jul 2022 13:18:55 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6C3AC27BBE9 for ; Mon, 25 Jul 2022 13:18:54 +0100 (BST) Received: from localhost ([::1]:47692 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oFx2z-0007bY-IU for patchwork@mira.cbaines.net; Mon, 25 Jul 2022 08:18:53 -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 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * 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")