perl-Math-Logic-Predicate.spec

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