From 2d10772cbdd38fbbb4c7bc57210008a453a723f8 Mon Sep 17 00:00:00 2001
From: "Ralf S. Engelschall" <rse@openpkg.org>
Date: Mon, 15 Jul 2002 19:24:26 +0000
Subject: [PATCH] new package: kimwitu 4.6.1 (Term Processor)

---
 kimwitu/kimwitu.spec | 91 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 91 insertions(+)
 create mode 100644 kimwitu/kimwitu.spec

diff --git a/kimwitu/kimwitu.spec b/kimwitu/kimwitu.spec
new file mode 100644
index 0000000000..a90f5fdf9e
--- /dev/null
+++ b/kimwitu/kimwitu.spec
@@ -0,0 +1,91 @@
+##
+##  kimwitu.spec -- OpenPKG RPM Specification
+##  Copyright (c) 2000-2002 Cable & Wireless Deutschland GmbH
+##  Copyright (c) 2000-2002 The OpenPKG Project <http://www.openpkg.org/>
+##  Copyright (c) 2000-2002 Ralf S. Engelschall <rse@engelschall.com>
+##
+##  Permission to use, copy, modify, and distribute this software for
+##  any purpose with or without fee is hereby granted, provided that
+##  the above copyright notice and this permission notice appear in all
+##  copies.
+##
+##  THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
+##  WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+##  MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+##  IN NO EVENT SHALL THE AUTHORS AND COPYRIGHT HOLDERS AND THEIR
+##  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+##  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+##  LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
+##  USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
+##  ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+##  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
+##  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+##  SUCH DAMAGE.
+##
+
+#   package version
+%define       V_here 4.6.1
+%define       V_real 4_6_1
+
+#   package information
+Name:         kimwitu
+Summary:      Term Processor
+URL:          http://fmt.cs.utwente.nl/kimwitu/
+Vendor:       Axel Belinfante
+Packager:     The OpenPKG Project
+Distribution: OpenPKG [REL]
+Group:        Converter
+License:      GPL
+Version:      %{V_here}
+Release:      20020715
+
+#   list of sources
+Source0:      ftp://ftp.cs.utwente.nl/pub/src/kimwitu/kc-distr.V%{V_real}.tar.gz
+
+#   build information
+Prefix:       %{l_prefix}
+BuildRoot:    %{l_buildroot}
+BuildPreReq:  OpenPKG, openpkg >= 20020206
+PreReq:       OpenPKG, openpkg >= 20020206
+AutoReq:      no
+AutoReqProv:  no
+
+%description
+    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.
+
+
+%prep
+    %setup -q -n kc-distr.V%{V_real}
+
+%build
+    ( cd src
+      %{l_make} %{l_mflags -O} \
+          CC="%{l_cc}" \
+          CFLAGS="%{l_cflags -O}" )
+
+%install
+    rm -rf $RPM_BUILD_ROOT
+    %{l_shtool} mkdir -f -p -m 755 \
+        $RPM_BUILD_ROOT%{l_prefix}/bin \
+        $RPM_BUILD_ROOT%{l_prefix}/man/man1
+    %{l_shtool} install -c -s -m 755 \
+        src/Gen/kc $RPM_BUILD_ROOT%{l_prefix}/bin/
+    %{l_shtool} install -c -m 644 \
+        man/kc.1 $RPM_BUILD_ROOT%{l_prefix}/man/man1/
+    %{l_rpmtool} files -v -ofiles -r$RPM_BUILD_ROOT %{l_files_std}
+
+%files -f files
+
+%clean
+    rm -rf $RPM_BUILD_ROOT
+