diff options
author | Steve Price <steve@FreeBSD.org> | 1999-12-29 09:19:39 +0000 |
---|---|---|
committer | Steve Price <steve@FreeBSD.org> | 1999-12-29 09:19:39 +0000 |
commit | e628032176fe5d00d344eb6cf2430c8f070521b6 (patch) | |
tree | f7dbc17506cf8ddb35f3d9977d8afcd4de1b0f48 /lang/cu-prolog | |
parent | Adding jdbcpool version 0.94. (diff) |
Adding cu-prolog version 3.94.
An Experimental constraint logic programming language.
PR: 12536
Submitted by: Issei Suzuki <issei@jp.FreeBSD.ORG>
Notes
Notes:
svn path=/head/; revision=24254
Diffstat (limited to 'lang/cu-prolog')
-rw-r--r-- | lang/cu-prolog/Makefile | 35 | ||||
-rw-r--r-- | lang/cu-prolog/distinfo | 2 | ||||
-rw-r--r-- | lang/cu-prolog/files/patch-aa | 16 | ||||
-rw-r--r-- | lang/cu-prolog/files/patch-ab | 28 | ||||
-rw-r--r-- | lang/cu-prolog/files/patch-ac | 14 | ||||
-rw-r--r-- | lang/cu-prolog/files/patch-ad | 13 | ||||
-rw-r--r-- | lang/cu-prolog/files/patch-ae | 21 | ||||
-rw-r--r-- | lang/cu-prolog/pkg-comment | 1 | ||||
-rw-r--r-- | lang/cu-prolog/pkg-descr | 11 | ||||
-rw-r--r-- | lang/cu-prolog/pkg-plist | 22 |
10 files changed, 163 insertions, 0 deletions
diff --git a/lang/cu-prolog/Makefile b/lang/cu-prolog/Makefile new file mode 100644 index 000000000000..3b86d41a6d43 --- /dev/null +++ b/lang/cu-prolog/Makefile @@ -0,0 +1,35 @@ +# New ports collection makefile for: cu-Prolog +# Version required: 3.94 +# Date created: 7 July 1999 +# Whom: Issei Suzuki <issei@jp.FreeBSD.ORG> +# +# $FreeBSD$ +# + +DISTNAME= cupsrc +PKGNAME= cu-prolog-3.94 +CATEGORIES= lang +MASTER_SITES= ftp://ftp.icot.or.jp/ifs/kbms-clp/unix/cuprolog/ +DISTFILES= ${DISTNAME}.tar.gz cupdoc.tar.gz + +MAINTAINER= issei@jp.FreeBSD.ORG + +WRKSRC= ${WRKDIR}/src +MAKEFILE= makefile +ALL_TARGET= cup +PORTDOCS= CHANGES COPYRIGHT COPYRIGHT.j INSTALL INSTALL.j README \ + README.j doc/cu3eman.dvi doc/cu3man.dvi doc/newpred_e.doc \ + doc/newpred_j.doc + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/cup3 ${PREFIX}/bin/cuprolog + ${MKDIR} ${PREFIX}/share/examples/cu-prolog + ${INSTALL_DATA} ${WRKDIR}/sample/* ${PREFIX}/share/examples/cu-prolog +.if !defined(NOPORTDOCS) + ${MKDIR} ${PREFIX}/share/doc/cu-prolog +.for i in ${PORTDOCS} + ${INSTALL_DATA} ${WRKDIR}/$i ${PREFIX}/share/doc/cu-prolog +.endfor +.endif + +.include <bsd.port.mk> diff --git a/lang/cu-prolog/distinfo b/lang/cu-prolog/distinfo new file mode 100644 index 000000000000..548290b72b35 --- /dev/null +++ b/lang/cu-prolog/distinfo @@ -0,0 +1,2 @@ +MD5 (cupsrc.tar.gz) = 62b23ee48045d09579ab42ef62876d58 +MD5 (cupdoc.tar.gz) = 954f59489bb70bda5140118f1c5425d5 diff --git a/lang/cu-prolog/files/patch-aa b/lang/cu-prolog/files/patch-aa new file mode 100644 index 000000000000..71217e1d4125 --- /dev/null +++ b/lang/cu-prolog/files/patch-aa @@ -0,0 +1,16 @@ +--- makefile.old Wed Jul 7 02:03:58 1999 ++++ makefile Wed Jul 7 02:04:19 1999 +@@ -6,11 +6,11 @@ + refute.o unify.o defsysp.o syspred1.o\ + syspred2.o trans.o tr_sub.o tr_split.o + #CFLAGS = -g +-CFLAGS = -pg -g # for debug ++CFLAGS?= -pg -g # for debug + #CFLAGS = -O2 # for optimization + #CFLAGS = -O4 + #CC = gcc +-CC = cc ++CC?= cc + FLAGS = -lm + + cup: $(OBJECTS) diff --git a/lang/cu-prolog/files/patch-ab b/lang/cu-prolog/files/patch-ab new file mode 100644 index 000000000000..4508cb32b44d --- /dev/null +++ b/lang/cu-prolog/files/patch-ab @@ -0,0 +1,28 @@ +--- include.h.orig Fri Jan 27 16:38:48 1995 ++++ include.h Wed Jul 7 02:25:14 1999 +@@ -28,7 +28,11 @@ + * else #define CPUTIME 0 + */ + ++#ifdef __FreeBSD__ ++#define CPUTIME 60 ++#else + #define SUN4 1 ++#endif + #define KANJI 1 /* 1: allow EUC Kanji for str functions */ + + /* Tee print macro */ +@@ -135,8 +139,13 @@ + #define head_of_list(Term) (((struct clause *)Term)->c_form) + #define tail_of_list(Term) ((struct term *)((struct clause *)Term)->c_link) + ++#ifdef __FreeBSD__ ++#define is_readable(FP) (FP->_flags & __SRD) ++#define is_writable(FP) (FP->_flags & __SWR) ++#else + #define is_readable(FP) (FP->_flag & _IOREAD) + #define is_writable(FP) (FP->_flag & _IOWRT) ++#endif + + #define is_functor(Term) ((Term)->type.ident > CONST_LIST_TYPE) + #define isconst_functor(Term) ((Term)->t_arity <= 0) diff --git a/lang/cu-prolog/files/patch-ac b/lang/cu-prolog/files/patch-ac new file mode 100644 index 000000000000..d2fb8d0e0d17 --- /dev/null +++ b/lang/cu-prolog/files/patch-ac @@ -0,0 +1,14 @@ +--- defsysp.c.old Wed Jul 7 02:21:11 1999 ++++ defsysp.c Wed Jul 7 02:21:32 1999 +@@ -932,9 +932,9 @@ + t1 = t2 = Nnum_val(0.0,TEMPORAL); + #else + times(&TIMES); +- t1 = Nnum_val(((float)(TIMES.tms_stime+TIMES.tms_utime-OLD_TIME))/CPUTIME.0, ++ t1 = Nnum_val(((float)(TIMES.tms_stime+TIMES.tms_utime-OLD_TIME))/(float)CPUTIME, + TEMPORAL); +- t2 = Nnum_val(((float)CONSTRAINT_HANDLING_TIME)/CPUTIME.0,TEMPORAL); ++ t2 = Nnum_val(((float)CONSTRAINT_HANDLING_TIME)/(float)CPUTIME,TEMPORAL); + #endif + #endif + upush(&(p1->p_body)); upush(&(p1->p_env)); diff --git a/lang/cu-prolog/files/patch-ad b/lang/cu-prolog/files/patch-ad new file mode 100644 index 000000000000..c3e7d500cf95 --- /dev/null +++ b/lang/cu-prolog/files/patch-ad @@ -0,0 +1,13 @@ +--- mainsub.c.old Wed Jul 7 02:22:15 1999 ++++ mainsub.c Wed Jul 7 02:22:30 1999 +@@ -1238,8 +1238,8 @@ + times(&TIMES); /* get time */ + ttemp = TIMES.tms_stime + TIMES.tms_utime; + tprint2 ("CPU time = %.3lf sec (Constraints Handling = %.3lf sec)\n", +- (ttemp - TIMESAVE) / CPUTIME.0, +- (CONSTRAINT_HANDLING_TIME / CPUTIME.0)); ++ (ttemp - TIMESAVE) / (float)CPUTIME, ++ (CONSTRAINT_HANDLING_TIME / (float)CPUTIME)); + } + + void settimer() { /* set clock */ diff --git a/lang/cu-prolog/files/patch-ae b/lang/cu-prolog/files/patch-ae new file mode 100644 index 000000000000..92d9238faa23 --- /dev/null +++ b/lang/cu-prolog/files/patch-ae @@ -0,0 +1,21 @@ +--- main.c.old Wed Jul 7 02:26:00 1999 ++++ main.c Wed Jul 7 02:27:38 1999 +@@ -303,13 +303,16 @@ + + void heap_realloc() /* reallocate system/user heaps */ + { ++#if SUN4 == 1 + cfree((char *)sheap); SHEAP_SIZE=SHEAP_SIZE*1.2; system_heap_alloc(); +-/* free(heap); HEAP_SIZE *= 1.2; ++#else ++ free(heap); HEAP_SIZE *= 1.2; + free(cheap); CHEAP_SIZE *= 1.2; + free(eheap); ESP_SIZE *= 1.2; + free(ustack); USTACK_SIZE *= 1.2; + free(nheap); NAME_SIZE *= 1.2; +- heap_alloc(); */ ++ heap_alloc(); ++#endif /* SUN4 */ + init_status(); + } + diff --git a/lang/cu-prolog/pkg-comment b/lang/cu-prolog/pkg-comment new file mode 100644 index 000000000000..1f2aa9723fed --- /dev/null +++ b/lang/cu-prolog/pkg-comment @@ -0,0 +1 @@ +Experimental constraint logic programming language diff --git a/lang/cu-prolog/pkg-descr b/lang/cu-prolog/pkg-descr new file mode 100644 index 000000000000..cb5a75a3bc37 --- /dev/null +++ b/lang/cu-prolog/pkg-descr @@ -0,0 +1,11 @@ +cu-Prolog is an experimental constraint logic programming language. +Unlike most conventional CLP systems, cu-Prolog allows user-defined +predicates as constraints and is suitable for implementing a natural +language processing system based on the unification-based +grammar. As an application of cu-Prolog, we developed +a JPSG (Japanese Phrase Structure Grammar) parser +with the JPSG Working Group (the chairman is Prof. GUNJI, Takao of +Osaka University) at ICOT. + +cu-Prolog is also the complete implementation of the constraint +unification and its name (cu) comes from the technique. diff --git a/lang/cu-prolog/pkg-plist b/lang/cu-prolog/pkg-plist new file mode 100644 index 000000000000..55ce4226d3ad --- /dev/null +++ b/lang/cu-prolog/pkg-plist @@ -0,0 +1,22 @@ +bin/cuprolog +share/doc/cu-prolog/CHANGES +share/doc/cu-prolog/COPYRIGHT +share/doc/cu-prolog/COPYRIGHT.j +share/doc/cu-prolog/INSTALL +share/doc/cu-prolog/INSTALL.j +share/doc/cu-prolog/README +share/doc/cu-prolog/README.j +share/doc/cu-prolog/cu3eman.dvi +share/doc/cu-prolog/cu3man.dvi +share/doc/cu-prolog/newpred_e.doc +share/doc/cu-prolog/newpred_j.doc +@dirrm share/doc/cu-prolog +share/examples/cu-prolog/README +share/examples/cu-prolog/bagof.p +share/examples/cu-prolog/eisele.p +share/examples/cu-prolog/hpsg.p +share/examples/cu-prolog/jpsg.p +share/examples/cu-prolog/kasper.p +share/examples/cu-prolog/marcus.p +share/examples/cu-prolog/memap.p +@dirrm share/examples/cu-prolog |