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
|
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 - wolnodostępny kompilator języka Prolog
Summary(pt_BR.UTF-8): O Prolog GNU
Name: gprolog
Version: 1.4.4
Release: 1
License: LGPL v3+ or GPL v2+
Group: Development/Languages
Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz
# Source0-md5: 37009da471e5217ff637ad1c516448c8
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 opartym na
rozwiązywaniu problemów z ograniczeniami z dziedziną skończoną (FD),
tworzonym przez Daniela Diaza (http://loco.inria.fr/~diaz/)
GNU Prolog jest bardzo wydajnyym 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, gniazda, interfejs
do systemu operacyjnego...).
GNU Prolog zawiera też poręczny moduł rozwiązywania problemów z
ograniczeniami z dziedziną skończoną, z wieloma predefiniowanymi
ograniczeniami 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 \
--with-examples-dir=$RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} \
--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
%clean
rm -rf $RPM_BUILD_ROOT
%files
%defattr(644,root,root,755)
# COPYING contains also licensing summary
%doc COPYING ChangeLog NEWS README doc/gprolog.ps doc/gprolog.pdf
%attr(755,root,root) %{_bindir}/fd2c
%attr(755,root,root) %{_bindir}/gplc
%attr(755,root,root) %{_bindir}/gprolog
%attr(755,root,root) %{_bindir}/hexgplc
%attr(755,root,root) %{_bindir}/ma2asm
%attr(755,root,root) %{_bindir}/pl2wam
%attr(755,root,root) %{_bindir}/wam2ma
%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}
|
