aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbicatali <bicatali@32389bae-6d03-0410-99cf-db05cde120eb>2008-03-17 16:21:32 +0000
committerbicatali <bicatali@32389bae-6d03-0410-99cf-db05cde120eb>2008-03-17 16:21:32 +0000
commit76ffb781ed7a917f23b67454e9f950e5e3b83527 (patch)
tree94fa8e1ddc7cb9ef80b78ea7896a5845f074f95b /dev-lang
parentmove stuff to root (diff)
downloadsci-76ffb781ed7a917f23b67454e9f950e5e3b83527.tar.gz
sci-76ffb781ed7a917f23b67454e9f950e5e3b83527.tar.bz2
sci-76ffb781ed7a917f23b67454e9f950e5e3b83527.zip
moved overlay to new directory
git-svn-id: http://overlays.gentoo.org/svn/proj/science/overlay@979 32389bae-6d03-0410-99cf-db05cde120eb
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/aldor/ChangeLog22
-rw-r--r--dev-lang/aldor/Manifest9
-rw-r--r--dev-lang/aldor/aldor-1.1.0.ebuild80
-rw-r--r--dev-lang/aldor/files/aldor-1.1.0.patch23
-rw-r--r--dev-lang/aldor/metadata.xml19
5 files changed, 153 insertions, 0 deletions
diff --git a/dev-lang/aldor/ChangeLog b/dev-lang/aldor/ChangeLog
new file mode 100644
index 000000000..5e3c7005c
--- /dev/null
+++ b/dev-lang/aldor/ChangeLog
@@ -0,0 +1,22 @@
+# 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
new file mode 100644
index 000000000..6c2cf04db
--- /dev/null
+++ b/dev-lang/aldor/Manifest
@@ -0,0 +1,9 @@
+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 2183 RMD160 e4f736d6b44b66f9766b1cb5bc161654f06ba7c0 SHA1 843d29cffabd9918fe00139afce5436fc891af5a SHA256 82715caea0cca00737a6b2b1b1322a8d49d66c9d6aaa6538a97ccb1349bcb62f
+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
new file mode 100644
index 000000000..3f5e90a1f
--- /dev/null
+++ b/dev-lang/aldor/aldor-1.1.0.ebuild
@@ -0,0 +1,80 @@
+# Copyright 1999-2007 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() {
+ cd "${S}"
+ 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
new file mode 100644
index 000000000..e1807e44e
--- /dev/null
+++ b/dev-lang/aldor/files/aldor-1.1.0.patch
@@ -0,0 +1,23 @@
+--- 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
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>