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