summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-libs/fddl')
-rw-r--r--dev-libs/fddl/Manifest1
-rw-r--r--dev-libs/fddl/fddl-20111124.ebuild40
-rw-r--r--dev-libs/fddl/metadata.xml15
3 files changed, 56 insertions, 0 deletions
diff --git a/dev-libs/fddl/Manifest b/dev-libs/fddl/Manifest
new file mode 100644
index 000000000000..c769d045cf48
--- /dev/null
+++ b/dev-libs/fddl/Manifest
@@ -0,0 +1 @@
+DIST fddl-20111124.tar.gz 29608 SHA256 14e0493b1be6bf7381e20eb8c727d7f75ca3c04c68784a54450f438876f2d06a SHA512 d9c4f3f4e10b92ffc158a8cd24726ac6f95050256178a17b6d11aefd4b5786452b17ee96e4d4f4762d07c372c248aba1f22cbe2c03cd6b0f709aeeb4d15a0266 WHIRLPOOL ad8ef11313a0613ba012684412abd0e20a3bb40dd20078d6dd592df3e1449d532d816413a08e66e6e13c925d100697c6cc730a91718d580fdc1805afb4f63fae
diff --git a/dev-libs/fddl/fddl-20111124.ebuild b/dev-libs/fddl/fddl-20111124.ebuild
new file mode 100644
index 000000000000..44d86ea8f49b
--- /dev/null
+++ b/dev-libs/fddl/fddl-20111124.ebuild
@@ -0,0 +1,40 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=4
+
+CMAKE_IN_SOURCE_BUILD=1
+
+inherit cmake-utils multilib 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 \
+ -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 /' \
+ -e '/add_library/s/FDDL /FDDL SHARED /' \
+ -e "/^install/s:DESTINATION lib:DESTINATION $(get_libdir):" \
+ src/CMakeLists.txt || 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..ecd1b88184a1
--- /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>
+ <maintainer>
+ <email>zlogene@gentoo.org</email>
+ <name>Mikle Kolyada</name>
+ </maintainer>
+ <maintainer>
+ <email>pinkbyte@gentoo.org</email>
+ <name>Sergey Popov</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">atomopawn/FDDL</remote-id>
+ </upstream>
+</pkgmetadata>