XSB.spec

   1 Summary:        XSB Prolog Distribution
   2 Summary(pl.UTF-8):      Dystrybucja XSB Prologa
   3 Name:           XSB
   4 Version:        3.3.6
   5 Release:        0.1
   6 License:        LGPL v2
   7 Group:          Development/Languages
   8 Source0:        http://xsb.sourceforge.net/downloads/%{name}336.tar.gz
   9 # Source0-md5:  bd43680832cbe9a33ce1a9fc21d81d83
  10 Patch0:         %{name}-configure.patch
  11 URL:            http://xsb.sourceforge.net/
  12 BuildRequires:  autoconf
  13 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  14
  15 %description
  16 XSB Prolog Distribution - a logic programming and deductive database
  17 system.
  18
  19 %description -l pl.UTF-8
  20 Dystrybucja XSB Prologa - system programowania w logice oraz
  21 dedukcyjnych baz danych.
  22
  23 %prep
  24 %setup -q -n %{name}
  25 %patch0 -p1
  26
  27 %build
  28 installdir=$(pwd)/install
  29 cd build
  30 %{__autoconf}
  31 %configure \
  32         --prefix=$installdir
  33 %{__make} -f ../config/%{_target_platform}*/topMakefile
  34
  35 %install
  36 rm -rf $RPM_BUILD_ROOT
  37 install -d $RPM_BUILD_ROOT%{_libdir}/XSB
  38
  39 cp -a install/* $RPM_BUILD_ROOT%{_libdir}/XSB
  40
  41 cd build
  42 %{__make} -f ../config/%{_target_platform}*/topMakefile \
  43         prefix=$RPM_BUILD_ROOT%{_libdir}/XSB
  44
  45 %clean
  46 rm -rf $RPM_BUILD_ROOT
  47
  48 %files
  49 %defattr(644,root,root,755)
  50 %doc FAQ LICENSE README
  51 %attr(755,root,root) %{_bindir}/*
  52 # TODO