From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1Qa9z9-0003vW-0z for garchives@archives.gentoo.org; Fri, 24 Jun 2011 17:16:03 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0AAC21C228; Fri, 24 Jun 2011 17:09:27 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id AA8D21C228 for ; Fri, 24 Jun 2011 17:09:27 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 2D39A2AC026 for ; Fri, 24 Jun 2011 17:09:27 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 889CB8004A for ; Fri, 24 Jun 2011 17:09:26 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: Subject: [gentoo-commits] proj/sci:master commit in: dev-lang/aldor/, dev-lang/aldor/files/ X-VCS-Repository: proj/sci X-VCS-Files: dev-lang/aldor/ChangeLog dev-lang/aldor/aldor-1.1.0.ebuild dev-lang/aldor/files/aldor-1.1.0.patch dev-lang/aldor/metadata.xml X-VCS-Directories: dev-lang/aldor/ dev-lang/aldor/files/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: d3e90f4f408bab48f328b98350108b310489deaf Date: Fri, 24 Jun 2011 17:09:26 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: X-Archives-Hash: 66834bc60921aeaff97baa21f2940c2e commit: d3e90f4f408bab48f328b98350108b310489deaf Author: Justin Lecher gentoo org> AuthorDate: Fri Jun 24 16:10:54 2011 +0000 Commit: Justin Lecher gentoo org> CommitDate: Fri Jun 24 16:10:54 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Dd3e90f4f sources are dead --- dev-lang/aldor/ChangeLog | 25 ---------- dev-lang/aldor/aldor-1.1.0.ebuild | 79 --------------------------= ------ dev-lang/aldor/files/aldor-1.1.0.patch | 23 --------- dev-lang/aldor/metadata.xml | 19 -------- 4 files changed, 0 insertions(+), 146 deletions(-) diff --git a/dev-lang/aldor/ChangeLog b/dev-lang/aldor/ChangeLog deleted file mode 100644 index 24b667f..0000000 --- a/dev-lang/aldor/ChangeLog +++ /dev/null @@ -1,25 +0,0 @@ -# ChangeLog for dev-lang/aldor -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: $ - - 24 Jun 2011; Justin Lecher aldor-1.1.0.ebuild: - Sort inherit and/or USE - -*aldor-1.1.0 (09 Oct 2007) - - 09 Oct 2007; Andrey Grozin - +aldor-1.1.0.ebuild +files/aldor-1.1.0.patch - -aldor-1.0.3.ebuild -aldor-1.1.0_rc.ebuild: - The first opensource release! - -*aldor-1.1.0_rc (20 Apr 2007) - - 20 Apr 2007; Andrey Grozin - +aldor-1.1.0_rc.ebuild: - Version bump - -*aldor-1.0.3 (15 Feb 2007) - - 15 Feb 2007; Andrey Grozin - +metadata.xml, +aldor-1.0.3.ebuild: - Initial import, bug 131590 diff --git a/dev-lang/aldor/aldor-1.1.0.ebuild b/dev-lang/aldor/aldor-1.1= .0.ebuild deleted file mode 100644 index 255ca94..0000000 --- a/dev-lang/aldor/aldor-1.1.0.ebuild +++ /dev/null @@ -1,79 +0,0 @@ -# Copyright 1999-2011 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ -inherit elisp-common subversion - -DESCRIPTION=3D"Aldor - programming language with a two-level type system= " -HOMEPAGE=3D"http://www.aldor.org/" -LICENSE=3D"aldor-2" -SLOT=3D"0" -KEYWORDS=3D"~x86" -IUSE=3D"doc emacs" -RDEPEND=3D"emacs? ( virtual/emacs )" -DEPEND=3D"${RDEPEND} - dev-util/byacc - emacs? ( app-text/noweb doc? ( virtual/tetex ) )" -ESVN_REPO_URI=3D"https://aquarium.aldor.csd.uwo.ca/svn/trunk" -SRC_URI=3D"doc? ( http://aldor.org/docs/aldorug.pdf.gz - http://aldor.org/docs/libaldor.pdf.gz - http://aldor.org/docs/tutorial.pdf.gz - ftp://ftp-sop.inria.fr/cafe/software/algebra/algebra.html.tar.gz ) - emacs? ( http://www.risc.uni-linz.ac.at/people/hemmecke/aldor/aldor.el.= nw )" - -src_compile() { - if use emacs; then - einfo "The aldor emacs mode" - 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 - if use doc; then - einfo "Documentation" - cp "${DISTDIR}/aldorug.pdf.gz" . - cp "${DISTDIR}/libaldor.pdf.gz" . - cp "${DISTDIR}/tutorial.pdf.gz" . - gunzip aldorug.pdf.gz libaldor.pdf.gz tutorial.pdf.gz - tar xzf "${DISTDIR}/algebra.html.tar.gz" - fi - cd "${PN}" - einfo "Compiling aldor and its libraries" - epatch "${FILESDIR}/${P}.patch" - emake distrib -} - -src_install() { - cat > 64aldor < - - -sci - -A.G.Grozin@inp.nsk.su -Andrey Grozin - - -From a technical point of perspective, Aldor is a type-complete, -strongly-typed, imperative programming language with a two-level -object model of categories and domains (similar to the concept of -interfaces and classes in Java). Types and functions are first class -entities allowing them to be constructed and manipulated within -Aldor programs just like any other value. Pervasive use of dependent -types allows static checking of dynamic objects and provides -object-oriented features such as parametric polymorphism. - -