]>
Commit | Line | Data |
---|---|---|
34df6b85 | 1 | # TODO: liblam (MPI) or MPE |
4dae5b1a | 2 | Summary: Prolog Compiler |
66fe5fcd | 3 | Summary(pl.UTF-8): Kompilator Prologu |
4dae5b1a | 4 | Name: Yap |
34df6b85 | 5 | Version: 6.2.2 |
9c30d598 | 6 | Release: 5 |
4dae5b1a | 7 | License: Artistic |
8 | Group: Development/Languages | |
3b6aa7f7 | 9 | #Source0Download: http://www.dcc.fc.up.pt/~vsc/Yap/downloads.html |
34df6b85 JB |
10 | Source0: http://www.dcc.fc.up.pt/~vsc/Yap/yap-%{version}.tar.gz |
11 | # Source0-md5: 95eaa54978e4811ff6e504e7dca9e835 | |
c1e3906a | 12 | Patch0: %{name}-acdirs.patch |
34df6b85 JB |
13 | Patch1: %{name}-nolibs.patch |
14 | Patch2: %{name}-info.patch | |
9c30d598 JR |
15 | Patch3: Friend-function-template-defined-in-a-class-cannot-b.patch |
16 | Patch4: Off-by-one-error-when-initializing-yap_flags.patch | |
34df6b85 JB |
17 | URL: http://www.dcc.fc.up.pt/~vsc/Yap/ |
18 | BuildRequires: autoconf >= 2.50 | |
c1e3906a | 19 | BuildRequires: automake |
4dae5b1a | 20 | BuildRequires: gmp-devel |
dde5dfa4 | 21 | BuildRequires: indent |
34df6b85 | 22 | BuildRequires: mysql-devel |
dde5dfa4 | 23 | BuildRequires: readline-devel |
34df6b85 JB |
24 | BuildRequires: rpmbuild(macros) >= 1.566 |
25 | BuildRequires: sed >= 4.0 | |
dde5dfa4 | 26 | BuildRequires: texinfo |
34df6b85 JB |
27 | BuildRequires: unixODBC-devel |
28 | BuildRequires: zlib-devel | |
4dae5b1a | 29 | BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) |
30 | ||
31 | %description | |
32 | A high-performance Prolog compiler developed at LIACC, Universidade do | |
33 | Porto. The Prolog engine is based in the WAM (Warren Abstract | |
34 | Machine), with several optimizations for better performance. YAP | |
35 | follows the Edinburgh tradition, and is largely compatible with the | |
36 | ISO-Prolog standard and with Quintus and SICStus Prolog. | |
37 | ||
77386ec1 | 38 | %description -l pl.UTF-8 |
4dae5b1a | 39 | Wydajny kompilator Prologu stworzony w LIACC, Universidade do |
40 | Porto. Silnik Prologu bazuje na WAM (Warren Abstract Machine), z | |
77386ec1 | 41 | różnymi optymalizacjami dla lepszej wydajności. Zgodnie z tradycją |
4dae5b1a | 42 | Edinburgh jest on wysoce kompatybilny ze standardem ISO-Prolog oraz |
43 | z Prologiem Quintus i SICStus. | |
44 | ||
45 | %package static | |
46 | Summary: Static library for YAP Prolog | |
66fe5fcd | 47 | Summary(pl.UTF-8): Statyczna biblioteka dla kompilatora Prologu YAP |
4dae5b1a | 48 | Group: Development/Languages |
50c27ba0 | 49 | Requires: %{name} = %{version}-%{release} |
4dae5b1a | 50 | |
51 | %description static | |
52 | Static library for YAP prolog. | |
53 | ||
77386ec1 | 54 | %description static -l pl.UTF-8 |
4dae5b1a | 55 | Statyczna biblioteka dla kompilatora prologu YAP. |
56 | ||
57 | %prep | |
34df6b85 JB |
58 | %setup -q -n yap-%{version} |
59 | %undos configure.in | |
d096fe83 | 60 | %patch0 -p1 |
50c27ba0 JB |
61 | %patch1 -p1 |
62 | %patch2 -p1 | |
9c30d598 JR |
63 | %patch3 -p1 |
64 | %patch4 -p1 | |
4dae5b1a | 65 | |
66 | %build | |
c1e3906a | 67 | cp -f /usr/share/automake/config.sub . |
68 | %{__aclocal} | |
69 | %{__autoconf} | |
4dae5b1a | 70 | %configure \ |
71 | --enable-coroutining \ | |
50c27ba0 | 72 | %{?debug:--enable-debug-yap} \ |
4dae5b1a | 73 | --enable-depth-limit \ |
50c27ba0 | 74 | --enable-low-level-tracer |
4dae5b1a | 75 | |
76 | %{__make} | |
77 | ||
34df6b85 | 78 | %{__make} info |
dde5dfa4 | 79 | |
4dae5b1a | 80 | %install |
81 | rm -rf $RPM_BUILD_ROOT | |
d096fe83 | 82 | install -d $RPM_BUILD_ROOT{%{_infodir},%{_examplesdir}/%{name}-%{version},%{_libdir}/%{name}} |
4dae5b1a | 83 | |
34df6b85 | 84 | %{__make} install install_info \ |
4dae5b1a | 85 | DESTDIR=$RPM_BUILD_ROOT |
86 | ||
34df6b85 JB |
87 | mv -f $RPM_BUILD_ROOT%{_datadir}/Yap/clpbn/examples \ |
88 | $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}/clpbn | |
89 | ||
90 | %{__rm} -r $RPM_BUILD_ROOT%{_libdir}/web/css | |
91 | # packaged as %doc | |
92 | %{__rm} -r $RPM_BUILD_ROOT%{_docdir}/Yap | |
4dae5b1a | 93 | |
34df6b85 JB |
94 | %clean |
95 | rm -rf $RPM_BUILD_ROOT | |
eb9ebc9c | 96 | |
4dae5b1a | 97 | %post |
98 | [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1 | |
4dae5b1a | 99 | |
100 | %postun | |
101 | [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1 | |
4dae5b1a | 102 | |
103 | %files | |
104 | %defattr(644,root,root,755) | |
34df6b85 | 105 | %doc README* changes*.html docs/yap.tex |
4dae5b1a | 106 | %attr(755,root,root) %{_bindir}/yap |
399b238c | 107 | %dir %{_libdir}/%{name} |
108 | %attr(755,root,root) %{_libdir}/%{name}/*.so | |
34df6b85 | 109 | %attr(755,root,root) %{_libdir}/%{name}/startup.yss |
399b238c | 110 | %{_datadir}/%{name} |
111 | %{_includedir}/%{name} | |
34df6b85 JB |
112 | %{_infodir}/pillow_doc.info* |
113 | %{_infodir}/yap.info* | |
eb9ebc9c | 114 | %{_examplesdir}/%{name}-%{version} |
4dae5b1a | 115 | |
116 | %files static | |
117 | %defattr(644,root,root,755) | |
118 | %{_libdir}/libYap.a |