diff options
-rw-r--r-- | devel/Makefile | 1 | ||||
-rw-r--r-- | devel/kimwitu/Makefile | 26 | ||||
-rw-r--r-- | devel/kimwitu/distinfo | 1 | ||||
-rw-r--r-- | devel/kimwitu/files/patch-Makefile | 11 | ||||
-rw-r--r-- | devel/kimwitu/pkg-comment | 1 | ||||
-rw-r--r-- | devel/kimwitu/pkg-descr | 14 | ||||
-rw-r--r-- | devel/kimwitu/pkg-plist | 1 |
7 files changed, 55 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 96e52ce..46a41a7 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -168,6 +168,7 @@ SUBDIR += kdestudio SUBDIR += kdevelop SUBDIR += kelp + SUBDIR += kimwitu SUBDIR += kpp SUBDIR += ktranslator SUBDIR += lclint diff --git a/devel/kimwitu/Makefile b/devel/kimwitu/Makefile new file mode 100644 index 0000000..54c68ea --- /dev/null +++ b/devel/kimwitu/Makefile @@ -0,0 +1,26 @@ +# ex:ts=8 +# New ports collection makefile for: kimwitu +# Date created: Apr 23, 2001 +# Whom: Ying-Chieh Liao <ijliao@FreeBSD.org> +# +# $FreeBSD$ +# + +PORTNAME= kimwitu +PORTVERSION= 4.6.1 +CATEGORIES= devel +MASTER_SITES= ftp://ftp.cs.utwente.nl/pub/src/kimwitu/ +DISTNAME= kc-distr.V${PORTVERSION:S/./_/g} + +MAINTAINER= ijliao@FreeBSD.org + +WRKSRC= ${WRKDIR}/${DISTNAME}/src +ALL_TARGET= + +MAN1= kc.1 + +do-install: + @${INSTALL_PROGRAM} ${WRKSRC}/Gen/kc ${PREFIX}/bin + @${INSTALL_MAN} ${WRKSRC}/../man/kc.1 ${MAN1PREFIX}/man/man1 + +.include <bsd.port.mk> diff --git a/devel/kimwitu/distinfo b/devel/kimwitu/distinfo new file mode 100644 index 0000000..6f6eb0a --- /dev/null +++ b/devel/kimwitu/distinfo @@ -0,0 +1 @@ +MD5 (kc-distr.V4_6_1.tar.gz) = e3a5a3eec5a8c7be55ae78eb6db8fec9 diff --git a/devel/kimwitu/files/patch-Makefile b/devel/kimwitu/files/patch-Makefile new file mode 100644 index 0000000..73991e0 --- /dev/null +++ b/devel/kimwitu/files/patch-Makefile @@ -0,0 +1,11 @@ +--- Makefile.orig Mon Apr 23 19:49:32 2001 ++++ Makefile Mon Apr 23 19:55:00 2001 +@@ -184,7 +184,7 @@ + ANY_ARCH_MALLOC_LDFLAGS = + HP_MALLOC_LDFLAGS = -lmalloc + ARCH_DEPEND_MALLOC_LDFLAGS = `(if hp9000s300 ; then echo $(HP_MALLOC_LDFLAGS); fi) 2>>/dev/null` +-CFLAGS = $(ANY_ARCH_CFLAGS) $(ARCH_DEPEND_CFLAGS) ++CFLAGS += $(ANY_ARCH_CFLAGS) $(ARCH_DEPEND_CFLAGS) + # LIBS = -ll + SABER_CFLAGS = $(SABER_ANY_ARCH_CFLAGS) $(ARCH_DEPEND_CFLAGS) + LINT_CFLAGS = $(INCLUDES) $(LINT_ARCH_DEPEND_CFLAGS) $(GENDEFINES) diff --git a/devel/kimwitu/pkg-comment b/devel/kimwitu/pkg-comment new file mode 100644 index 0000000..12e1aa3 --- /dev/null +++ b/devel/kimwitu/pkg-comment @@ -0,0 +1 @@ +A tool for processing trees (i.e. terms) diff --git a/devel/kimwitu/pkg-descr b/devel/kimwitu/pkg-descr new file mode 100644 index 0000000..d030654 --- /dev/null +++ b/devel/kimwitu/pkg-descr @@ -0,0 +1,14 @@ +Kimwitu is a system that supports the construction of programs that use +trees or terms as their main data structure. It is a `meta-tool' in the +development process of tools. Its input is an abstract description of +terms, annotated with implementation directives, plus a definition of +functions on these terms. The output consists of a number of C-files that +contain data-structure definitions for the terms, a number of standard +functions on those terms, and a translation (in C) of the function +definitions in the input (eg. term rewriting). + +The standard functions can be used to create terms, compare them for +equality, read and write them on files in various formats and do +manipulations like list concatenation. + +WWW: http://purl.oclc.org/net/kimwitu/ diff --git a/devel/kimwitu/pkg-plist b/devel/kimwitu/pkg-plist new file mode 100644 index 0000000..f15098d --- /dev/null +++ b/devel/kimwitu/pkg-plist @@ -0,0 +1 @@ +bin/kc |