perl-Math-Logic-Predicate.spec

   1 #
   2 # Conditional build:
   3 %bcond_without  tests   # do not perform "make test"
   4
   5 %define         pdir    Math
   6 %define         pnam    Logic-Predicate
   7 %include        /usr/lib/rpm/macros.perl
   8 Summary:        Math::Logic::Predicate - manage and query a predicate assertion database
   9 Summary(pl.UTF-8):      Math::Logic::Predicate - zarządzanie i przeszukiwanie bazy danych twierdzeń
  10 Name:           perl-Math-Logic-Predicate
  11 Version:        0.03
  12 Release:        2
  13 License:        Artistic
  14 Group:          Development/Languages/Perl
  15 Source0:        http://www.cpan.org/modules/by-module/%{pdir}/%{pdir}-%{pnam}-%{version}.tar.gz
  16 # Source0-md5:  4918c427d82cb3a4d27a080f3f661040
  17 URL:            http://search.cpan.org/dist/Math-Logic-Predicate/
  18 BuildRequires:  perl-devel >= 1:5.8.0
  19 BuildRequires:  rpm-perlprov >= 4.1-13
  20 BuildArch:      noarch
  21 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  22
  23 %description
  24 Math::Logic::Predicate is an implementation which can prove statements
  25 based on first order predicate calculus assertions (think Prolog). At
  26 the moment, it is only a subset of the predicate calculus, but by
  27 version 1.0 at the latest it will support the entire system. It is
  28 written entirely in Perl, and it's really fast, too.
  29
  30 %description -l pl.UTF-8
  31 Math::Logic::Predicate to implementacja potrafiąca udowadniać
  32 twierdzenia w oparciu o twierdzenia dotyczące rachunku predykatów
  33 pierwszego rzędu (jak w Prologu). Aktualnie jest to tylko podzbiór
  34 rachunku predykatów, ale do wersji 1.0 powinien był obsługiwany cały
  35 system. Moduł jest napisany w całkowicie w Perlu i jest naprawdę
  36 szybki.
  37
  38 %prep
  39 %setup -q -n %{pdir}-%{pnam}-%{version}
  40
  41 %build
  42 %{__perl} Makefile.PL \
  43         INSTALLDIRS=vendor
  44
  45 %{__make}
  46
  47 %{?with_tests:%{__make} test}
  48
  49 %install
  50 rm -rf $RPM_BUILD_ROOT
  51
  52 %{__make} install \
  53         DESTDIR=$RPM_BUILD_ROOT
  54
  55 %clean
  56 rm -rf $RPM_BUILD_ROOT
  57
  58 %files
  59 %defattr(644,root,root,755)
  60 %doc README
  61 %dir %{perl_vendorlib}/Math/Logic
  62 %{perl_vendorlib}/Math/Logic/Predicate.pm
  63 %{_mandir}/man3/*