summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2006-03-25 02:04:10 +0000
committerKeri Harris <keri@gentoo.org>2006-03-25 02:04:10 +0000
commit09f8b9a0ee82321508c59f44a58db5bdce9dd402 (patch)
tree02ad570e21552d394402ca1f5dce212576f8c9a6 /dev-lang/qu-prolog
parentMark 3.4.3 stable on ia64 (diff)
downloadhistorical-09f8b9a0ee82321508c59f44a58db5bdce9dd402.tar.gz
historical-09f8b9a0ee82321508c59f44a58db5bdce9dd402.tar.bz2
historical-09f8b9a0ee82321508c59f44a58db5bdce9dd402.zip
Initial import.
Package-Manager: portage-2.1_pre6-r5
Diffstat (limited to 'dev-lang/qu-prolog')
-rw-r--r--dev-lang/qu-prolog/ChangeLog11
-rw-r--r--dev-lang/qu-prolog/Manifest21
-rw-r--r--dev-lang/qu-prolog/files/digest-qu-prolog-7.13
-rw-r--r--dev-lang/qu-prolog/files/qu-prolog-7.1-CXXFLAGS.patch11
-rw-r--r--dev-lang/qu-prolog/files/qu-prolog-7.1-gcc4.patch56
-rw-r--r--dev-lang/qu-prolog/files/qu-prolog-7.1-portage.patch206
-rw-r--r--dev-lang/qu-prolog/metadata.xml5
-rw-r--r--dev-lang/qu-prolog/qu-prolog-7.1.ebuild80
8 files changed, 393 insertions, 0 deletions
diff --git a/dev-lang/qu-prolog/ChangeLog b/dev-lang/qu-prolog/ChangeLog
new file mode 100644
index 000000000000..fc7d3fa21948
--- /dev/null
+++ b/dev-lang/qu-prolog/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for dev-lang/qu-prolog
+# Copyright 1999-2006 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/ChangeLog,v 1.1 2006/03/25 02:04:10 keri Exp $
+
+*qu-prolog-7.1 (25 Mar 2006)
+
+ 25 Mar 2006; Keri Harris <keri@gentoo.org>
+ +files/qu-prolog-7.1-CXXFLAGS.patch, +files/qu-prolog-7.1-gcc4.patch,
+ +files/qu-prolog-7.1-portage.patch, +metadata.xml, +qu-prolog-7.1.ebuild:
+ Initial import.
+
diff --git a/dev-lang/qu-prolog/Manifest b/dev-lang/qu-prolog/Manifest
new file mode 100644
index 000000000000..00aba77258c3
--- /dev/null
+++ b/dev-lang/qu-prolog/Manifest
@@ -0,0 +1,21 @@
+MD5 514a97623be322ec37be2e9a96e3cbc4 ChangeLog 449
+RMD160 0fb1dfbd6f960e43ce7d293bdd30c6f06be295df ChangeLog 449
+SHA256 487c692d4bbfa69dd2912dc5386c64fb5a918c5b189f782583d0b29e9edcf162 ChangeLog 449
+MD5 05a4225ab8e0f8aa21af3fe4cdb0c96a files/digest-qu-prolog-7.1 220
+RMD160 39dcab7028e8943388af721d0af5817c81f86389 files/digest-qu-prolog-7.1 220
+SHA256 de55cf44cf2fb373bfb2820ec506998c4f596d3b82841abf5f2fef90456e69c9 files/digest-qu-prolog-7.1 220
+MD5 be56d881282df2bd90fc7468e1478996 files/qu-prolog-7.1-CXXFLAGS.patch 572
+RMD160 ccd8ac7d2cbfa98a83649ad8c837192b95711a48 files/qu-prolog-7.1-CXXFLAGS.patch 572
+SHA256 1a45b93b41f40ac8225aec3251941afe3730b76f37c91ffc4766cd9f15436548 files/qu-prolog-7.1-CXXFLAGS.patch 572
+MD5 f3acfd20468c42f314695b424dcede27 files/qu-prolog-7.1-gcc4.patch 1638
+RMD160 a28513acb12a846a99905c4e54b9009e43fefda1 files/qu-prolog-7.1-gcc4.patch 1638
+SHA256 da7c3b17f389fde4bdf92ea67102214c5f2d13b4cacbea33f55976c0bf5d19e1 files/qu-prolog-7.1-gcc4.patch 1638
+MD5 513758ac5d92f151b90a9de3c1850d7a files/qu-prolog-7.1-portage.patch 5627
+RMD160 4e2ecc7b39e9961c8a35f53d9e34886f837f4972 files/qu-prolog-7.1-portage.patch 5627
+SHA256 60e05453e77db7427e8745bbe201ad6b725bc486e825fcbdfdb90b3fcb3052c8 files/qu-prolog-7.1-portage.patch 5627
+MD5 9187f53634e60ab7eb2ac7e98b0b19f7 metadata.xml 159
+RMD160 38d27fd1c5faabedefa5507dfd83cb4c952fbc8c metadata.xml 159
+SHA256 851bf218a4283a1d8ea6ef98af0119a40eaa78bfaaec49c2f3440437f52889ba metadata.xml 159
+MD5 6668b4ce9fe9c34167dfbe64ef60a586 qu-prolog-7.1.ebuild 1778
+RMD160 23ba94f8d5ad5f21360661c8341ced91e089a0ec qu-prolog-7.1.ebuild 1778
+SHA256 cc9bac47f129f5e1968771e3e37aa5929b7a6daaf74f810c9cd6ef69add90a9f qu-prolog-7.1.ebuild 1778
diff --git a/dev-lang/qu-prolog/files/digest-qu-prolog-7.1 b/dev-lang/qu-prolog/files/digest-qu-prolog-7.1
new file mode 100644
index 000000000000..a0aafce8dadd
--- /dev/null
+++ b/dev-lang/qu-prolog/files/digest-qu-prolog-7.1
@@ -0,0 +1,3 @@
+MD5 aa2309432d08385af6a39a457c30bc63 qp7.1.tar.gz 1275135
+RMD160 7fe112ea31f9d7675dcffd67219a4fad7a2bf82a qp7.1.tar.gz 1275135
+SHA256 9fee14ca3284f466c502437f4050f3def1390304644a020c1fe12bf809c523cb qp7.1.tar.gz 1275135
diff --git a/dev-lang/qu-prolog/files/qu-prolog-7.1-CXXFLAGS.patch b/dev-lang/qu-prolog/files/qu-prolog-7.1-CXXFLAGS.patch
new file mode 100644
index 000000000000..fe7bf29dab63
--- /dev/null
+++ b/dev-lang/qu-prolog/files/qu-prolog-7.1-CXXFLAGS.patch
@@ -0,0 +1,11 @@
+--- qp7.0.orig/src/Makefile.in 2005-11-27 12:44:23.000000000 +1300
++++ qp7.0/src/Makefile.in 2006-01-30 22:10:21.000000000 +1300
+@@ -40,7 +40,7 @@
+
+ export DEBUGGING=
+
+-export CXXFLAGS = @GCC_ALIAS_FLAG@ -Wall -D_GNU_SOURCE=1 $(OPTIMISATION) $(DEBUGGING) -I@ICMHOME@/include @GCCINCLUDES@ -Wno-uninitialized
++export QPCXXFLAGS = @GCC_ALIAS_FLAG@ -Wall -D_GNU_SOURCE=1 $(CXXFLAGS) $(DEBUGGING) -I@ICMHOME@/include @GCCINCLUDES@ -Wno-uninitialized
+ export QACXXFLAGS = -Wall -D_GNU_SOURCE=1 $(DEBUGGING) -I@ICMHOME@/include @GCCINCLUDES@ -Wno-uninitialized
+
+ .PHONY: all
diff --git a/dev-lang/qu-prolog/files/qu-prolog-7.1-gcc4.patch b/dev-lang/qu-prolog/files/qu-prolog-7.1-gcc4.patch
new file mode 100644
index 000000000000..32eff67664a5
--- /dev/null
+++ b/dev-lang/qu-prolog/files/qu-prolog-7.1-gcc4.patch
@@ -0,0 +1,56 @@
+--- qp7.1.orig/src/bind.h 2005-11-27 12:43:57.000000000 +1300
++++ qp7.1/src/bind.h 2006-02-04 13:34:58.000000000 +1300
+@@ -113,7 +113,7 @@
+ //
+ // Update and trail an implicit parameter entry
+ //
+-inline void Thread::updateAndTrailIP(heapobject* ptr, Object* value,
++inline void updateAndTrailIP(heapobject* ptr, Object* value,
+ u_int offset = 0)
+ {
+ assert(ptr != NULL);
+--- qp7.1.orig/src/unify.h 2005-11-27 12:43:58.000000000 +1300
++++ qp7.1/src/unify.h 2006-02-04 13:35:22.000000000 +1300
+@@ -180,7 +180,7 @@
+ //
+ // Unify object variables.
+ //
+-bool Thread::unifyObjectVariables(PrologValue& objectVariable1,
++bool unifyObjectVariables(PrologValue& objectVariable1,
+ PrologValue& objectVariable2);
+
+ //
+--- qp7.1.orig/src/xqp/interact.h 2004-05-16 16:27:54.000000000 +1200
++++ qp7.1/src/xqp/interact.h 2006-02-04 19:33:22.000000000 +1300
+@@ -23,7 +23,7 @@
+ #include <qwidget.h>
+ #include <qtextedit.h>
+ #include <qstring.h>
+-#include <fstream.h>
++#include <fstream>
+ #include <qaccel.h>
+ #include <qregexp.h>
+ #include <qsocketnotifier.h>
+--- qp7.1.orig/src/xqp/main.cc 2004-05-25 14:14:30.000000000 +1200
++++ qp7.1/src/xqp/main.cc 2006-02-04 19:45:03.000000000 +1300
+@@ -19,9 +19,9 @@
+
+ #include <stdlib.h>
+ #include <stdio.h>
+-#include <iostream.h>
++#include <iostream>
+ #include <unistd.h>
+-#include <fstream.h>
++#include <fstream>
+ #include <sys/types.h>
+ #include <sys/stat.h>
+ #include <fcntl.h>
+@@ -31,6 +31,8 @@
+ #include "xqp.h"
+
+
++using namespace std;
++
+ // Create 2 sockets for unidirectional communication to and from qp
+ int socket_main_to_qp[2], socket_qp_to_main[2];
+
diff --git a/dev-lang/qu-prolog/files/qu-prolog-7.1-portage.patch b/dev-lang/qu-prolog/files/qu-prolog-7.1-portage.patch
new file mode 100644
index 000000000000..c52fa9a7c047
--- /dev/null
+++ b/dev-lang/qu-prolog/files/qu-prolog-7.1-portage.patch
@@ -0,0 +1,206 @@
+--- qp7.1.orig/Makefile.in 2006-02-20 16:22:53.000000000 +1300
++++ qp7.1/Makefile.in 2006-03-24 23:22:43.000000000 +1200
+@@ -14,6 +14,7 @@
+ # objects.
+ #
+
++export QPHOME = @prefix@/lib/qu-prolog
+ export QPBIN = @QPHOME@/bin
+
+
+@@ -34,7 +35,6 @@
+ objects:
+ @$(MAKE) -C @QPHOME@/bin $(PARALLEL) all
+ @$(MAKE) -C @QPHOME@/src $(PARALLEL) all
+- @$(MAKE) -C @QPHOME@/src $(PARALLEL) install
+ @$(MAKE) -C @QPHOME@/prolog $(PARALLEL) all
+
+
+--- qp7.1.orig/bin/qc.in 2003-02-07 10:21:21.000000000 +1300
++++ qp7.1/bin/qc.in 2006-03-25 13:56:42.000000000 +1200
+@@ -52,24 +52,25 @@
+ #
+ # location of Qu-Prolog project
+ #
+-PATH=@QPHOME@/bin:$PATH
++QPHOME=@prefix@/lib/qu-prolog
++PATH=$QPHOME/bin:$PATH
+
+ #
+ # names of Qu-Prolog binaries
+ #
+-preprocess=@QPHOME@/bin/qppp
++preprocess=qppp
+ expand=qg
+ compile=qc1
+ compversion=qup
+ assemble=qa
+ link=ql
+-execute=@QPHOME@/bin/qem
++execute=qem
+
+ #
+ # Use the line below when dynamic search for libraries is implemented.
+ #
+ # libqofiles=""
+-libqofiles="@QPHOME@/prolog/compiler/*.qo @QPHOME@/prolog/library/*.qo"
++libqofiles="$QPHOME/compiler/*.qo $QPHOME/library/*.qo"
+
+ qlfiles=""
+ qlefiles=""
+@@ -332,18 +333,7 @@
+ absexecfile=$execfile
+ ;;
+ *)
+- currdir=`pwd`
+- case $currdir in
+- /u*)
+- abspath=`echo $currdir | sed "s,/u./$HOSTNAME/,/homes/,"`
+- ;;
+- /tmp_mnt/*)
+- abspath=`echo $currdir | sed 's,/tmp_mnt/homes/[^/]*/,/homes/,'`
+- ;;
+- *)
+- abspath=$currdir
+- ;;
+- esac
++ abspath=`pwd`
+ absexecfile=$abspath/$execfile
+ ;;
+ esac
+@@ -359,5 +349,8 @@
+
+ # make executable file
+
+-echo "exec $execute $Eoptions $lflag -Q '$savefile' \$* $*" >$execfile
++echo "QPPATH=@prefix@/bin:$QPHOME/bin" >$execfile
++echo "QPLIBPATH=$QPHOME/compiler:$QPHOME/library" >>$execfile
++echo "export QPPATH QPLIBPATH" >>$execfile
++echo "exec $execute $Eoptions $lflag -Q '$savefile' \$* $*" >>$execfile
+ chmod a+x $execfile
+--- qp7.1.orig/prolog/compiler/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/compiler/Makefile.in 2006-03-24 22:54:57.000000000 +1200
+@@ -29,5 +29,5 @@
+
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+
+--- qp7.1.orig/prolog/library/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/library/Makefile.in 2006-03-24 23:00:08.000000000 +1200
+@@ -100,4 +100,4 @@
+
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+--- qp7.1.orig/prolog/qc1/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/qc1/Makefile.in 2006-03-24 23:28:45.000000000 +1200
+@@ -1,8 +1,8 @@
+ #
+ # Makefile for "qc1.qup"
+ #
+-PROGRAM = @QPHOME@/bin/qc1.qup
+-
++PROGRAM = @QPHOME@/bin/qc1
++SAVEFILE = qc1.qx
+ SOURCES = qc1.ql
+
+ BASES = $(basename $(SOURCES))
+@@ -13,8 +13,12 @@
+ all: $(PROGRAM)
+
+ $(PROGRAM): $(OBJECTS)
+- $(COMPILE.qc) -L -o $(PROGRAM) $(OBJECTS)
++ @QPHOME@/src/ql -o $(SAVEFILE) @QPHOME@/prolog/compiler/*.qo @QPHOME@/prolog/library/*.qo $(OBJECTS)
++ @echo "QPPATH=@prefix@/bin:$(QPHOME)/bin" >$(PROGRAM)
++ @echo "QPLIBPATH=$(QPHOME)/compiler:$(QPHOME)/library" >>$(PROGRAM)
++ @echo "export QPPATH QPLIBPATH" >>$(PROGRAM)
++ @echo -e "exec qem -L -Q $(QPHOME)/bin/$(SAVEFILE) \044\052" >>$(PROGRAM)
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+
+--- qp7.1.orig/prolog/qecat/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/qecat/Makefile.in 2006-03-25 10:49:45.000000000 +1200
+@@ -3,7 +3,7 @@
+ #
+
+ PROGRAM = $(QPBIN)/qecat
+-
++SAVEFILE = qecat.qx
+ SOURCES = qecat.ql
+
+ BASES = $(basename $(SOURCES))
+@@ -14,9 +14,13 @@
+ all: $(PROGRAM)
+
+ $(PROGRAM): $(OBJECTS)
+- $(COMPILE.qc) -L -o $(PROGRAM) $(OBJECTS)
++ @QPHOME@/src/ql -o $(SAVEFILE) @QPHOME@/prolog/compiler/*.qo @QPHOME@/prolog/library/*.qo $(OBJECTS)
++ @echo "QPPATH=@prefix@/bin:$(QPHOME)/bin" >$(PROGRAM)
++ @echo "QPLIBPATH=$(QPHOME)/compiler:$(QPHOME)/library" >>$(PROGRAM)
++ @echo "export QPPATH QPLIBPATH" >>$(PROGRAM)
++ @echo -e "exec qem -L -Q $(QPHOME)/bin/$(SAVEFILE) \044\052" >>$(PROGRAM)
+
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+
+--- qp7.1.orig/prolog/qg/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/qg/Makefile.in 2006-03-25 10:43:32.000000000 +1200
+@@ -3,7 +3,7 @@
+ #
+
+ PROGRAM = @QPHOME@/bin/qg
+-
++SAVEFILE = qg.qx
+ SOURCES = qg.ql
+
+ BASES = $(basename $(SOURCES))
+@@ -14,9 +14,13 @@
+ all: $(PROGRAM)
+
+ $(PROGRAM): $(OBJECTS)
+- $(COMPILE.qc) -L -o $(PROGRAM) $(OBJECTS)
++ @QPHOME@/src/ql -o $(SAVEFILE) @QPHOME@/prolog/compiler/*.qo @QPHOME@/prolog/library/*.qo $(OBJECTS)
++ @echo "QPPATH=@prefix@/bin:$(QPHOME)/bin" >$(PROGRAM)
++ @echo "QPLIBPATH=$(QPHOME)/compiler:$(QPHOME)/library" >>$(PROGRAM)
++ @echo "export QPPATH QPLIBPATH" >>$(PROGRAM)
++ @echo -e "exec qem -L -Q $(QPHOME)/bin/$(SAVEFILE) \044\052" >>$(PROGRAM)
+
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+
+--- qp7.1.orig/prolog/qp/Makefile.in 2006-02-20 16:22:58.000000000 +1300
++++ qp7.1/prolog/qp/Makefile.in 2006-03-25 10:47:17.000000000 +1200
+@@ -2,7 +2,7 @@
+ # Makefile for "qp"
+ #
+ PROGRAM = @QPHOME@/bin/qp
+-
++SAVEFILE = qp.qx
+ SOURCES = qp.ql
+
+ BASES = $(basename $(SOURCES))
+@@ -13,9 +13,13 @@
+ all: $(PROGRAM)
+
+ $(PROGRAM): $(OBJECTS)
+- $(COMPILE.qc) -o $(PROGRAM) $(OBJECTS)
++ @QPHOME@/src/ql -o $(SAVEFILE) @QPHOME@/prolog/compiler/*.qo @QPHOME@/prolog/library/*.qo $(OBJECTS)
++ @echo "QPPATH=@prefix@/bin:$(QPHOME)/bin" >$(PROGRAM)
++ @echo "QPLIBPATH=$(QPHOME)/compiler:$(QPHOME)/library" >>$(PROGRAM)
++ @echo "export QPPATH QPLIBPATH" >>$(PROGRAM)
++ @echo -e "exec qem -Q $(QPHOME)/bin/$(SAVEFILE) \044\052" >>$(PROGRAM)
+
+
+ %.qo: %.qs
+- $(COMPILE.qc) -c -o $@ $<
++ @QPHOME@/src/qa -i $< -o $@
+
diff --git a/dev-lang/qu-prolog/metadata.xml b/dev-lang/qu-prolog/metadata.xml
new file mode 100644
index 000000000000..1990bb86aace
--- /dev/null
+++ b/dev-lang/qu-prolog/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>prolog</herd>
+</pkgmetadata>
diff --git a/dev-lang/qu-prolog/qu-prolog-7.1.ebuild b/dev-lang/qu-prolog/qu-prolog-7.1.ebuild
new file mode 100644
index 000000000000..46c33f0cb851
--- /dev/null
+++ b/dev-lang/qu-prolog/qu-prolog-7.1.ebuild
@@ -0,0 +1,80 @@
+# Copyright 1999-2006 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/qu-prolog/qu-prolog-7.1.ebuild,v 1.1 2006/03/25 02:04:10 keri Exp $
+
+inherit eutils flag-o-matic kde-functions
+
+MY_P=qp${PV}
+
+DESCRIPTION="Qu-Prolog is an extended Prolog supporting quantifiers, object-variables and substitutions"
+HOMEPAGE="http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html"
+SRC_URI="http://www.itee.uq.edu.au/~pjr/HomePages/QPFiles/${MY_P}.tar.gz"
+
+LICENSE="as-is"
+SLOT="0"
+KEYWORDS="~x86"
+IUSE="doc qt threads"
+
+DEPEND="virtual/libc"
+
+if use qt; then need-qt 3; fi
+
+S="${WORKDIR}/${MY_P}"
+
+src_unpack() {
+ unpack ${A}
+ cd "${S}"
+ epatch "${FILESDIR}"/${P}-portage.patch
+ epatch "${FILESDIR}"/${P}-CXXFLAGS.patch
+ epatch "${FILESDIR}"/${P}-gcc4.patch
+
+ sed -i -e "s:head -1:head -n 1:" configure
+}
+
+src_compile() {
+ append-flags -fno-strict-aliasing
+
+ econf \
+ $(use_enable threads multiple-threads) \
+ || die "econf failed"
+ emake || die "emake failed"
+
+ if use qt ; then
+ cd "${S}"/src/xqp
+ "${QTDIR}"/bin/qmake || die "qmake xqp failed"
+ emake || die "emake xqp failed"
+ fi
+}
+
+src_install() {
+ exeinto /usr/bin
+ doexe src/qa src/qdeal src/qem src/ql
+ doexe bin/qc bin/qecat bin/qp bin/qppp
+
+ use qt && doexe src/xqp/xqp
+
+ insinto /usr/lib/${PN}/bin
+ doins prolog/qc1/qc1.qx \
+ prolog/qecat/qecat.qx \
+ prolog/qg/qg.qx \
+ prolog/qp/qp.qx
+
+ insinto /usr/lib/${PN}/library
+ doins prolog/library/*.qo
+
+ insinto /usr/lib/${PN}/compiler
+ doins prolog/compiler/*.qo
+
+ doman doc/man/man1/*.1
+
+ dodoc INSTALL README
+
+ if use doc ; then
+ docinto reference-manual
+ dodoc doc/manual/*.html
+ docinto user-guide
+ dodoc doc/user/main.ps
+ docinto examples
+ dodoc examples/*.ql examples/README
+ fi
+}