summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey Popov <pinkbyte@gentoo.org>2012-11-15 18:02:52 +0000
committerSergey Popov <pinkbyte@gentoo.org>2012-11-15 18:02:52 +0000
commitd32087e5b272ffd0ca4b17bd88a117530e8988bf (patch)
treef6ffece28037d9b36a6726e7af659e777b2968f2 /dev-libs/fddl
parentRemove old. (diff)
downloadgentoo-2-d32087e5b272ffd0ca4b17bd88a117530e8988bf.tar.gz
gentoo-2-d32087e5b272ffd0ca4b17bd88a117530e8988bf.tar.bz2
gentoo-2-d32087e5b272ffd0ca4b17bd88a117530e8988bf.zip
Initial commit wrt bug #442978. Package will be maintained by Mikle Kolyada through proxy maintainers
(Portage version: 2.2.0_alpha142/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'dev-libs/fddl')
-rw-r--r--dev-libs/fddl/ChangeLog11
-rw-r--r--dev-libs/fddl/fddl-20111124.ebuild38
-rw-r--r--dev-libs/fddl/metadata.xml15
3 files changed, 64 insertions, 0 deletions
diff --git a/dev-libs/fddl/ChangeLog b/dev-libs/fddl/ChangeLog
new file mode 100644
index 000000000000..077dad6b8cf8
--- /dev/null
+++ b/dev-libs/fddl/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for dev-libs/fddl
+# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/fddl/ChangeLog,v 1.1 2012/11/15 18:02:52 pinkbyte Exp $
+
+*fddl-20111124 (15 Nov 2012)
+
+ 15 Nov 2012; Sergey Popov <pinkbyte@gentoo.org> +fddl-20111124.ebuild,
+ +metadata.xml:
+ Initial commit wrt bug #442978. Package will be maintained by Mikle Kolyada
+ through proxy maintainers
+
diff --git a/dev-libs/fddl/fddl-20111124.ebuild b/dev-libs/fddl/fddl-20111124.ebuild
new file mode 100644
index 000000000000..e503a7b90601
--- /dev/null
+++ b/dev-libs/fddl/fddl-20111124.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-libs/fddl/fddl-20111124.ebuild,v 1.1 2012/11/15 18:02:52 pinkbyte Exp $
+
+EAPI=4
+
+CMAKE_IN_SOURCE_BUILD=1
+
+inherit cmake-utils vcs-snapshot
+
+DESCRIPTION="Free Decision Diagram Library"
+HOMEPAGE="http://itval.sourceforge.net/ https://github.com/atomopawn/FDDL"
+SRC_URI="http://dev.gentoo.org/~pinkbyte/distfiles/snapshots/${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+DOCS=( AUTHORS ChangeLog INSTALL RELEASE )
+
+src_prepare() {
+ # Remove references to files that were not shipped,
+ # prefer dynamic linking
+ sed -i src/CMakeLists.txt \
+ -e 's|unaryoperation.cpp||g' \
+ -e 's|unaryoperation.h||g' \
+ -e 's|binaryoperation.cpp||g' \
+ -e 's|binaryoperation.h||g' \
+ -e '/add_library/s/FDDL /FDDL SHARED /' \
+ || die
+ # Do not build tests that depend on above files
+ sed -i \
+ {,tests/}CMakeLists.txt \
+ -e '/test_unaryop/d' \
+ -e '/test_binaryop/d' \
+ || die
+}
diff --git a/dev-libs/fddl/metadata.xml b/dev-libs/fddl/metadata.xml
new file mode 100644
index 000000000000..a0f314b05cb2
--- /dev/null
+++ b/dev-libs/fddl/metadata.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <herd>proxy-maintainers</herd>
+ <maintainer>
+ <email>zlog.gentoo@gmail.com</email>
+ <name>Mikle Kolyada</name>
+ <description>Maintainer. Assign bugs to him</description>
+ </maintainer>
+ <maintainer>
+ <email>pinkbyte@gentoo.org</email>
+ <name>Sergey Popov</name>
+ <description>Proxy maintainer. CC him on bugs</description>
+ </maintainer>
+</pkgmetadata>