aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/aldor')
-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
5 files changed, 168 insertions, 0 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>