An ebuild for gprolog-1.2.13, the GNU prolog system

gprolog-1.2.13.ebuild (text/plain), 1.82 KB, created by Mark Fenner on 2002-06-17 14:29:17 UTC

# Copyright 1999-2002 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
# /space/gentoo/cvsroot/gentoo-x86/skel.ebuild,v 1.8 2002/05/30 01:54:49 sandymac Exp


DESCRIPTION="The GNU Prolog compiler with constraint solving"

HOMEPAGE="http://www.gnu.org/software/prolog/prolog.html"

LICENSE="GPL-2"

#
# Other than standard system tools, there aren't any (but I'm not sure whether
# the standard tools need to be included as "system" or some such
#
DEPEND=""
#RDEPEND=""

SRC_URI="ftp://ftp.gnu.org/gnu/gprolog/${P}.tar.gz"

pkg_setup (){
	echo ${D}
}

src_compile() {
	cd src/
	./configure \
		--host=${CHOST} \
		--with-install-dir='$(DESTDIR)'/usr \
		--without-links-dir \
		--with-doc-dir='$(DESTDIR)'/usr/share/doc/${P} \
		--with-examples-dir='$(DESTDIR)'/usr/share/${P}/examples \
		--infodir='$(DESTDIR)'/usr/share/info \
		--mandir='$(DESTDIR)'/usr/share/man || die "./configure failed"

	emake || die
}

src_install () {
	cd src/
	cp Makefile .Makefile.orig
	#sed -e "/for.*TXT_FILES/s:\$(INSTALL_DIR):\$(DESTDIR)/usr/share/${P}:p" .Makefile.orig >  Makefile
	sed -e "/for.*TXT_FILES/s:.*::p" .Makefile.orig > Makefile

	rm .Makefile.orig
	# 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}.
}