diff options
author | Sébastien Fabbro <sebfabbro@gmail.com> | 2011-07-01 07:44:40 +0100 |
---|---|---|
committer | Sébastien Fabbro <sebfabbro@gmail.com> | 2011-07-01 07:44:40 +0100 |
commit | 9119aeec61ff4ca04d3d1a9d9215671340040fed (patch) | |
tree | 472f320df507b28061ff7be9349ed704fc3d0959 /dev-lang | |
parent | Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci (diff) | |
parent | Fix manifest (diff) | |
download | sci-9119aeec61ff4ca04d3d1a9d9215671340040fed.tar.gz sci-9119aeec61ff4ca04d3d1a9d9215671340040fed.tar.bz2 sci-9119aeec61ff4ca04d3d1a9d9215671340040fed.zip |
Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/aldor/ChangeLog | 22 | ||||
-rw-r--r-- | dev-lang/aldor/Manifest | 9 | ||||
-rw-r--r-- | dev-lang/aldor/aldor-1.1.0.ebuild | 79 | ||||
-rw-r--r-- | dev-lang/aldor/files/aldor-1.1.0.patch | 23 | ||||
-rw-r--r-- | dev-lang/aldor/metadata.xml | 19 |
5 files changed, 0 insertions, 152 deletions
diff --git a/dev-lang/aldor/ChangeLog b/dev-lang/aldor/ChangeLog deleted file mode 100644 index 5e3c7005c..000000000 --- a/dev-lang/aldor/ChangeLog +++ /dev/null @@ -1,22 +0,0 @@ -# ChangeLog for sci-mathematics/yorick -# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: $ - -*aldor-1.1.0 (09 Oct 2007) - - 09 Oct 2007; Andrey Grozin <A.G.Grozin@inp.nsk.su> - +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 <A.G.Grozin@inp.nsk.su> - +aldor-1.1.0_rc.ebuild: - Version bump - -*aldor-1.0.3 (15 Feb 2007) - - 15 Feb 2007; Andrey Grozin <A.G.Grozin@inp.nsk.su> - +metadata.xml, +aldor-1.0.3.ebuild: - Initial import, bug 131590 diff --git a/dev-lang/aldor/Manifest b/dev-lang/aldor/Manifest deleted file mode 100644 index 30b3b1e69..000000000 --- a/dev-lang/aldor/Manifest +++ /dev/null @@ -1,9 +0,0 @@ -AUX aldor-1.1.0.patch 837 RMD160 e43ce6c6e17c43bc2a8223e85dcaed70c3a482fb SHA1 0daa89ff91aac843c95f864636534e9eb29f0014 SHA256 dee4048e8fc96d2a675bbedb17998210c4b1cb95035e0d4beaabd1af8038e7e0 -DIST aldor.el.nw 51482 RMD160 8b785abf23ea5cd1107d1a05b187723f81b04559 SHA1 628ff6f36d720e4a32d72125d3559e4da498f750 SHA256 c6c80e1fd32b36555fe3d90e9cadb48795907514129b6c23406f720db18bd43e -DIST aldorug.pdf.gz 767850 RMD160 7b2f9496b303caee0642ea74e58524699b122f19 SHA1 02e89472a34fe974900a529c644c093c55452793 SHA256 dec98eed7c9065c9233d2eb3e30e5dc98a2128709d541f7b626d086979b80c3a -DIST algebra.html.tar.gz 749742 RMD160 9b0d1d2a7d7cda047a911ee9d2f1a23d21ed6b76 SHA1 8cf0853897947b7f073ff62efda6b14ec8edf7f2 SHA256 b4e38a1d36e4f4661df0314da43aa09846e6c62156ac4243bcb051dcc829e33f -DIST libaldor.pdf.gz 434487 RMD160 c7d7130eca8d820a291786f11288deefbe1a672e SHA1 e231e2171b5906ba0812508d548c759f235625b5 SHA256 57371d1bd6031c350783e063533ba9ba1d82e681dca54fa3b4de42a339c9a668 -DIST tutorial.pdf.gz 164786 RMD160 1ceea46bd6a7b22003ff06842d656b0d57d011bf SHA1 62a4d224a60b6abc1fc8d49ac0f2a41860f001da SHA256 a0339b7c59632c8825e26603330b5a4010aeeb843ddad06c6b54d029519c7e65 -EBUILD aldor-1.1.0.ebuild 2172 RMD160 739e225b613bb15c37fb8563a8be1f3f5c38024a SHA1 abca520ba78b3c3598a570699f362eee28cc864a SHA256 dc91e28b137a6fef5c52d62f17f48562d909f679f6580e5f84b4f64467876277 -MISC ChangeLog 604 RMD160 0e82b957c36f50bc4f1ea826dc11b9507f9e3fc3 SHA1 3f1237a0ad448efa3d3324eaa19f1f1567732074 SHA256 c1874a2da1126c705e8a31098c6c7c12bec8c2f101bd35a353fafe770bc3db15 -MISC metadata.xml 811 RMD160 f7b329f9abd26f80f54235f2ad214bd4d8fd6d92 SHA1 e95d400caa56b900562d16d943ab8da837c281ed SHA256 005c18ae92ac4022daa3da7381a2eb712c28b6444f853c1a889cbc4750d8f9ef 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 ecadbc975..000000000 --- a/dev-lang/aldor/aldor-1.1.0.ebuild +++ /dev/null @@ -1,79 +0,0 @@ -# Copyright 1999-2008 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ -inherit subversion elisp-common - -DESCRIPTION="Aldor - programming language with a two-level type system" -HOMEPAGE="http://www.aldor.org/" -LICENSE="aldor-2" -SLOT="0" -KEYWORDS="~x86" -IUSE="doc emacs" -RDEPEND="emacs? ( virtual/emacs )" -DEPEND="${RDEPEND} - dev-util/byacc - emacs? ( app-text/noweb doc? ( virtual/tetex ) )" -ESVN_REPO_URI="https://aquarium.aldor.csd.uwo.ca/svn/trunk" -SRC_URI="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 <<EOF -ALDORROOT=/opt/${PN}/linux/${PV} -PATH=/opt/${PN}/linux/${PV}/bin -EOF - doenvd 64aldor - if use doc; then - einfo "Installing the aldor documentation" - insinto "/usr/share/doc/${P}" - doins *.pdf - doins -r algebra.html - fi - if use emacs; then - einfo "Installing the aldor emacs mode" - elisp-site-file-install aldor.el - elisp-site-file-install 64aldor-gentoo.el - fi - einfo "Installing aldor and its libraries" - cd "${PN}/install" - dodir /opt - cp -a "${PN}" "${D}opt/" -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_prerm() { - [ -f "${SITELISP}/site-gentoo.el" ] && elisp-site-regen -} diff --git a/dev-lang/aldor/files/aldor-1.1.0.patch b/dev-lang/aldor/files/aldor-1.1.0.patch deleted file mode 100644 index e1807e44e..000000000 --- a/dev-lang/aldor/files/aldor-1.1.0.patch +++ /dev/null @@ -1,23 +0,0 @@ ---- Makefile.globals.orig 2007-09-30 22:59:31.000000000 +0700 -+++ Makefile.globals 2007-09-30 22:57:27.000000000 +0700 -@@ -21,5 +21,5 @@ - # - SHELL=/bin/bash --ALDOR_PROJECT=d:\projects\aldor\aldorsvn -+ALDOR_PROJECT=$(S)/$(PN) - - # All these things under $(ALDOR_PROJECT) can actually be in unrelated places, -@@ -33,5 +33,5 @@ - # MACHINE should be one of: linux, win32gcc, win32msvc, sun4os55g64 - # or the machines listed in: $(ALDOR_PROJECT)/aldor/tools/unix/docc. --MACHINE=win32msvc -+MACHINE=linux - - # This varible sets the name of the libraries to be built -@@ -43,5 +43,5 @@ - # Note: the order in the list sets the order of building the libraries. - #LIBS_TO_BUILD=aldor axllib debuglib algebra --LIBS_TO_BUILD=aldor axllib -+LIBS_TO_BUILD=aldor axllib algebra - - # This is used to form the name of the tarball archive used for binary diff --git a/dev-lang/aldor/metadata.xml b/dev-lang/aldor/metadata.xml deleted file mode 100644 index 7b8af4e8c..000000000 --- a/dev-lang/aldor/metadata.xml +++ /dev/null @@ -1,19 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<herd>sci</herd> -<maintainer> -<email>A.G.Grozin@inp.nsk.su</email> -<name>Andrey Grozin</name> -</maintainer> -<longdescription lang="en"> -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. -</longdescription> -</pkgmetadata> |