diff options
Diffstat (limited to 'dev-util/coccinelle')
| -rw-r--r-- | dev-util/coccinelle/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-util/coccinelle/Manifest | 14 | ||||
| -rw-r--r-- | dev-util/coccinelle/coccinelle-0.2.0.ebuild | 60 | ||||
| -rw-r--r-- | dev-util/coccinelle/metadata.xml | 5 |
4 files changed, 89 insertions, 0 deletions
diff --git a/dev-util/coccinelle/ChangeLog b/dev-util/coccinelle/ChangeLog new file mode 100644 index 000000000000..17fa45ab5031 --- /dev/null +++ b/dev-util/coccinelle/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-util/coccinelle +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-util/coccinelle/ChangeLog,v 1.1 2010/01/24 18:07:36 aballier Exp $ + +*coccinelle-0.2.0 (24 Jan 2010) + + 24 Jan 2010; Alexis Ballier <aballier@gentoo.org> + +coccinelle-0.2.0.ebuild, +metadata.xml: + initial import, ebuild by me, requested by solar + diff --git a/dev-util/coccinelle/Manifest b/dev-util/coccinelle/Manifest new file mode 100644 index 000000000000..2ba4d5511e47 --- /dev/null +++ b/dev-util/coccinelle/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + +DIST coccinelle-0.2.0.tgz 2081092 RMD160 bac5d17fe270221bd423987e5c3f3f7e7863310b SHA1 28ff09d5b990af4d744817002f2f56dcff33b95e SHA256 24a21a391e73359cf67e5bc57024e30455931e98d3ec98fcc373480445cae6d5 +EBUILD coccinelle-0.2.0.ebuild 1614 RMD160 fa3bef235da973bce441fe45a434dab32485bf2e SHA1 835c9f41115316cb35da4b57a0581443c2d40823 SHA256 94221bdb65c8930a186f6e4019e605c0f88aa2f27de4a1561e4853c05766a2cd +MISC ChangeLog 393 RMD160 f5ca857e20e4f7a1ed21f5c3efcb42ed7176660a SHA1 089ef1538e299b22d1f7cfab1d8518f1e12f921c SHA256 ed4de31c812f50121e09647f5a97c8e4c1eb60fecbdb176b7e01daa5e6d15387 +MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.14 (GNU/Linux) + +iEYEARECAAYFAktcjG4ACgkQvFcC4BYPU0rucgCfa6PFwpRRV3CXLD7FC9EhPg9w +EJYAoKRQ5lLLP6sc67HC1VA5xP8Dp3LO +=kAsf +-----END PGP SIGNATURE----- diff --git a/dev-util/coccinelle/coccinelle-0.2.0.ebuild b/dev-util/coccinelle/coccinelle-0.2.0.ebuild new file mode 100644 index 000000000000..4f93cfe299f2 --- /dev/null +++ b/dev-util/coccinelle/coccinelle-0.2.0.ebuild @@ -0,0 +1,60 @@ +# Copyright 1999-2010 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-util/coccinelle/coccinelle-0.2.0.ebuild,v 1.1 2010/01/24 18:07:36 aballier Exp $ + +EAPI="2" + +inherit multilib + +DESCRIPTION="Program matching and transformation engine" +HOMEPAGE="http://coccinelle.lip6.fr/" +SRC_URI="http://coccinelle.lip6.fr/distrib/${P}.tgz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="doc +ocamlopt python" + +RDEPEND="python? ( dev-lang/python ) + >=dev-lang/ocaml-3.10[ocamlopt?]" +DEPEND="${RDEPEND} + doc? ( virtual/latex-base + || ( dev-texlive/texlive-latexextra app-text/ptex ) )" + +src_configure() { + # non-autoconf + ./configure \ + --prefix=/usr \ + $(use ocamlopt || echo "--no-opt") \ + $(use_with python) \ + || die + sed -i "s:^LIBDIR=.*:LIBDIR=/usr/$(get_libdir)/ocaml/stublibs/:" Makefile.config + sed -i "s:^SHAREDIR=.*:SHAREDIR=/usr/libexec/${PN}/:" Makefile.config + sed -i "s:^MANDIR=.*:MANDIR=/usr/share/man/:" Makefile.config +} + +src_compile() { + emake depend || die + emake || die + if use doc ; then + emake docs || die + fi + if use ocamlopt ; then + emake opt || die + fi +} + +src_test() { + ./spatch standard.h -parse_c -dir tests/ || die + ./spatch -iso_file standard.iso -macro_file_builtins standard.h -testall || die + if use ocamlopt ; then + ./spatch.opt -iso_file standard.iso -macro_file_builtins standard.h -testall || die + fi +} + +src_install() { + emake DESTDIR="${D}" install || die + dodoc authors.txt bugs.txt changes.txt credits.txt readme.txt + use doc && dodoc docs/manual/*.pdf + export STRIP_MASK='*/coccinelle/spatch' +} diff --git a/dev-util/coccinelle/metadata.xml b/dev-util/coccinelle/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-util/coccinelle/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>ml</herd> +</pkgmetadata> |