new package: GNU Prolog
authorGeorge Shapovalov <george@gentoo.org>
Sun, 27 Oct 2002 09:20:03 +0000 (09:20 +0000)
committerGeorge Shapovalov <george@gentoo.org>
Sun, 27 Oct 2002 09:20:03 +0000 (09:20 +0000)
dev-lang/gprolog/ChangeLog [new file with mode: 0644]
dev-lang/gprolog/files/digest-gprolog-1.2.13 [new file with mode: 0644]
dev-lang/gprolog/gprolog-1.2.13.ebuild [new file with mode: 0644]

diff --git a/dev-lang/gprolog/ChangeLog b/dev-lang/gprolog/ChangeLog
new file mode 100644 (file)
index 0000000..9adeca4
--- /dev/null
@@ -0,0 +1,13 @@
+# ChangeLog for dev-lang/gprologp
+# Copyright 2002 Gentoo Technologies, Inc.; Distributed under the GPL
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/gprolog/ChangeLog,v 1.1 2002/10/27 09:20:03 george Exp $
+
+*gprolog-1.2.13
+
+  26 Oct 2002; George Shapovalov <george@gentoo.org> gprolog-1.2.13.ebuild :
+
+  new package: GNU Prolog
+
+  ebuilod submitted by Rigo Ketelings <rigo@home.nl>
+  modified by me for FHS compatibility
+  
diff --git a/dev-lang/gprolog/files/digest-gprolog-1.2.13 b/dev-lang/gprolog/files/digest-gprolog-1.2.13
new file mode 100644 (file)
index 0000000..31d8168
--- /dev/null
@@ -0,0 +1 @@
+MD5 73d24d335dde554c94795b0c8269b877 gprolog-1.2.13.tar.gz 2470242
diff --git a/dev-lang/gprolog/gprolog-1.2.13.ebuild b/dev-lang/gprolog/gprolog-1.2.13.ebuild
new file mode 100644 (file)
index 0000000..c8d3cb8
--- /dev/null
@@ -0,0 +1,38 @@
+# Copyright 1999-2002 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/gprolog/gprolog-1.2.13.ebuild,v 1.1 2002/10/27 09:20:03 george Exp $
+
+DEPEND="virtual/glibc"
+
+DESCRIPTION="GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD)"
+HOMEPAGE="http://www.gnu.org"
+SRC_URI="mirror://gnu/${PN}/${P}.tar.gz"
+S=${WORKDIR}/${P}/src
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~x86"
+
+src_unpack() {
+       unpack ${A}
+       cd ${S}
+
+       mv Makefile.in Makefile.in.orig
+       sed -e "s/TXT_FILES /#TXT_FILES/" Makefile.in.orig > Makefile.in
+}
+
+src_compile() {
+       econf || die "./configure failed"
+       emake || die "make failed"
+}
+
+src_install() {
+       dodir /usr/bin
+       make INSTALL_DIR=${D}/usr \
+               LINKS_DIR="" \
+               DOC_DIR=/${D}/usr/share/doc/${P} \
+               HTML_DIR=${D}/usr/share/doc/${P}/html \
+               EXAMPLES_DIR=${D}/usr/share/${P}/examples install || die "install failed"
+       cd ${S}/..
+       dodoc ChangeLog COPYING INSTALL NEWS PROBLEMS README VERSION  
+}