Yap.spec

   1 Summary:        Prolog Compiler
   2 Summary(pl):    Kompilator Prologu
   3 Name:           Yap
   4 Version:        4.3.22
   5 Release:        2
   6 License:        Artistic
   7 Group:          Development/Languages
   8 Source0:        http://www.ncc.up.pt/~vsc/Yap/Yap4.3/%{name}-%{version}.tar.gz
   9 URL:            http://www.ncc.up.pt/~vsc/Yap
  10 BuildRequires:  readline-devel
  11 BuildRequires:  indent
  12 BuildRequires:  gmp-devel
  13 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  14
  15 %description
  16 A high-performance Prolog compiler developed at LIACC, Universidade do
  17 Porto. The Prolog engine is based in the WAM (Warren Abstract
  18 Machine), with several optimizations for better performance. YAP
  19 follows the Edinburgh tradition, and is largely compatible with the
  20 ISO-Prolog standard and with Quintus and SICStus Prolog.
  21
  22 %description -l pl
  23 Wydajny kompilator Prologu stworzony w LIACC, Universidade do
  24 Porto. Silnik Prologu bazuje na WAM (Warren Abstract Machine), z
  25 ró¿nymi optymalizacjami dla lepszej wydajno¶ci. Zgodnie z tradycj±
  26 Edinburgh jest on wysoce kompatybilny ze standardem ISO-Prolog oraz
  27 z Prologiem Quintus i SICStus.
  28
  29 %package static
  30 Summary:        Static library for YAP Prolog
  31 Summary(pl):    Statyczna biblioteka dla kompilatora Prologu YAP
  32 Group:          Development/Languages
  33 Requires:       %{name} = %{version}
  34
  35 %description static
  36 Static library for YAP prolog.
  37
  38 %description static -l pl
  39 Statyczna biblioteka dla kompilatora prologu YAP.
  40
  41 %prep
  42 %setup -q
  43
  44 %build
  45 %configure \
  46         --enable-coroutining \
  47         --enable-depth-limit \
  48         --enable-low-level-tracer \
  49         --enable-depth-limit
  50
  51 %{__make}
  52
  53 %install
  54 rm -rf $RPM_BUILD_ROOT
  55 install -d $RPM_BUILD_ROOT{%{_infodir},%{_examplesdir}/%{name}-%{version}}
  56
  57 %{__make} install \
  58         DESTDIR=$RPM_BUILD_ROOT
  59
  60 install docs/*info* $RPM_BUILD_ROOT%{_infodir}
  61
  62 for d in chr clpqr; do
  63         mv -f $RPM_BUILD_ROOT%{_datadir}/Yap/$d/examples \
  64                 $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}/$d
  65 done
  66
  67 %post
  68 [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
  69 /sbin/ldconfig
  70
  71 %postun
  72 [ ! -x /usr/sbin/fix-info-dir ] || /usr/sbin/fix-info-dir -c %{_infodir} >/dev/null 2>&1
  73 /sbin/ldconfig
  74
  75 %clean
  76 rm -rf $RPM_BUILD_ROOT
  77
  78 %files
  79 %defattr(644,root,root,755)
  80 %doc README* INSTALL changes4.3.html docs/yap.tex
  81 %attr(755,root,root) %{_bindir}/yap
  82 %attr(755,root,root) %{_libdir}/Yap/startup
  83 %{_datadir}/Yap
  84 %{_includedir}/Yap
  85 %{_infodir}/*info*
  86 %{_examplesdir}/%{name}-%{version}
  87
  88 %files static
  89 %defattr(644,root,root,755)
  90 %{_libdir}/libYap.a