From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id E720C138350 for ; Tue, 25 Feb 2020 06:45:06 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 7139DE08D3; Tue, 25 Feb 2020 06:45:03 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 451A5E08D3 for ; Tue, 25 Feb 2020 06:45:03 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 990CE34F2A4 for ; Tue, 25 Feb 2020 06:45:01 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 3732C10A for ; Tue, 25 Feb 2020 06:44:59 +0000 (UTC) From: "Alessandro Barbieri" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alessandro Barbieri" Message-ID: <1582613059.83a18d8b5c91eaa82bb6ee0f526cbbd0cd088b5d.Alessandro-Barbieri@gentoo> Subject: [gentoo-commits] repo/proj/guru:dev commit in: dev-lang/aldor/ X-VCS-Repository: repo/proj/guru X-VCS-Files: dev-lang/aldor/Manifest dev-lang/aldor/aldor-1.2.0_p20190730.ebuild dev-lang/aldor/metadata.xml X-VCS-Directories: dev-lang/aldor/ X-VCS-Committer: Alessandro-Barbieri X-VCS-Committer-Name: Alessandro Barbieri X-VCS-Revision: 83a18d8b5c91eaa82bb6ee0f526cbbd0cd088b5d X-VCS-Branch: dev Date: Tue, 25 Feb 2020 06:44:59 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: c1715dcf-b2be-4f19-95ae-d03a070b60de X-Archives-Hash: 54bee43ce415790f28424b211f7bd574 commit: 83a18d8b5c91eaa82bb6ee0f526cbbd0cd088b5d Author: Alessandro Barbieri gmail com> AuthorDate: Tue Feb 25 06:44:19 2020 +0000 Commit: Alessandro Barbieri gmail com> CommitDate: Tue Feb 25 06:44:19 2020 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=83a18d8b dev-lang/aldor: new package Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alessandro Barbieri gmail.com> dev-lang/aldor/Manifest | 2 + dev-lang/aldor/aldor-1.2.0_p20190730.ebuild | 82 +++++++++++++++++++++++++++++ dev-lang/aldor/metadata.xml | 14 +++++ 3 files changed, 98 insertions(+) diff --git a/dev-lang/aldor/Manifest b/dev-lang/aldor/Manifest new file mode 100644 index 0000000..3a7e98b --- /dev/null +++ b/dev-lang/aldor/Manifest @@ -0,0 +1,2 @@ +DIST aldor.el.nw 50217 BLAKE2B 12c822b608d995832028cc6c67126c71f05e50d941c0b22fd82fd95a1f968e64150f721982ff8e42f897811c17d2ee0b3135f5c9f57701f99bdce1f8be3fb82c SHA512 6a01873530269ff21afd494a00a8159e48e6199e9aff38259156b8ee8ce21256394629225d857d7d087fd02d1bed3d0de76812656f294f9eb322bed594f4d65e +DIST libaldor.pdf.gz 434487 BLAKE2B 629dbf284db72afb98a8bc1a44df63dc0a3394fdd4361ec48a0d4811f8e931384fc257ad8f3931b7966aee25b0a015062ef8c8ab4e0ebf5978b5deda58c00ab6 SHA512 9ed1f067dd4ee11e5a440f31a9a29eb9248fcfb4349005f42c230a97190853d17e423ce677894a478644ca4964d0ba857465adfe405092c1e6512ced452eedc3 diff --git a/dev-lang/aldor/aldor-1.2.0_p20190730.ebuild b/dev-lang/aldor/aldor-1.2.0_p20190730.ebuild new file mode 100644 index 0000000..5a4414c --- /dev/null +++ b/dev-lang/aldor/aldor-1.2.0_p20190730.ebuild @@ -0,0 +1,82 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI="7" + +EGIT_REPO_URI="https://github.com/pippijn/aldor.git" +EGIT_COMMIT="13e5b90" +AUTOTOOLS_AUTORECONF=1 +AUTOTOOLS_IN_SOURCE_BUILD=1 + +inherit git-r3 autotools elisp-common + +DESCRIPTION="The Aldor Programming Language" +HOMEPAGE="http://pippijn.github.io/aldor" +SRC_URI="doc? ( http://aldor.org/docs/libaldor.pdf.gz ) + emacs? ( http://hemmecke.de/aldor/aldor.el.nw )" + +LICENSE="Apache-2.0" +SLOT="0" +KEYWORDS="" +IUSE="doc emacs" + +RDEPEND="emacs? ( app-editors/emacs:= )" +DEPEND="${RDEPEND} + virtual/yacc + doc? ( virtual/latex-base ) + emacs? ( app-text/noweb )" + +DOCS=( AUTHORS COPYRIGHT LICENSE ) + +S="${WORKDIR}/${P}/aldor" + +src_compile() { + if use doc ; then + ( cd aldorug; emake aldorug.pdf ) || die "make aldorug.pdf failed" + ( cd lib/aldor/tutorial + pdflatex tutorial.tex + pdflatex tutorial.tex ) || die "make tutorial.pdf failed" + cp "${DISTDIR}/libaldor.pdf.gz" . + gunzip libaldor.pdf.gz + tar xzf "${DISTDIR}/algebra.html.tar.gz" + fi + + if use emacs ; then + notangle "${DISTDIR}/aldor.el.nw" > aldor.el + notangle -Rinit.el "${DISTDIR}/aldor.el.nw" | \ + sed -e '1s/^.*$/;; aldor mode/' > 64aldor-gentoo.el + if use doc ; then + einfo "Documentation for the aldor emacs mode" + noweave "${DISTDIR}/aldor.el.nw" > aldor-mode.tex + pdflatex aldor-mode.tex + pdflatex aldor-mode.tex + fi + fi + default +} + +src_install() { + if use doc ; then + DOCS+=( aldorug/aldorug.pdf lib/aldor/tutorial/tutorial.pdf libaldor.pdf ) + fi + if use emacs ; then + DOCS+=( aldor-mode.pdf ) + elisp-site-file-install aldor.el + elisp-site-file-install 64aldor-gentoo.el + fi + default + + # Add information about ALDORROOT to environmental variables + cat > 99aldor <<- EOF + ALDORROOT="${EPREFIX}/usr" + EOF + doenvd 99aldor +} + +pkg_postinst() { + use emacs && elisp-site-regen +} + +pkg_prerm() { + [ -f "${SITELISP}/site-gentoo.el" ] && elisp-site-regen +} diff --git a/dev-lang/aldor/metadata.xml b/dev-lang/aldor/metadata.xml new file mode 100644 index 0000000..4b9f701 --- /dev/null +++ b/dev-lang/aldor/metadata.xml @@ -0,0 +1,14 @@ + + + + Aldor is a programming language. It is the successor of A# as the extension language of the Axiom computer algebra system. + +The Aldor language combines imperative, functional, and object-oriented features. It has an elaborate dependent type system, allowing types to be used as first-class values. Aldor's syntax is heavily influenced by Pascal, but it is optionally indentation-sensitive, like Python. In its current implementation, it is compiled, but an interactive listener is provided. + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + pippijn/aldor + +