# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

EAPI=5

DESCRIPTION="A SAT (boolean satisfiability) solver"
HOMEPAGE="http://fmv.jku.at/lingeling/"
SRC_URI="http://fmv.jku.at/lingeling/lingeling-ala-b02aa1a-121013.tar.gz"
S=${WORKDIR}/lingeling-ala-b02aa1a-121013

LICENSE="GPL"
SLOT="0"
KEYWORDS="~x86 ~amd64"
IUSE=""

DEPEND=""
RDEPEND="${DEPEND}"

src_configure() {
	./configure || die
}

src_install() {
	dodoc NEWS VERSION
	dobin lingeling ilingeling plingeling
	dolib liblgl.a
	doheader lglib.h
}