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
|
Summary: GNU Prolog is a free Prolog compiler with constraint solving over Finite Domains
Summary(pl): GNU Prolog jest darmowym kompilatorem języka Prolog
Summary(pt_BR): O Prolog GNU
Summary(es): O Prolog GNU
Name: gprolog
Version: 1.2.16
Release: 1
License: GPL
Group: Development/Languages
Source0: ftp://ftp.inria.fr//INRIA/Projects/contraintes/gnu-prolog/%{name}-%{version}.tar.gz
Source1: %{name}-pred.wam
URL: http://gprolog.inria.fr/
BuildRequires: autoconf
BuildRequires: automake
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.
%description -l pt_BR
O GNU Prolog é um compilador nativo Prolog.
%description -l es
GNU Prolog es un compilador nativo Prolog.
%prep
%setup -q
%build
cd src
cp %{SOURCE1} BipsPl/pred.wam
%{__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}
%clean
rm -rf $RPM_BUILD_ROOT
%files
%defattr(644,root,root,755)
%doc ChangeLog NEWS README doc/manual.ps
%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}
|