You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
97 lines
3.4 KiB
97 lines
3.4 KiB
## |
|
## kimwitu.spec -- OpenPKG RPM Package Specification |
|
## Copyright (c) 2000-2006 OpenPKG Foundation e.V. <http://openpkg.net/> |
|
## Copyright (c) 2000-2006 Ralf S. Engelschall <http://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: OpenPKG |
|
Distribution: OpenPKG |
|
Class: PLUS |
|
Group: CompilerCompiler |
|
License: GPL |
|
Version: %{V_here} |
|
Release: 20060923 |
|
|
|
# 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 >= 20040130 |
|
PreReq: OpenPKG, openpkg >= 20040130 |
|
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. |
|
|
|
%track |
|
prog kimwitu = { |
|
version = %{V_real} |
|
url = ftp://ftp.cs.utwente.nl/pub/src/kimwitu/ |
|
regex = kc-distr.V(__VER__)\.tar\.gz |
|
} |
|
|
|
%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 |
|
|
|
|