# Copyright 1999-2003 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
# $Header: $

DESCRIPTION="detection of spam by statistical analysis of e-mail contents"
HOMEPAGE="http://cristal.inria.fr/~xleroy/software.html"

SRC_URI="http://cristal.inria.fr/~xleroy/software/${P}.tar.gz"
LICENSE="gpl"

SLOT="0"

KEYWORDS="~x86"

IUSE=""

DEPEND=">=dev-lang/ocaml-3.06"

S=${WORKDIR}/${P}

src_unpack() {
	unpack ${A}

	epatch ${FILESDIR}/${P}-Makefile.patch

	sed -e "s#%%BINDIR%%#${D}/usr/bin#" ${P}/Makefile > ${P}/Makefile1
	sed -e "s#%%MANDIR%%#${D}/usr/man#" ${P}/Makefile1 > ${P}/Makefile2
	cp ${P}/Makefile2 ${P}/Makefile
	rm ${P}/Makefile1 ${P}/Makefile2
	
}

src_compile() {
	emake || die
}

src_install() {
	# You must *personally verify* that this trick doesn't install
	# anything outside of DESTDIR; do this by reading and
	# understanding the install part of the Makefiles.
	make DESTDIR=${D} install || die
	# For Makefiles that don't make proper use of DESTDIR, setting
	# prefix is often an alternative.  However if you do this, then
	# you also need to specify mandir and infodir, since they were
	# passed to ./configure as absolute paths (overriding the prefix
	# setting).
	#make \
	#	prefix=${D}/usr \
	#	mandir=${D}/usr/share/man \
	#	infodir=${D}/usr/share/info \
	#	install || die
	# Again, verify the Makefiles!  We don't want anything falling
	# outside of ${D}.

	# The portage shortcut to the above command is simply:
	#
	#einstall || die
	# Note that einstall will die on failure, but please use einstall || die
	# for consistency.
}