LADR.spec

   1 %define LADRver 2009-02A
   2 Summary:        Library for Automated Deduction Research
   3 Name:           LADR
   4 Version:        %(echo %{LADRver} | tr '-' .)
   5 Release:        0.1
   6 License:        GPL v2
   7 Group:          Applications
   8 Source0:        http://www.cs.unm.edu/~mccune/mace4/download/%{name}-%{LADRver}.tar.gz
   9 # Source0-md5:  f37a5304737ea2b14caf90d0a784964e
  10 Source1:        %{name}-libtoolize
  11 URL:            http://www.cs.unm.edu/~mccune/mace4/
  12 BuildRequires:  libtool
  13 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  14
  15 %description
  16
  17 %description -l pl.UTF-8
  18
  19 %package devel
  20 Summary:        Header files for LADR library
  21 Summary(pl.UTF-8):      Pliki nagłówkowe biblioteki LADR
  22 Group:          Development/Libraries
  23 Requires:       %{name} = %{version}-%{release}
  24
  25 %description devel
  26 Header files for LADR library.
  27
  28 %description devel -l pl.UTF-8
  29 Pliki nagłówkowe biblioteki LADR.
  30
  31 %package static
  32 Summary:        Static LADR library
  33 Summary(pl.UTF-8):      Statyczna biblioteka LADR
  34 Group:          Development/Libraries
  35 Requires:       %{name}-devel = %{version}-%{release}
  36
  37 %description static
  38 Static LADR library.
  39
  40 %description static -l pl.UTF-8
  41 Statyczna biblioteka LADR.
  42
  43 %package -n prover9
  44 Summary:        -
  45 Summary(pl.UTF-8):      -
  46 Group:          -
  47
  48 %description -n prover9
  49
  50 %description -n prover9 -l pl.UTF-8
  51
  52 %prep
  53 %setup -q -n %{name}-%{LADRver}
  54 install %{SOURCE1} Llibtoolize
  55 ./Llibtoolize --patch .
  56
  57 %build
  58 %{__make} all \
  59         CFLAGS="%{rpmcflags}" \
  60         LDFLAGS="%{rpmldflags}"
  61
  62 %install
  63 rm -rf $RPM_BUILD_ROOT
  64 install -d $RPM_BUILD_ROOT{%{_bindir},%{_libdir},%{_includedir}} \
  65         $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
  66
  67 %clean
  68 rm -rf $RPM_BUILD_ROOT
  69
  70 %post   -p /sbin/ldconfig
  71 %postun -p /sbin/ldconfig
  72
  73 %files
  74 %defattr(644,root,root,755)
  75 %doc AUTHORS CREDITS ChangeLog NEWS README THANKS TODO
  76 %attr(755,root,root) %{_libdir}/libladr.so.*.*
  77 %attr(755,root,root) %ghost %{_libdir}/libladr.so.4
  78
  79 #%{_examplesdir}/%{name}-%{version}
  80
  81 %files devel
  82 %defattr(644,root,root,755)
  83 %{_includedir}/ladr
  84 %{_libdir}/libladr.la
  85 %attr(755,root,root) %{_libdir}/libladr.so
  86
  87 %files static
  88 %defattr(644,root,root,755)
  89 %{_libdir}/libladr.a
  90
  91 %files -n prover9
  92 %defattr(644,root,root,755)
  93 %attr(755,root,root) %{_bindir}/*
  94 #%{_datadir}/%{name}-ext