sci-mathematics/lingeling/lingeling-1212013.ebuild

   1 # Copyright 1999-2013 Gentoo Foundation
   2 # Distributed under the terms of the GNU General Public License v2
   3 # $Header: $
   4
   5 EAPI=5
   6
   7 DESCRIPTION="A SAT (boolean satisfiability) solver"
   8 HOMEPAGE="http://fmv.jku.at/lingeling/"
   9 SRC_URI="http://fmv.jku.at/lingeling/lingeling-ala-b02aa1a-121013.tar.gz"
  10 S=${WORKDIR}/lingeling-ala-b02aa1a-121013
  11
  12 LICENSE="GPL"
  13 SLOT="0"
  14 KEYWORDS="~x86 ~amd64"
  15 IUSE=""
  16
  17 DEPEND=""
  18 RDEPEND="${DEPEND}"
  19
  20 src_configure() {
  21         ./configure || die
  22 }
  23
  24 src_install() {
  25         dodoc NEWS VERSION
  26         dobin lingeling ilingeling plingeling
  27         dolib liblgl.a
  28         doheader lglib.h
  29 }