aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-lang/aldor/ChangeLog9
-rw-r--r--dev-lang/aldor/Manifest21
-rw-r--r--dev-lang/aldor/aldor-1.0.3.ebuild101
-rw-r--r--dev-lang/aldor/files/digest-aldor-1.0.318
-rw-r--r--dev-lang/aldor/metadata.xml19
-rw-r--r--licenses/aldor-public-license85
-rw-r--r--profiles/use.local.desc2
7 files changed, 253 insertions, 2 deletions
diff --git a/dev-lang/aldor/ChangeLog b/dev-lang/aldor/ChangeLog
new file mode 100644
index 000000000..3d8b555de
--- /dev/null
+++ b/dev-lang/aldor/ChangeLog
@@ -0,0 +1,9 @@
+# ChangeLog for sci-mathematics/yorick
+# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+*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
new file mode 100644
index 000000000..59cdbaaf6
--- /dev/null
+++ b/dev-lang/aldor/Manifest
@@ -0,0 +1,21 @@
+DIST aldor-linux-i386-glibc2.3-1.0.3.bin 21051230 RMD160 dc5542be2b6ee1cd7e1553f820a4f0790e9dec46 SHA1 583b774ddd47e0f8f436aaf84a83c018fd858571 SHA256 0e6dbc8f6c59c9ceea981101570962281312329b119d7892bf834bf6e3905613
+DIST aldor.el.nw 51482 RMD160 8b785abf23ea5cd1107d1a05b187723f81b04559 SHA1 628ff6f36d720e4a32d72125d3559e4da498f750 SHA256 c6c80e1fd32b36555fe3d90e9cadb48795907514129b6c23406f720db18bd43e
+DIST aldorug.pdf.gz 767850 RMD160 7b2f9496b303caee0642ea74e58524699b122f19 SHA1 02e89472a34fe974900a529c644c093c55452793 SHA256 dec98eed7c9065c9233d2eb3e30e5dc98a2128709d541f7b626d086979b80c3a
+DIST algebra.dvi.gz 224384 RMD160 5c02725edd5487ce0ed559ec9d70ac8b2dcafcda SHA1 5cc216b314c06bfa4868385dc36ef19b1e1b8520 SHA256 bce290c458dabb80fd390729dd0da5738694124d8571a6a941c087a71d14da38
+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.0.3.ebuild 2434 RMD160 8f270c742850e2c4fc8338c5c74d4810fb517e86 SHA1 18395e0010f3564bc15f940365e3212182559128 SHA256 7078b03a60c039f43c9f4dc2cab5b0d3171b5f02b7d122526a70da91890bc636
+MD5 16cf9c7640bf66a1c8cefff9ee58c492 aldor-1.0.3.ebuild 2434
+RMD160 8f270c742850e2c4fc8338c5c74d4810fb517e86 aldor-1.0.3.ebuild 2434
+SHA256 7078b03a60c039f43c9f4dc2cab5b0d3171b5f02b7d122526a70da91890bc636 aldor-1.0.3.ebuild 2434
+MISC ChangeLog 271 RMD160 57c92fc93f5bb6f035b76621911f6e56bea2d43d SHA1 bb1869ba62f49cd7093a550b6daf3fd31ccb1532 SHA256 81fd5c130c9fdc85d81a26146c7a1ce57ddc58f32e3f8787627b2977fe3228ab
+MD5 a586f72ddce072d11069d651814ceae1 ChangeLog 271
+RMD160 57c92fc93f5bb6f035b76621911f6e56bea2d43d ChangeLog 271
+SHA256 81fd5c130c9fdc85d81a26146c7a1ce57ddc58f32e3f8787627b2977fe3228ab ChangeLog 271
+MISC metadata.xml 811 RMD160 f7b329f9abd26f80f54235f2ad214bd4d8fd6d92 SHA1 e95d400caa56b900562d16d943ab8da837c281ed SHA256 005c18ae92ac4022daa3da7381a2eb712c28b6444f853c1a889cbc4750d8f9ef
+MD5 09a2b913ded6f7853e0abcc74e30fac6 metadata.xml 811
+RMD160 f7b329f9abd26f80f54235f2ad214bd4d8fd6d92 metadata.xml 811
+SHA256 005c18ae92ac4022daa3da7381a2eb712c28b6444f853c1a889cbc4750d8f9ef metadata.xml 811
+MD5 74d82b566e66bfcf2c9039d066ebf076 files/digest-aldor-1.0.3 1401
+RMD160 99ad9d27e853e4dd87c0a497ee5fd1142cdac551 files/digest-aldor-1.0.3 1401
+SHA256 d44f933666d514e9cacfd6ec2bc3a1ac66b9cf6643a2788c120db1d5e12f5083 files/digest-aldor-1.0.3 1401
diff --git a/dev-lang/aldor/aldor-1.0.3.ebuild b/dev-lang/aldor/aldor-1.0.3.ebuild
new file mode 100644
index 000000000..32eb22b36
--- /dev/null
+++ b/dev-lang/aldor/aldor-1.0.3.ebuild
@@ -0,0 +1,101 @@
+# Copyright 1999-2007 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+inherit elisp-common
+
+DESCRIPTION="Aldor - programming language with a two-level type system"
+HOMEPAGE="http://www.aldor.org/"
+LICENSE="aldor-public-license"
+SLOT="0"
+KEYWORDS="~x86 -*"
+IUSE="doc emacs"
+ALDOR="${PN}-linux-i386-glibc2.3-${PV}.bin"
+DOC1="aldorug.pdf.gz"
+DOC2="libaldor.pdf.gz"
+DOC3="tutorial.pdf.gz"
+URL4="ftp://ftp-sop.inria.fr/cafe/software/algebra"
+DOC4="algebra.dvi.gz"
+MODE_URL="http://www.risc.uni-linz.ac.at/people/hemmecke/aldor"
+MODE="aldor.el.nw"
+SRC_URI="${ALDOR}
+ doc? ( http://www.aldor.org/docs/${DOC1}
+ http://www.aldor.org/docs/${DOC2}
+ http://www.aldor.org/docs/${DOC3}
+ ${URL4}/${DOC4} )
+ emacs? ( ${MODE_URL}/${MODE} )"
+RESTRICT="fetch"
+RDEPEND="emacs? ( virtual/emacs )"
+DEPEND="${RDEPEND}
+ doc? ( virtual/tetex )
+ emacs? ( app-text/noweb )"
+S="${WORKDIR}"
+
+pkg_nofetch() {
+ local PLURAL
+ PLURAL=""
+ einfo "Please visit ${HOMEPAGE} and read the license"
+ einfo "If you accept it, download ${SRC_URI}"
+ if use doc; then
+ einfo "Also download ${DOC1}, ${DOC2}, ${DOC3}"
+ einfo "Then go to ${URL4} and download ${DOC4}"
+ PLURAL="s"
+ fi
+ if use emacs; then
+ einfo "Then go to ${MODE_URL} and download ${MODE}"
+ PLURAL="s"
+ fi
+ einfo "Then move the downloaded file${PLURAL} to ${DISTDIR}"
+}
+
+src_unpack() {
+ 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
+ use doc && noweave "${DISTDIR}/aldor.el.nw" > aldor-mode.tex
+ fi
+}
+
+src_compile() {
+ if use doc; then
+ dvipdfm algebra.dvi
+ if use emacs; then
+ pdflatex aldor-mode.tex
+ pdflatex aldor-mode.tex
+ fi
+ fi
+}
+
+src_install() {
+ local LINE="205"
+ dodir /opt
+ cd "${D}/opt"
+ tail -n +"${LINE}" "${DISTDIR}/${SRC_URI}" | tar xzf -
+ dodir "/opt/${PN}/${PV}"
+ cd "${D}/opt/${PN}/linux/${PV}/bin"
+ cd "${S}"
+ cat > 64aldor <<EOF
+ALDORROOT=/opt/${PN}/linux/${PV}
+PATH=/opt/${PN}/linux/${PV}/bin
+EOF
+ doenvd 64aldor
+ if use doc; then
+ insinto "/usr/share/doc/aldor-${PV}"
+ doins *.pdf
+ fi
+ if use emacs; then
+ elisp-site-file-install aldor.el
+ elisp-site-file-install 64aldor-gentoo.el
+ fi
+}
+
+pkg_postinst() {
+ ln -s "/opt/${PN}/linux/${PV}" "/opt/${PN}/${PV}/linux"
+ ln -s `which ar` "/opt/${PN}/linux/${PV}/bin/uniar"
+}
+
+pkg_prerm() {
+ rm -f "/opt/${PN}/${PV}/linux"
+ rm -rf "/opt/${PN}/linux"
+}
diff --git a/dev-lang/aldor/files/digest-aldor-1.0.3 b/dev-lang/aldor/files/digest-aldor-1.0.3
new file mode 100644
index 000000000..f913dbccb
--- /dev/null
+++ b/dev-lang/aldor/files/digest-aldor-1.0.3
@@ -0,0 +1,18 @@
+MD5 1ffa961ea47420e1554a68440acede9f aldor-linux-i386-glibc2.3-1.0.3.bin 21051230
+RMD160 dc5542be2b6ee1cd7e1553f820a4f0790e9dec46 aldor-linux-i386-glibc2.3-1.0.3.bin 21051230
+SHA256 0e6dbc8f6c59c9ceea981101570962281312329b119d7892bf834bf6e3905613 aldor-linux-i386-glibc2.3-1.0.3.bin 21051230
+MD5 1f453aa0239f6475bffad19cda3bfb21 aldor.el.nw 51482
+RMD160 8b785abf23ea5cd1107d1a05b187723f81b04559 aldor.el.nw 51482
+SHA256 c6c80e1fd32b36555fe3d90e9cadb48795907514129b6c23406f720db18bd43e aldor.el.nw 51482
+MD5 46fca63a09f483edfbddd2df1c61c94d aldorug.pdf.gz 767850
+RMD160 7b2f9496b303caee0642ea74e58524699b122f19 aldorug.pdf.gz 767850
+SHA256 dec98eed7c9065c9233d2eb3e30e5dc98a2128709d541f7b626d086979b80c3a aldorug.pdf.gz 767850
+MD5 53ad36c07dda65a4a2a5624e034d216b algebra.dvi.gz 224384
+RMD160 5c02725edd5487ce0ed559ec9d70ac8b2dcafcda algebra.dvi.gz 224384
+SHA256 bce290c458dabb80fd390729dd0da5738694124d8571a6a941c087a71d14da38 algebra.dvi.gz 224384
+MD5 6e8c19abd8152ec4ac3944f8cee90679 libaldor.pdf.gz 434487
+RMD160 c7d7130eca8d820a291786f11288deefbe1a672e libaldor.pdf.gz 434487
+SHA256 57371d1bd6031c350783e063533ba9ba1d82e681dca54fa3b4de42a339c9a668 libaldor.pdf.gz 434487
+MD5 30bb611ea4b9e772f113cd82e50cc6ec tutorial.pdf.gz 164786
+RMD160 1ceea46bd6a7b22003ff06842d656b0d57d011bf tutorial.pdf.gz 164786
+SHA256 a0339b7c59632c8825e26603330b5a4010aeeb843ddad06c6b54d029519c7e65 tutorial.pdf.gz 164786
diff --git a/dev-lang/aldor/metadata.xml b/dev-lang/aldor/metadata.xml
new file mode 100644
index 000000000..7b8af4e8c
--- /dev/null
+++ b/dev-lang/aldor/metadata.xml
@@ -0,0 +1,19 @@
+<?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>
diff --git a/licenses/aldor-public-license b/licenses/aldor-public-license
new file mode 100644
index 000000000..d6fc383e6
--- /dev/null
+++ b/licenses/aldor-public-license
@@ -0,0 +1,85 @@
+Aldor Public License 1.0
+
+Copyright 1990-2004, Aldor.org
+All rights reserved.
+
+
+The Aldor distribution contains software and documentation, some in binary
+form only, other in source and binary form. Redistribution and use in source
+and binary forms, with or without modification, are permitted provided
+that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice,
+ this list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+ this list of conditions and the following disclaimer in the documentation
+ and/or other materials provided with the distribution.
+
+* Neither the name of Aldor.org nor the names of its contributors may be
+ used to endorse or promote products derived from this software without
+ specific prior written permission.
+
+* If you distribute a modified form of either source or binary code (a) you
+ must make the source form of these modification available to Aldor.org
+ (b) you grant Aldor.org a royalty-free license to use, modify or redistribute
+ your modifications without limitation, and (c) you represent that you are
+ legally entitled to grant these rights and that you are not providing
+ Aldor.org with any code that violates any law or breaches any contract.
+
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
+TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
+PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
+NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+
+-------------------------------------------------------------------------------
+
+
+Rationale
+
+This rationale describes the license and is not part of it.
+
+This license permits unrestricted use of the material covered if it
+is not redistributed outside the recipient's organization, subject to
+acceptance of the disclaimer of liability. Redistribution in full or in
+part, or creation of derivative works is permitted including the use of
+all or part of the material in a commercial package. The first three
+clauses that control redistribution follow the well-established BSD
+license. The fourth clause is present for two reasons:
+
+* Parts of the existing code base in the software package that this license is
+ applied to require Aldor.org to make any updates available to the initial
+ contributors. The clause is there to give Aldor.org the right to do this.
+
+* It reserves for major contributors, through Aldor.org, greater flexibility to
+ create and exploit potential future software based on this work, and protects
+ them where they have existing non-open software that is related to or shares
+ some code with this work.
+
+When part or all of the code licensed here is incorporated into a distinct work
+our intent is not to lay claim to rights to the larger work as a whole: we just
+assert rights over the changes to the Aldor.org software developed in the
+process of making it fit to be embedded in the new context.
+
+This does not give Aldor.org (or anybody else) exclusive rights to changes.
+The license permits (and Aldor.org encourages) those who make changes to
+distribute the whole of their work in source form thus giving everybody (not
+just Aldor.org) rights to make commercial or non-commercial use of everything.
+
+Typical programs compiled with the Aldor compiler contain portions of the
+Aldor distribution (e.g. code inlined or linked from the library or run-time
+system). Aldor.org does not wish to limit the distribution of programs
+compiled with the Aldor compiler even though these may incidentally contain
+portions of such object code from the library or run-time system.
+
+
+ Aldor.org. January 2002
diff --git a/profiles/use.local.desc b/profiles/use.local.desc
index c12515b44..a7807dbd6 100644
--- a/profiles/use.local.desc
+++ b/profiles/use.local.desc
@@ -9,8 +9,6 @@
# We keep here only the new USE flags introduced by packages in the overlay.
# Ultimately, they will be merged into the main tree.
-app-office/texmacs:aspell - Use aspell for spell-checking
-app-office/texmacs:ispell - Use ispell for spell-checking
dev-python/matplotlib:agg - Build with external antigrain library
sci-astronomy/celestia:cairo - Use cairo for celestia GTK splash screen
sci-astronomy/scamp:plplot - Add plplot to allow diagnostic plots during processing