# Copyright 1999-2004 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ DESCRIPTION="WASH/CGI is an EDSL for server-side Web scripting with Sessions, Compositional Forms, and Graphics" HOMEPAGE="http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/" SRC_URI="http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/${P}.tgz" LICENSE="BSD" SLOT="0" KEYWORDS="~x86" IUSE="doc" DEPEND=">=virtual/ghc-6.2" src_compile() { local ghc_version="`ghc --version | sed -e 's|[A-Za-z \t,]*||'`" addwrite /usr/lib/ghc-${ghc_version} ./configure \ --prefix=${D}/usr \ ${myopts} \ || die "./configure failed" make depend || die "Make depend failed" make all || die "Make all failed" } src_install() { local ghc_version="`ghc --version | sed -e 's|[A-Za-z \t,]*||'`" addwrite /usr/lib/ghc-${ghc_version} make install || die "make install failed" dodoc README if use doc; then cp -r Examples ${D}/usr/share/doc/${PF} cd doc dohtml -r * fi }