summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Black <dragonheart@gentoo.org>2005-02-23 11:11:25 +0000
committerDaniel Black <dragonheart@gentoo.org>2005-02-23 11:11:25 +0000
commit16c4d97952deab6f6668bf0dfaf418c270542bb1 (patch)
tree7bc6b1da8c4e9febb069bc862808aea00db2cf9f /dev-embedded/gezel
parentVersion bump for bug 82996; marked 0.8.1 stable on x86. (diff)
downloadhistorical-16c4d97952deab6f6668bf0dfaf418c270542bb1.tar.gz
historical-16c4d97952deab6f6668bf0dfaf418c270542bb1.tar.bz2
historical-16c4d97952deab6f6668bf0dfaf418c270542bb1.zip
Initial import as per bug #82328
Package-Manager: portage-2.0.51.16
Diffstat (limited to 'dev-embedded/gezel')
-rw-r--r--dev-embedded/gezel/ChangeLog11
-rw-r--r--dev-embedded/gezel/Manifest14
-rw-r--r--dev-embedded/gezel/files/digest-gezel-1.6b1
-rw-r--r--dev-embedded/gezel/gezel-1.6b.ebuild34
-rw-r--r--dev-embedded/gezel/metadata.xml5
5 files changed, 65 insertions, 0 deletions
diff --git a/dev-embedded/gezel/ChangeLog b/dev-embedded/gezel/ChangeLog
new file mode 100644
index 000000000000..c58702b07e56
--- /dev/null
+++ b/dev-embedded/gezel/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for dev-embedded/gezel
+# Copyright 1999-2005 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-embedded/gezel/ChangeLog,v 1.1 2005/02/23 11:11:24 dragonheart Exp $
+
+*gezel-1.6b (23 Feb 2005)
+
+ 23 Feb 2005; Daniel Black <dragonheart@gentoo.org> +metadata.xml,
+ +gezel-1.6b.ebuild:
+ Initial import as per bug #82328 thanks to Thilo Bangert
+ <fizzelpark-lists@gmx.net>.
+
diff --git a/dev-embedded/gezel/Manifest b/dev-embedded/gezel/Manifest
new file mode 100644
index 000000000000..835cce870796
--- /dev/null
+++ b/dev-embedded/gezel/Manifest
@@ -0,0 +1,14 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
+MD5 8198f707bece8b3aee577986f4c8d641 gezel-1.6b.ebuild 1048
+MD5 420df847a3db1c4969aff20243f656dd metadata.xml 165
+MD5 7def0f6c647e670f92c917050596d361 ChangeLog 421
+MD5 9223291dfdb18f6700a27062647a3085 files/digest-gezel-1.6b 62
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v1.4.0 (GNU/Linux)
+
+iD8DBQFCHGTjmdTrptrqvGERAqDBAJsHzno7jau1L0KXfG7GKkT6kqPN7gCePbHu
++QvxO1UxXQKAj4tF3pDLyC4=
+=WGon
+-----END PGP SIGNATURE-----
diff --git a/dev-embedded/gezel/files/digest-gezel-1.6b b/dev-embedded/gezel/files/digest-gezel-1.6b
new file mode 100644
index 000000000000..3c135425efe0
--- /dev/null
+++ b/dev-embedded/gezel/files/digest-gezel-1.6b
@@ -0,0 +1 @@
+MD5 b6459d1cf831b19743c07c99aae35e73 gezel-1.6b.tar.gz 728176
diff --git a/dev-embedded/gezel/gezel-1.6b.ebuild b/dev-embedded/gezel/gezel-1.6b.ebuild
new file mode 100644
index 000000000000..284d62b32528
--- /dev/null
+++ b/dev-embedded/gezel/gezel-1.6b.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2005 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-embedded/gezel/gezel-1.6b.ebuild,v 1.1 2005/02/23 11:11:24 dragonheart Exp $
+
+inherit eutils
+
+DESCRIPTION="GEZEL is a language and open environment for exploration, simulation and implementation of domain-specific micro-architectures."
+HOMEPAGE="http://www.ee.ucla.edu/~schaum/gezel/"
+SRC_URI="http://www.ee.ucla.edu/~schaum/gezel/package/${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="x86"
+IUSE=""
+
+RDEPEND="dev-libs/gmp
+ virtual/libc"
+DEPEND="sys-apps/gawk
+ sys-devel/bison
+ ${RDEPEND}"
+
+src_compile() {
+ econf --enable-gezel51 || die 'configure failed'
+ # other config options failing for various reasons
+ # --enable-armcosim (compile failure) --enable-systemccosim (missing gmp lib symbol) failing for unknown reasons
+ emake || die 'compile failed'
+}
+
+src_install() {
+ make DESTDIR=${D} install || die
+ dodoc AUTHORS BUGS NEWS README TODO doc/*.*
+ docinto umlistings
+ dodoc doc/umlistings/*
+}
diff --git a/dev-embedded/gezel/metadata.xml b/dev-embedded/gezel/metadata.xml
new file mode 100644
index 000000000000..92114080841c
--- /dev/null
+++ b/dev-embedded/gezel/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>dev-embedded</herd>
+</pkgmetadata>