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
|
Summary: GNU Prolog - a free Prolog compiler with constraint solving over Finite Domains
Summary(es.UTF-8): Prolog de GNU - un compilador libre de Prolog con resolución de ligaduras sobre dominios finitos
Summary(pl.UTF-8): GNU Prolog - darmowy kompilator języka Prolog
Summary(pt_BR.UTF-8): O Prolog GNU
Name: gprolog
Version: 1.3.1
Release: 1
License: GPL
Group: Development/Languages
Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz
# Source0-md5: cbae19c31e17bcfca4b57fe35ec4aba2
URL: http://www.gprolog.org/
BuildRequires: autoconf >= 2.52
BuildRequires: automake
ExclusiveArch: %{ix86} %{x8664} alpha ppc
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 es.UTF-8
GNU Prolog es un compilador nativo de Prolog con resolución de ligaduras
sobre dominios finitos (FD: Finite Domains), desarrollado por Daniel Diaz
(http://loco.inria.fr/~diaz/).
GNU Prolog es un compilador nativo muy eficiente que produce ejecutables
independientes (y pequeños). GNU Prolog también ofrece un clásico nivel alto
y un depurador.
GNU Prolog implementa el estándar ISO para Prolog, sin embargo incluye
un montón de extensiones (variables globales, DCG, sockets, inferfaz de SO,
...).
GNU Prolog también habilita resolver ligaduras sobre dominios finitos con
varias ligaduras predefinidas y unas heuristicas.
%description -l pl.UTF-8
GNU Prolog jest bezpośrednim kompilatorem Prologu z narzuconymi
ograniczeniami ponad "finite domains (FD)" tworzonym przez Daniela
Diaz (http://loco.inria.fr/~diaz/)
GNU Prolog jest bardzo efektywnym bezpośrednim kompilatorem tworzącym
małe samodzielne programy wykonywalne. GNU-Prolog oferuje też
klasyczny interfejs 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 heurystykami.
%description -l pt_BR.UTF-8
O GNU Prolog é um compilador nativo Prolog.
%package examples
Summary: Examples for gprolog
Summary(pl.UTF-8): Przykłady dla gprologa
Group: Development/Languages
Requires: %{name} = %{version}-%{release}
Provides: %{name}-examples = %{version}-%{release}
%description examples
Examples for gprolog.
%description examples -l pl.UTF-8
Przykłady dla gprologa.
%prep
%setup -q
%build
cd src
%{__aclocal}
%{__autoconf}
%configure \
--prefix=$RPM_BUILD_ROOT \
--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
%{__make} -C src install
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 -a Examples* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
%clean
rm -rf $RPM_BUILD_ROOT
%files
%defattr(644,root,root,755)
%doc ChangeLog NEWS README doc/gprolog.ps doc/gprolog.pdf
%attr(755,root,root) %{_bindir}/*
%dir %{_libdir}/%{name}-%{version}
%dir %{_libdir}/%{name}-%{version}/bin
%attr(755,root,root) %{_libdir}/%{name}-%{version}/bin/*
%{_libdir}/%{name}-%{version}/include
%{_libdir}/%{name}-%{version}/lib
%files examples
%defattr(644,root,root,755)
%{_examplesdir}/%{name}-%{version}
|
