File: cmix-spec.in

package info (click to toggle)
cmix 2.0.11-1
  • links: PTS
  • area: main
  • in suites: potato
  • size: 6,224 kB
  • ctags: 5,925
  • sloc: cpp: 29,558; ansic: 11,452; yacc: 2,020; sh: 1,795; makefile: 1,228; lex: 484; perl: 278
file content (63 lines) | stat: -rw-r--r-- 1,671 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
Summary: A partial evaluator for the ANSI C language
Name: cmix
Version: @Version@
Release: @Release@
Copyright: GPL
Vendor: (none)
Packager: The C-Mix Team <cmix@diku.dk>
Distribution: DIKU, University of Copenhagen
URL: http://www.diku.dk/research-groups/topps/activities/cmix/
Group: Development/Tools
Icon: cmixicon.gif
Source0: ftp.diku.dk:/diku/semantics/cmix/cmix-@Version@-src.tar.gz
Source1: ftp.diku.dk:/diku/semantics/cmix/cmix-@Version@-doc.tar.gz
Source2: ftp.diku.dk:/diku/semantics/cmix/cmix-@Version@-test.tar.gz

%description
C-Mix takes as input a program, p, written in
standard C, that runs on input
(s1, s2, ..., r1, r2, ...).

s1, s2, ... are spectime input and r1, r2, ... are
residual input.

C-Mix then generates a new specialised program,
p_s, which can be run on the residual input,
r1, r2, ...

The result of running p_s(r1, r2, ...) is the same
as running p(s1, s2, ..., r1, r2, ...), only
faster.

C-Mix requires a standard C compiler during its
operation.

The package includes some examples for
specialisation, among others a minimal ray
tracer. To view the result of ray tracing, a
suitable graphics API (SRGP, PTC or OpenGL) is
required.
%prep
%setup -n cmix-@Version@ -T -b 1 -b 0

%build
./configure
make

%install
make install

%files
%doc README COPYING.cmix Changelog
%doc doc/exercises/exercises.dvi doc/exercises/color-pow-ann-ps.gz
%doc doc/exercises/selectvisible-ps.gz
%doc doc/manual/manual.dvi doc/manual/intro-cpe.eps
%doc doc/manual/intro-cplx.eps doc/manual/intro-ic.eps

/usr/local/bin/cmix
/usr/local/bin/cmixshow
/usr/local/lib/libcmix.a
/usr/local/share/cmix
/usr/local/man/man1/cmix.1
/usr/local/man/man1/cmixshow.1