From dd427b8fcd29ab819f82515615fe19e7e59fc95f Mon Sep 17 00:00:00 2001 From: grozin Date: Thu, 15 Feb 2007 16:19:15 +0000 Subject: aldor-1.0.3 (binary, x86 only) git-svn-id: http://overlays.gentoo.org/svn/proj/science/overlay@487 32389bae-6d03-0410-99cf-db05cde120eb --- dev-lang/aldor/ChangeLog | 9 +++ dev-lang/aldor/Manifest | 21 +++++++ dev-lang/aldor/aldor-1.0.3.ebuild | 101 ++++++++++++++++++++++++++++++++ dev-lang/aldor/files/digest-aldor-1.0.3 | 18 ++++++ dev-lang/aldor/metadata.xml | 19 ++++++ 5 files changed, 168 insertions(+) create mode 100644 dev-lang/aldor/ChangeLog create mode 100644 dev-lang/aldor/Manifest create mode 100644 dev-lang/aldor/aldor-1.0.3.ebuild create mode 100644 dev-lang/aldor/files/digest-aldor-1.0.3 create mode 100644 dev-lang/aldor/metadata.xml (limited to 'dev-lang') 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 + +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 < + + +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. + + -- cgit v1.2.3-65-gdbad