summaryrefslogtreecommitdiff
path: root/dev-lang/gprolog
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-07-12 08:41:54 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-07-12 08:41:54 +0100
commit4df3bf9762850b34cd1ead5c80374d1a0fc3362e (patch)
tree3080c5cb7ad17abcb63776a9f21c4947845546a6 /dev-lang/gprolog
parent814f4cf860e299a046b649eaee5463427984c09c (diff)
gentoo resync : 12.07.2021
Diffstat (limited to 'dev-lang/gprolog')
-rw-r--r--dev-lang/gprolog/Manifest6
-rw-r--r--dev-lang/gprolog/files/gprolog-1.5.0-destdir.patch61
-rw-r--r--dev-lang/gprolog/files/gprolog-1.5.0-ldflags.patch104
-rw-r--r--dev-lang/gprolog/files/gprolog-1.5.0-links.patch15
-rw-r--r--dev-lang/gprolog/files/gprolog-1.5.0-llvm-as.patch38
-rw-r--r--dev-lang/gprolog/gprolog-1.5.0.ebuild86
6 files changed, 310 insertions, 0 deletions
diff --git a/dev-lang/gprolog/Manifest b/dev-lang/gprolog/Manifest
index 21d3bd5d66c3..989cd465a402 100644
--- a/dev-lang/gprolog/Manifest
+++ b/dev-lang/gprolog/Manifest
@@ -4,6 +4,12 @@ AUX gprolog-1.4.5-links.patch 488 BLAKE2B aa6c833c8f6d8a7bf6f2a30ef971efd4389035
AUX gprolog-1.4.5-llvm-as.patch 1507 BLAKE2B 37f727d2fb2b38045340715160f80dd00c2cc15b249ad6566ac50495f23992a455ea89b5a865a0d8b2385df2f89c8ad1eb77d59e0fbf484172c7af9870f38bb6 SHA512 a49e2d33a77dcb5c85284df462337cf9a93b4a35c61f6a1c84d1806575a87cf94f07de9cb9ed7e0dbff49dd7675b94f1cf2dd92c1c1406a3f36deb4b33faf27a
AUX gprolog-1.4.5-nodocs.patch 1117 BLAKE2B 15e65f72506a57dc7b1c549cb4f01c43e9d46f8a78c4a16309599b1db48d192e8aab933dc128ebcea957f77778a321f10d9233676356d52efc7c33e4ed658d13 SHA512 c4aa11081c8c85989e9947b3be25bc74a22456ecf5404b943e9985835319e7c33273bd2b30f003aad4cc3bc842b98069e647b8203a3c4f45f8cf2bed08af9afd
AUX gprolog-1.4.5-txt-file.patch 578 BLAKE2B 22f4803c19fc4e8266065e457e711df2885d8539325f02bc426d1a351163e3dcf6f339e3f1bb2586e807ebd41b237f7e4f1ca9a139bd3fa71c76db5684c9d37d SHA512 e0cb7ed9c6dd8a394898086335312556ffa313e18dba9c281bcc45749ef9b297f0ec3cfddfd197524be55315c79cf89f370a04f0d6b10a0e95ac6a59ca92fc67
+AUX gprolog-1.5.0-destdir.patch 1978 BLAKE2B 25bd568703caeebd0cb4183ab3df6b60b276cbe3f0f63160f6ae4666e5c49d8da943996be2f8bcc3a89f657437dbf50aea9bc16930145dc19fea93a97c777e39 SHA512 aa35aa8f06206d3ad698265a312f307cca5835ae23ce7d42222f4edf9831dfac85a198980e4bd4aa84c5c1965bc949de89ee87bbc08ac4bfe5cb626099c8b1d7
+AUX gprolog-1.5.0-ldflags.patch 3961 BLAKE2B 0571c24bbe50a39b901f0ac6d2167b3a6a12670698310c7ecdbb47588f3a214570a5cd71f03d26c21e2426e61d9c59d9b92dca45c08695a2912eb25368f9a6b2 SHA512 7c405d9027ad7d78558059e27ddce8820b7f0adf5f3d8ebbc200e0ccc0ada000b611c2d17a31dc489b2d0c4b3d3686ddf966fb2ffc14e1dddc2ce82c61660833
+AUX gprolog-1.5.0-links.patch 498 BLAKE2B fe9e3870948b7474e311f790726fafc0d7ef450cb72d4031ced12154359c835632dc1c993790c90ca3670cebb4d5fb70e794cd75ec37be9ef8ce560a894dd87c SHA512 23660bc293a922ef53f1c6102ac63e05543a091852d5be7e8706a533f73a5979a4cec385ab0fe5ee55b7cb2c08f2e9c3dc74b5cf9c07eca71ffe55dfe5ba2696
+AUX gprolog-1.5.0-llvm-as.patch 1507 BLAKE2B 658033e193191722236e2b67b99ac045c27a9dea0f184b1f15782215cb9ac33580dfb9e4ae99935b4e45504504696b4cd5b5b3ade6adbcf568f0ee6975afe191 SHA512 553a4a88e7e1a7c70d8be672c5c2f36e8dc7bd1780910917652158265a3014bb092dc666a5168eed427cc0ad18299c7743b434822516c12791b8c4028cb61724
DIST gprolog-1.4.5.tar.gz 3587361 BLAKE2B c0c73ce249d7c26b914a3f831c6ac93aeb884bded6c5ebbe51223f0685de0be2e746533aade1633a953b93e88a30796fa52ecd5e609d05bc051363cbf34e0477 SHA512 425103bc9e5bdbdb4ae331f5be0cf49524fbdb4f5e2809fb973360de9e7ad9935c1b28f3603e0be696a647153d9f0d3dacdc87251098ac99faf7d0b3c652fc60
+DIST gprolog-1.5.0.tar.gz 3813899 BLAKE2B e1d82393f122f37b1e139732c1b954b8a407feac4973b56c2e39dcf907424acca67bd10ea0e833ebbd6764a47b075911a29e05b51c37d3751a5d5fc751a08789 SHA512 7ef1a3555ffa58d3fb0db2b55ffc1d00868021f0f9f3d63dd1f43b5b833e6e00ecc74abfc0573828a3d53f20c134dffaf7fe79ab21b3e16dccfca8c73b5dfb8d
EBUILD gprolog-1.4.5.ebuild 1951 BLAKE2B 37e23a1c8d7d01cc21a04940861b13fb0c2963e66eefa912f486fbcccfb61c05aaafb9890cbc95986df3eb1b6b7b3eb8a7d2830f823bdb30f942754845d35b15 SHA512 d1da561b82d64df5a25cdcc5b6762ce5dcb44c8cc7ad842639656b033faeaf3b94e26f0421f54552dd3d758706b170eae71eaef79bf5c81c02453ebace21297e
+EBUILD gprolog-1.5.0.ebuild 1861 BLAKE2B 542a5cf8c64292d4dfc850eecc41b7321bdb5223578d5ea29a434b63aa0178565061e0be3830f0e45bf6aa314319a92648a4c2ec3733fdfeb13a277ceeef6b98 SHA512 e0b10cff0cfe6f84daafb35d8fba8e74e2e1ebf1e017acec4a31e78e234c5566ec062e4b3d4cecccb89f356c9c7bff840833318a6adfd49e1f731b67ebb59ef2
MISC metadata.xml 236 BLAKE2B 665f3de6dc90f46a18379b3416063a49b1a79ddd7ef89eaed9be78f9adc5b234e9693cd31d6cf2d3477fc7dc00055492bef7de78da6c901c4a6e55eb0e781325 SHA512 e776224736bd575412c7b5b799f649c6b2947a70e6a9aea580063d9da7d09a8144e5ebaf7ac3ef131d578486cf05dec814dce11b2aeb884cded3be3cab70fcec
diff --git a/dev-lang/gprolog/files/gprolog-1.5.0-destdir.patch b/dev-lang/gprolog/files/gprolog-1.5.0-destdir.patch
new file mode 100644
index 000000000000..86719e1bdcb4
--- /dev/null
+++ b/dev-lang/gprolog/files/gprolog-1.5.0-destdir.patch
@@ -0,0 +1,61 @@
+--- gprolog-1.5.0.orig/src/Makefile.in 2021-07-07 16:06:16.000000000 -0000
++++ gprolog-1.5.0/src/Makefile.in 2021-07-10 12:49:40.967172260 -0000
+@@ -85,13 +85,13 @@
+ # --- Links --- #
+
+ install-links: install-system uninstall-links
+- if test $(LINKS_DIR) != none; then \
++ if test @LINKS_DIR@ != none; then \
+ ./mkinstalldirs $(LINKS_DIR); \
+ (cd $(LINKS_DIR) ; $(LN_S) $(wildcard $(INSTALL_DIR)/bin/*) .); \
+ fi
+
+ uninstall-links:
+- -if test $(LINKS_DIR) != none; then \
++ -if test @LINKS_DIR@ != none; then \
+ (cd $(LINKS_DIR) 2>/dev/null && rm -f $(BIN_FILES)); \
+ rmdir $(LINKS_DIR) 2>/dev/null; \
+ fi || exit 0;
+@@ -100,14 +100,14 @@
+ # --- Documentation --- #
+
+ install-doc:
+- if test $(DOC_DIR) != none; then \
++ if test @DOC_DIR@ != none; then \
+ ./mkinstalldirs $(DOC_DIR); \
+ (F=`cd ../doc; echo $(DOC_FILES)`; \
+ for i in $$F; do $(INSTALL_DATA) ../doc/$$i $(DOC_DIR); done); \
+ fi
+
+ uninstall-doc:
+- -if test $(DOC_DIR) != none; then \
++ -if test @DOC_DIR@ != none; then \
+ (cd $(DOC_DIR); rm -f $(DOC_FILES)); \
+ rmdir $(DOC_DIR) 2>/dev/null; \
+ fi || exit 0;
+@@ -116,14 +116,14 @@
+ # --- HTML --- #
+
+ install-html:
+- if test $(HTML_DIR) != none; then \
++ if test @HTML_DIR@ != none; then \
+ ./mkinstalldirs $(HTML_DIR); \
+ (F=`cd ../doc/html_node; echo $(HTML_FILES)`; \
+ for i in $$F; do $(INSTALL_DATA) ../doc/html_node/$$i $(HTML_DIR); done); \
+ fi
+
+ uninstall-html:
+- -if test $(HTML_DIR) != none; then \
++ -if test @HTML_DIR@ != none; then \
+ (cd $(HTML_DIR); rm -f $(HTML_FILES)); \
+ rmdir $(HTML_DIR) 2>/dev/null; \
+ fi || exit 0;
+@@ -132,7 +132,7 @@
+ # --- Examples --- #
+
+ install-examples:
+- if test $(EXAMPLES_DIR) != none; then \
++ if test @EXAMPLES_DIR@ != none; then \
+ ./mkinstalldirs $(EXAMPLES_DIR)/ExamplesPl; \
+ (F=`cd ../examples/ExamplesPl; echo $(EXPL_FILES)`; \
+ for i in $$F; do $(INSTALL_DATA) ../examples/ExamplesPl/$$i $(EXAMPLES_DIR)/ExamplesPl; done); \
diff --git a/dev-lang/gprolog/files/gprolog-1.5.0-ldflags.patch b/dev-lang/gprolog/files/gprolog-1.5.0-ldflags.patch
new file mode 100644
index 000000000000..5d53a69a657b
--- /dev/null
+++ b/dev-lang/gprolog/files/gprolog-1.5.0-ldflags.patch
@@ -0,0 +1,104 @@
+diff -ur gprolog-1.5.0.orig/src/EnginePl/Makefile.in gprolog-1.5.0/src/EnginePl/Makefile.in
+--- gprolog-1.5.0.orig/src/EnginePl/Makefile.in 2021-07-10 10:13:23.046564472 -0000
++++ gprolog-1.5.0/src/EnginePl/Makefile.in 2021-07-10 10:41:59.585492681 -0000
+@@ -2,6 +2,7 @@
+ GPLC = @GPLC@
+ CC = @CC@ @CFLAGS_MACHINE@
+ CFLAGS = @CFLAGS@
++LDFLAGS = @LDFLAGS@
+ AR_RC = @AR_RC@
+ RANLIB = @RANLIB@
+
+@@ -35,7 +36,7 @@
+ config: pl_config@EXE_SUFFIX@ wam_regs.h
+
+ pl_config@EXE_SUFFIX@: pl_config.c gp_config.h machine.h stacks_sigsegv.h wam_archi.def
+- $(CC) $(CFLAGS) $(LFLAGS) @CC_EXE_NAME_OPT@pl_config@EXE_SUFFIX@ pl_config.c
++ $(CC) $(CFLAGS) $(LDFLAGS) @CC_EXE_NAME_OPT@pl_config@EXE_SUFFIX@ pl_config.c
+
+
+ wam_regs.h: pl_config@EXE_SUFFIX@ machine.h stacks_sigsegv.h wam_archi.def
+@@ -49,10 +50,10 @@
+
+
+ cpp_headers@EXE_SUFFIX@: cpp_headers.c
+- $(CC) $(CFLAGS) $(LFLAGS) @CC_EXE_NAME_OPT@cpp_headers@EXE_SUFFIX@ cpp_headers.c
++ $(CC) $(CFLAGS) $(LDFLAGS) @CC_EXE_NAME_OPT@cpp_headers@EXE_SUFFIX@ cpp_headers.c
+
+ try_sigaction@EXE_SUFFIX@: try_sigaction.c
+- $(CC) $(CFLAGS) $(LFLAGS) @CC_EXE_NAME_OPT@try_sigaction@EXE_SUFFIX@ try_sigaction.c
++ $(CC) $(CFLAGS) $(LDFLAGS) @CC_EXE_NAME_OPT@try_sigaction@EXE_SUFFIX@ try_sigaction.c
+
+
+
+diff -ur gprolog-1.5.0.orig/src/Ma2Asm/Makefile.in gprolog-1.5.0/src/Ma2Asm/Makefile.in
+--- gprolog-1.5.0.orig/src/Ma2Asm/Makefile.in 2021-07-07 10:13:02.000000000 -0000
++++ gprolog-1.5.0/src/Ma2Asm/Makefile.in 2021-07-10 10:40:22.683496734 -0000
+@@ -1,7 +1,8 @@
+-GPLC = @GPLC@
+-CC = @CC@ @CFLAGS_MACHINE@
+-CFLAGS = @CFLAGS@
+-LDLIBS = @LDLIBS@
++GPLC = @GPLC@
++CC = @CC@ @CFLAGS_MACHINE@
++CFLAGS = @CFLAGS@
++LDFLAGS = @LDFLAGS@
++LDLIBS = @LDLIBS@
+
+ # set by mappers.sh
+ FORCE_MAP =
+@@ -25,7 +26,7 @@
+
+ ma2asm@EXE_SUFFIX@: ma2asm@OBJ_SUFFIX@ ma_parser@OBJ_SUFFIX@ \
+ ma2asm_inst@OBJ_SUFFIX@ ma2asm_inst.c
+- $(CC) $(CFLAGS) @CC_EXE_NAME_OPT@ma2asm@EXE_SUFFIX@ ma2asm@OBJ_SUFFIX@ ma2asm_inst@OBJ_SUFFIX@ ma_parser@OBJ_SUFFIX@
++ $(CC) $(LDFLAGS) @CC_EXE_NAME_OPT@ma2asm@EXE_SUFFIX@ ma2asm@OBJ_SUFFIX@ ma2asm_inst@OBJ_SUFFIX@ ma_parser@OBJ_SUFFIX@
+
+
+ clean:
+diff -ur gprolog-1.5.0.orig/src/TopComp/Makefile.in gprolog-1.5.0/src/TopComp/Makefile.in
+--- gprolog-1.5.0.orig/src/TopComp/Makefile.in 2021-07-07 10:13:02.000000000 -0000
++++ gprolog-1.5.0/src/TopComp/Makefile.in 2021-07-10 10:41:31.081493873 -0000
+@@ -4,7 +4,7 @@
+ CFLAGS = @CFLAGS@
+ HEXGPLC = @HEXGPLC@
+ CC = @CC@ @CFLAGS_MACHINE@
+-CFLAGS = @CFLAGS@
++LDFLAGS = @LDFLAGS@
+ LDLIBS = @LDLIBS@
+ TOP_LEVEL_LIBS = @TOP_LEVEL_LIBS@
+
+@@ -24,10 +24,10 @@
+
+ $(GPLC)@EXE_SUFFIX@: top_comp.c copying.c ../EnginePl/wam_regs.h \
+ ../EnginePl/gp_config.h ../EnginePl/machine1.c decode_hexa.c copying.c prolog_path.c
+- $(CC) $(CFLAGS) @CC_EXE_NAME_OPT@$(GPLC)@EXE_SUFFIX@ top_comp.c $(LDLIBS)
++ $(CC) $(CFLAGS) $(LDFLAGS) @CC_EXE_NAME_OPT@$(GPLC)@EXE_SUFFIX@ top_comp.c $(LDLIBS)
+
+ $(HEXGPLC)@EXE_SUFFIX@: hexfilter.c decode_hexa.c
+- $(CC) $(CFLAGS) @CC_EXE_NAME_OPT@$(HEXGPLC)@EXE_SUFFIX@ hexfilter.c
++ $(CC) $(CFLAGS) $(LDFLAGS) @CC_EXE_NAME_OPT@$(HEXGPLC)@EXE_SUFFIX@ hexfilter.c
+
+
+
+diff -ur gprolog-1.5.0.orig/src/Wam2Ma/Makefile.in gprolog-1.5.0/src/Wam2Ma/Makefile.in
+--- gprolog-1.5.0.orig/src/Wam2Ma/Makefile.in 2021-05-03 13:55:34.000000000 -0000
++++ gprolog-1.5.0/src/Wam2Ma/Makefile.in 2021-07-10 10:40:30.134496422 -0000
+@@ -1,5 +1,6 @@
+-CC = @CC@ @CFLAGS_MACHINE@
+-CFLAGS = @CFLAGS@
++CC = @CC@ @CFLAGS_MACHINE@
++CFLAGS = @CFLAGS@
++LDFLAGS = @LDFLAGS@
+
+
+ all: wam2ma@EXE_SUFFIX@
+@@ -12,7 +13,7 @@
+ $(CC) $(CFLAGS) -c wam2ma.c
+
+ wam2ma@EXE_SUFFIX@: wam2ma@OBJ_SUFFIX@ wam_parser@OBJ_SUFFIX@
+- $(CC) $(CFLAGS) @CC_EXE_NAME_OPT@wam2ma@EXE_SUFFIX@ wam2ma@OBJ_SUFFIX@ wam_parser@OBJ_SUFFIX@
++ $(CC) $(LDFLAGS) @CC_EXE_NAME_OPT@wam2ma@EXE_SUFFIX@ wam2ma@OBJ_SUFFIX@ wam_parser@OBJ_SUFFIX@
+
+
+ clean:
diff --git a/dev-lang/gprolog/files/gprolog-1.5.0-links.patch b/dev-lang/gprolog/files/gprolog-1.5.0-links.patch
new file mode 100644
index 000000000000..e1f673156e46
--- /dev/null
+++ b/dev-lang/gprolog/files/gprolog-1.5.0-links.patch
@@ -0,0 +1,15 @@
+--- gprolog-1.5.0.orig/src/Makefile.in 2021-07-07 16:06:16.000000000 -0000
++++ gprolog-1.5.0/src/Makefile.in 2021-07-10 11:30:29.130370996 -0000
+@@ -84,10 +84,10 @@
+
+ # --- Links --- #
+
+-install-links: uninstall-links
++install-links: install-system uninstall-links
+ if test $(LINKS_DIR) != none; then \
+ ./mkinstalldirs $(LINKS_DIR); \
+- (cd $(LINKS_DIR) ; $(LN_S) $(INSTALL_DIR)/bin/* .); \
++ (cd $(LINKS_DIR) ; $(LN_S) $(wildcard $(INSTALL_DIR)/bin/*) .); \
+ fi
+
+ uninstall-links:
diff --git a/dev-lang/gprolog/files/gprolog-1.5.0-llvm-as.patch b/dev-lang/gprolog/files/gprolog-1.5.0-llvm-as.patch
new file mode 100644
index 000000000000..f3fa81ce13e8
--- /dev/null
+++ b/dev-lang/gprolog/files/gprolog-1.5.0-llvm-as.patch
@@ -0,0 +1,38 @@
+--- gprolog-1.5.0.orig/src/configure.in 2021-07-08 09:34:44.000000000 -0000
++++ gprolog-1.5.0/src/configure.in 2021-07-10 16:25:44.397630093 -0000
+@@ -342,15 +342,26 @@
+ dnl we use AS0 instead of AS else AC_CHECK_TOOL does not work
+ dnl (instead of testing a prefix like x86_64-w64-mingw32- it will
+ dnl think the user wants to override the test)
+- AS0=as
+- case "$host" in
+- sparc64*bsd*) ASFLAGS='-Av9a -64 -K PIC';;
+- i*86*darwin1*) ASFLAGS='-arch i686';;
+- i*86*linux*) ASFLAGS='--32';;
+- x86_64*solaris*) AS0=gas; ASFLAGS='--64';;
+- x86_64*darwin*) ASFLAGS='-arch x86_64';;
+- x86_64*linux*) ASFLAGS='--64';;
+- *) if test "$with_gas" = yes; then AS0=gas; fi;;
++ case "$CC" in
++ *cc)
++ AS0=as
++ case "$host" in
++ sparc64*bsd*) ASFLAGS='-Av9a -64 -K PIC';;
++ i*86*darwin1*) ASFLAGS='-arch i686';;
++ i*86*linux*) ASFLAGS='--32';;
++ x86_64*solaris*) AS0=gas; ASFLAGS='--64';;
++ x86_64*darwin*) ASFLAGS='-arch x86_64';;
++ x86_64*linux*) ASFLAGS='--64';;
++ *) if test "$with_gas" = yes; then AS0=gas; fi;;
++ esac
++ ;;
++ *clang)
++ AS0=$CC
++ ASFLAGS='-c'
++ ;;
++ *)
++ AC_MSG_ERROR([unsupported compiler $CC])
++ ;;
+ esac
+ AC_CHECK_TOOL([AS],[$AS0])
+ AC_PROG_RANLIB
diff --git a/dev-lang/gprolog/gprolog-1.5.0.ebuild b/dev-lang/gprolog/gprolog-1.5.0.ebuild
new file mode 100644
index 000000000000..ea8d01941916
--- /dev/null
+++ b/dev-lang/gprolog/gprolog-1.5.0.ebuild
@@ -0,0 +1,86 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit autotools flag-o-matic toolchain-funcs
+
+DESCRIPTION="A native Prolog compiler with constraint solving over finite domains (FD)"
+HOMEPAGE="http://www.gprolog.org/"
+SRC_URI="http://www.gprolog.org/${P}.tar.gz"
+S="${WORKDIR}"/${P}
+
+LICENSE="|| ( GPL-2+ LGPL-3+ )"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
+IUSE="debug doc examples"
+
+PATCHES=(
+ "${FILESDIR}"/${P}-ldflags.patch
+ "${FILESDIR}"/${P}-links.patch
+ "${FILESDIR}"/${P}-destdir.patch
+ "${FILESDIR}"/${P}-llvm-as.patch
+)
+
+src_prepare() {
+ default
+
+ cd "${S}"/src
+ eautoconf
+}
+
+src_configure() {
+ CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
+
+ use debug && append-flags -DDEBUG
+
+ if tc-enables-pie; then
+ # gplc generates its own native ASM; disable PIE
+ append-ldflags -no-pie
+ fi
+
+ if tc-is-gcc && ! use x86; then
+ gprolog_use_regs=yes
+ else
+ gprolog_use_regs=no
+ fi
+
+ if tc-is-clang; then
+ AS=$(tc-getCC)
+ else
+ AS=$(tc-getAS)
+ fi
+
+ cd "${S}"/src || die
+ econf \
+ AS="${AS}" \
+ CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
+ --with-c-flags="${CFLAGS}" \
+ --with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P} \
+ --with-links-dir="${EPREFIX}"/usr/bin \
+ --enable-regs=${gprolog_use_regs} \
+ $(use_with doc doc-dir "${EPREFIX}"/usr/share/doc/${PF}) \
+ $(use_with doc html-dir "${EPREFIX}"/usr/share/doc/${PF}/html) \
+ $(use_with examples examples-dir "${EPREFIX}"/usr/share/doc/${PF}/examples)
+}
+
+src_compile() {
+ cd "${S}"/src || die
+
+ # gprolog is compiled using gplc which cannot be run in parallel
+ emake -j1
+}
+
+src_test() {
+ cd "${S}"/src || die
+
+ emake -j1 check
+}
+
+src_install() {
+ cd "${S}"/src || die
+ emake DESTDIR="${D}" TXT_FILES= install
+
+ cd "${S}" || die
+ dodoc ChangeLog NEWS PROBLEMS README
+}