From patchwork Tue Jul 6 17:57:49 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ivan Gankevich X-Patchwork-Id: 31198 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 F372827BC81; Tue, 6 Jul 2021 19:00:11 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-5.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,SPF_HELO_PASS,T_DKIM_INVALID, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id A1C9C27BC78 for ; Tue, 6 Jul 2021 19:00:11 +0100 (BST) Received: from localhost ([::1]:49730 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m0pMg-0004lM-MQ for patchwork@mira.cbaines.net; Tue, 06 Jul 2021 14:00:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46800) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m0pMY-0004jh-WD for guix-patches@gnu.org; Tue, 06 Jul 2021 14:00:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:38566) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m0pMY-000611-Nk for guix-patches@gnu.org; Tue, 06 Jul 2021 14:00:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1m0pMY-0004A2-J5 for guix-patches@gnu.org; Tue, 06 Jul 2021 14:00:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49445] [PATCH] gnu: add ocaml-bibtex2html Resent-From: Ivan Gankevich Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 06 Jul 2021 18:00:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49445 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49445@debbugs.gnu.org Cc: Ivan Gankevich X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.162559439815957 (code B ref -1); Tue, 06 Jul 2021 18:00:02 +0000 Received: (at submit) by debbugs.gnu.org; 6 Jul 2021 17:59:58 +0000 Received: from localhost ([127.0.0.1]:50112 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m0pMT-00049I-Ru for submit@debbugs.gnu.org; Tue, 06 Jul 2021 13:59:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:37004) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m0pMS-00049C-VO for submit@debbugs.gnu.org; Tue, 06 Jul 2021 13:59:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46762) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m0pMS-0004aU-LK for guix-patches@gnu.org; Tue, 06 Jul 2021 13:59:56 -0400 Received: from mail.spbu.ru ([195.70.197.23]:51006 helo=cgp2.pu.ru) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1m0pMN-0005yK-TK for guix-patches@gnu.org; Tue, 06 Jul 2021 13:59:56 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=simple/simple; d=spbu.ru; s=20180812; bh=3dyBJND3n79H9JabMZBkrKmbd1Voqj8uLWOT/gHRtdQ=; h=Content-Transfer-Encoding:MIME-Version:Message-Id:Date:Subject:Cc:To:From; b=OUQcm0Hs74zFIwUK1pgcUjoYUab7hnYUn2DYTx+w3I0sSlRofK1ZsyaL7cyU7PCGu+wCSdRXHV FRO1pfokZ/TI5RFuP/uQg6sHIsVOiponqxMR4rDnwoENXXj9MV8fP9z7fcB6RrZCBhNXTj2GwERaL PAzPPg6P3InxwutJGKasLbi+1nOk6+VWZPDYiIoR9st/1cG4KaugTLR3rn/+TrblI7Yd8jYvHu3Xg 7rRp1I7OM7gbJQtSMeJ3EDSaRmr0DKDk6p0NdeQgfT6J58jueCCr0gMCCokqCHc1wBzhqJF9HaC/B 3UEqG6IXyLHIkHMwaOunA+FqQUMhiOlIQeSbw== Received: from [172.27.221.159] (account st018947@spbu.ru HELO surge.ws.pu.ru) by spbu.ru (CommuniGate Pro SMTP 6.2.15) with ESMTPSA id 169806433; Tue, 06 Jul 2021 20:59:47 +0300 From: Ivan Gankevich Date: Tue, 6 Jul 2021 20:57:49 +0300 Message-Id: <20210706175748.30800-1-i.gankevich@spbu.ru> X-Mailer: git-send-email 2.32.0 MIME-Version: 1.0 Received-SPF: pass client-ip=195.70.197.23; envelope-from=i.gankevich@spbu.ru; helo=cgp2.pu.ru X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/ocaml.scm | 66 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index cec6eb4f89..b01088f46a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7175,3 +7175,69 @@ libraries.") It makes it possible to run pure OCaml programs in JavaScript environment like browsers and Node.js.") (license license:lgpl2.1+))) + +(define-public ocaml-hevea + (package + (name "ocaml-hevea") + (version "2.35") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/maranget/hevea") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 (base32 "1ziai2pl1k2qi4v3wc4xjvh8qdk2prfsg8k64bh8vi1ichnp7mqw")))) + (build-system ocaml-build-system) + (arguments + `(#:tests? #f ;; no tests + #:make-flags + (list + "TARGET=opt" + (string-append "LIBDIR=" (assoc-ref %outputs "out") "/lib") + (string-append "BINDIR=" (assoc-ref %outputs "out") "/bin") + (string-append "PREFIX=" %output)) + #:phases + (modify-phases %standard-phases + (delete 'configure) + (add-after 'unpack 'patch-/bin/sh + (lambda _ + (substitute* "_tags" + (("/bin/sh") (which "bash")))))))) + (native-inputs + `(("ocamlbuild" ,ocamlbuild) + ("which" ,which))) + (home-page "http://hevea.inria.fr/") + (synopsis "Quite complete and fast LATEX to HTML translator") + (description "HEVEA is fast and efficient translator that is able to +convert large LATEX documents into HTML.") + (license (list license:qpl license:gpl2)))) + +(define-public ocaml-bibtex2html + (package + (name "ocaml-bibtex2html") + (version "1.99-1") + (source + (origin + (method url-fetch) + (uri "https://www.lri.fr/~filliatr/ftp/bibtex2html/bibtex2html-1.99.tar.gz") + (sha256 (base32 "07gzrs4lfrkvbn48cgn2gn6c7cx3jsanakkrb2irj0gmjzfxl96j")))) + (build-system ocaml-build-system) + (arguments + `(#:tests? #f ;; tests require bibtex binary from texlive-bin package + ;; that pulls a lot of dependencies + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'patch-/bin/sh + (lambda _ + (substitute* "configure" (("/bin/sh") (which "bash"))) + #t))))) + (native-inputs + `(("which" ,which))) + (propagated-inputs + `(("ocaml-hevea" ,ocaml-hevea))) + (home-page "https://www.lri.fr/~filliatr/bibtex2html/") + (synopsis "BibTeX to HTML translator") + (description "Allows to produce, from a set of bibliography files +in BibTeX format, a bibliography in HTML format.") + (license license:gpl2)))