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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
Summary: GNU Prolog is a free Prolog compiler with constraint solving over Finite Domains
Summary(pl): GNU Prolog jest darmowym kompilatorem języka Prolog
Name: gprolog
Version: 1.2.8
Release: 1
License: GPL
Group: Development/Languages
Group(de): Entwicklung/Sprachen
Group(pl): Programowanie/Języki
Source0: ftp://ftp.inria.fr//INRIA/Projects/contraintes/gnu-prolog/%{name}-%{version}.tar.gz
URL: http://gprolog.inria.fr/
ExclusiveArch: %{ix86}
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%description
GNU Prolog is a native Prolog compiler with constraint solving over
finite domains (FD) developed by Daniel Diaz
(http://loco.inria.fr/~diaz/).
GNU Prolog is a very efficient native compiler producing (small)
stand-alone executables. GNU-Prolog also offers a classical
top-level+debugger.
GNU Prolog conforms to the ISO standard for Prolog but also includes a
lot of extensions (global variables, DCG, sockets, OS interface,...).
GNU Prolog also includes a powerful constraint solver over finite
domains with many predefined constraints+heuristics.
%description -l pl
GNU Prolog jest bezpośrednim kompilatorem Prolog-u z narzuconymi
ograniczeniami ponad "finite domains (FD)" tworzonym przez Daniela
Diaz (http://loco.inria.fr/~diaz/)
GNU Prolog jest bardzo efektywnym bezpośrednim kompilatorem tworzoącym
małe samodzielne programy wykonywalne. GNU-Prolog oferuje też
klasyczny interfejst wysokiego poziomu oraz debugger.
GNU Prolog jest zgodny z standardem ISO języka Prolog oraz oferuje
dodatkowo kilka rozszerzeń (zmienne globalne, DCG, gniazdka, interfejs
do systemu operacyjnego, ...).
GNU Prolog zawiera też poręczny solver finite domains z wieloma
predefiniowanymi ograniczaczami i heurestykami.
%package doc-ps
Summary: PostScript documentation for GNU Prolog
Summary(pl): Dokumentacja dla GNU Prolog w formacie PostSript
Group: Development/Tools
Requires: %{name} = %{version}
%description doc-ps
PostScript documentation for GNU Prolog
%description doc-ps -l pl
Dokumentacja dla GNU Prolog w formacie PostSript
%package doc-pdf
Summary: PDF documentation for GNU Prolog
Summary(pl): Dokumentacja dla GNU Prolog w formacie PDF
Group: Development/Tools
Requires: %{name} = %{version}
%description doc-pdf
PDF documentation for GNU Prolog
%description doc-pdf -l pl
Dokumentacja dla GNU Prolog w formacie PDF
%package doc-html
Summary: HTML documentation for GNU Prolog
Summary(pl): Dokumentacja dla GNU Prolog w formacie HTML
Group: Development/Tools
Requires: %{name} = %{version}
%description doc-html
HTML documentation for GNU Prolog
%description doc-ps -l pl
Dokumentacja dla GNU Prolog w formacie HTML
%prep
%setup -q
%build
cd src
aclocal
autoconf
%configure \
--with-install-dir=$RPM_BUILD_ROOT/%{_libdir}/%{name}-%{version} \
--with-c-flags="%{rpmcflags}" \
--without-links-dir \
--without-examples-dir \
--without-doc-dir \
--without-html-dir
%{__make}
%install
rm -rf $RPM_BUILD_ROOT
cd src
%{__make} install DESTDIR=$RPM_BUILD_ROOT
(
install -d $RPM_BUILD_ROOT/%{_bindir}
cd $RPM_BUILD_ROOT/%{_libdir}/%{name}-%{version}/bin
for i in *; do
ln -s ../lib/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT/%{_bindir}/$i
done
)
cd ..
install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
cp -ar Examples* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
gzip -9nf ChangeLog NEWS README doc/manual.ps
%clean
rm -rf $RPM_BUILD_ROOT
%files
%defattr(644,root,root,755)
%doc *.gz
%attr(755,root,root) %{_bindir}/*
%dir %attr(755,root,root) %{_libdir}/%{name}-%{version}/
%attr(755,root,root) %{_libdir}/%{name}-%{version}/bin/*
%{_libdir}/%{name}-%{version}/include
%{_libdir}/%{name}-%{version}/lib
%{_examplesdir}/%{name}-%{version}
%files doc-html
%doc doc/Html
%files doc-ps
%doc doc/manual.ps.gz
%files doc-pdf
%doc doc/manual.pdf
|
