File: pl.spec

package info (click to toggle)
swi-prolog 3.3.0beta9-5
  • links: PTS
  • area: main
  • in suites: potato
  • size: 4,600 kB
  • ctags: 6,554
  • sloc: ansic: 50,797; perl: 12,880; sh: 1,419; makefile: 524; awk: 14
file content (63 lines) | stat: -rw-r--r-- 1,823 bytes parent folder | download
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:	SWI-Prolog - Edinburgh compatible Prolog compiler
Name:		pl
Version:	3.3.0
Release:	1
Copyright:	GPL-2
Source:		ftp://swi.psy.uva.nl/pub/SWI-Prolog/pl-3.3.0.tar.gz
Vendor:		Jan Wielemaker <jan@swi.psy.uva.nl>
Url:		http://www.swi.psy.uva.nl/projects/SWI-Prolog/
Packager:	Tony Nugent <Tony.Nugent@usq.edu.au>
Group:		Development/Languages
Prefix:		/usr
BuildRoot:	/var/tmp/pl

%description
ISO/Edinburgh-style Prolog compiler including modules, autoload, libraries,
Garbage-collector, stack-expandor, C/C++-interface, GNU-readline interface,
very fast compiler, X11 interface using XPCE
(http://swi.psy.uva.nl/projects/xpce/)

%prep
%setup

%build
cd src
env CFLAGS="$RPM_OPT_FLAGS" \
  ./configure --prefix=/usr
make

%install
mkdir -p $RPM_BUILD_ROOT/usr
cd src
make install prefix=$RPM_BUILD_ROOT/usr
cp README.bin ..
# Make the package relocatable by using local links
ARCH=`$RPM_BUILD_ROOT/usr/bin/pl -arch`
for f in pl plrc plld; do
    ( cd $RPM_BUILD_ROOT/usr/bin && \
      rm -f $f && \
      ln -s ../lib/pl-3.3.0/bin/$ARCH/$f $f )
done

%files
%doc ChangeLog INSTALL INSTALL.notes COPYING LSM PORTING
%doc README README.bin README.GUI
%doc VERSION
%attr(755,root,root)/usr/lib/pl-3.3.0/bin/*
%attr(644,root,root)/usr/lib/pl-3.3.0/boot/*
%attr(644,root,root)/usr/lib/pl-3.3.0/include/*
%attr(-,root,root)/usr/lib/pl-3.3.0/lib/*
%attr(644,root,root)/usr/lib/pl-3.3.0/library/*
%attr(644,root,root)/usr/lib/pl-3.3.0/man/*
%attr(-,root,root)/usr/lib/pl-3.3.0/runtime/*
%attr(644,root,root)/usr/lib/pl-3.3.0/swipl
%attr(644,root,root)/usr/lib/pl-3.3.0/boot.prc
%attr(644,root,root)/usr/man/man1/pl.1
%attr(644,root,root)/usr/man/man1/plrc.1
%attr(644,root,root)/usr/man/man1/plld.1
%attr(-,root,root)/usr/bin/pl
%attr(-,root,root)/usr/bin/plrc
%attr(-,root,root)/usr/bin/plld

%clean
rm -rf $RPM_BUILD_ROOT