OpenPKG CVS Repository
http://www.openpkg.org/cvsweb/cvsweb.cgi
____________________________________________________________________________
Server: cvs.openpkg.org Name: Ralf S. Engelschall
Root: /e/openpkg/cvs Email: [EMAIL PROTECTED]
Module: openpkg-re, openpkg-web, openpkg-src Date: 15-Jul-2002 21:24:27
Branch: HEAD Handle: 2002071520242501
Added files:
openpkg-re/vcheck vc.kimwitu
openpkg-src/kimwitu kimwitu.spec
Modified files:
openpkg-web news.txt
Log:
new package: kimwitu 4.6.1 (Term Processor)
Summary:
Revision Changes Path
1.1 +9 -0 openpkg-re/vcheck/vc.kimwitu
1.1 +91 -0 openpkg-src/kimwitu/kimwitu.spec
1.943 +1 -0 openpkg-web/news.txt
____________________________________________________________________________
Index: openpkg-re/vcheck/vc.kimwitu
============================================================
$ cvs update -p -r1.1 vc.kimwitu
config = {
}
prog kimwitu = {
version = 4_6_1
url = ftp://ftp.cs.utwente.nl/pub/src/kimwitu/
regex = kc-distr.V(__VER__)\.tar\.gz
}
Index: openpkg-src/kimwitu/kimwitu.spec
============================================================
$ cvs update -p -r1.1 kimwitu.spec
##
## 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 <[EMAIL PROTECTED]>
##
## 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
Index: openpkg-web/news.txt
============================================================
$ cvs diff -u -r1.942 -r1.943 news.txt
--- openpkg-web/news.txt 15 Jul 2002 15:44:25 -0000 1.942
+++ openpkg-web/news.txt 15 Jul 2002 19:24:26 -0000 1.943
@@ -1,3 +1,4 @@
+15-Jul-2002: New package: P<kimwitu-4.6.1-20020715>
15-Jul-2002: New package: P<lemon-1.0-20020715>
15-Jul-2002: Upgraded package: P<pinfo-0.6.6p1-20020715>
14-Jul-2002: Upgraded package: P<jdk-sun-1.3.1.04-20020714>
______________________________________________________________________
The OpenPKG Project www.openpkg.org
CVS Repository Commit List [EMAIL PROTECTED]
