isl.spec

   1 # TODO: verify gdb pretty-printers location
   2 #
   3 # Conditional build:
   4 %bcond_without  apidocs         # do not build and package API docs
   5 %bcond_without  static_libs     # don't build static libraries
   6 %bcond_without  piplib          # PipLib solver (stubs are used instead)
   7 #
   8 Summary:        Library for manipulating sets and relations of integer points bounded by linear constraints
   9 Summary(pl.UTF-8):      Biblioteka operacji na zbiorach i relacjach punktów całkowitoliczbowych z ograniczeniami liniowymi
  10 Name:           isl
  11 Version:        0.12
  12 Release:        1
  13 License:        MIT
  14 Group:          Libraries
  15 Source0:        ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/%{name}-%{version}.tar.lzma
  16 # Source0-md5:  355bf920bf145b7a23f20b9e6080628d
  17 URL:            http://freecode.com/projects/isl
  18 BuildRequires:  gmp-devel
  19 %{?with_piplib:BuildRequires:   piplib-devel >= 1.3.6}
  20 BuildRequires:  rpm-pythonprov
  21 BuildRequires:  tar >= 1:1.22
  22 BuildRequires:  xz
  23 %if %{with apidocs}
  24 BuildRequires:  perl-base
  25 BuildRequires:  perl-tools-pod
  26 BuildRequires:  texlive-format-pdflatex
  27 %endif
  28 %{?with_piplib:Requires:        piplib >= 1.3.6}
  29 # clang can be used to generate interface/isl.py, which is not used afterwards
  30 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  31
  32 %description
  33 isl is a library for manipulating sets and relations of integer points
  34 bounded by linear constraints. Supported operations on sets include
  35 intersection, union, set difference, emptiness check, convex hull,
  36 (integer) affine hull, integer projection, and computing the
  37 lexicographic minimum using parametric integer programming. It also
  38 includes an ILP solver based on generalized basis reduction.
  39
  40 %description -l pl.UTF-8
  41 isl to biblioteka do operacji na zbiorach i relacjach punktów
  42 całkowitoliczbowych z ograniczeniami liniowymi. Obsługiwane operacje
  43 na zbiorach obejmują przecięcia, sumy, różnice, sprawdzanie, czy zbiór
  44 jest pusty, wyznaczanie powłoki wypukłej, wyznaczanie
  45 (całkowitoliczbowej) powłoki afinicznej, rzuty całkowitoliczbowe oraz
  46 obliczanie minimum leksykograficznego przy użyciu parametrycznego
  47 programowania liniowego. Biblioteka obsługuje także rozwiazywanie
  48 całkowitoliczbowych problemów liniowych w oparciu o redukcję bazy.
  49
  50 %package devel
  51 Summary:        Header files for isl library
  52 Summary(pl.UTF-8):      Pliki nagłówkowe biblioteki isl
  53 Group:          Development/Libraries
  54 Requires:       %{name} = %{version}-%{release}
  55 Requires:       gmp-devel
  56 %{?with_piplib:Requires:        piplib-devel >= 1.3.6}
  57
  58 %description devel
  59 Header files for isl library.
  60
  61 %description devel -l pl.UTF-8
  62 Pliki nagłówkowe biblioteki isl.
  63
  64 %package static
  65 Summary:        Static isl library
  66 Summary(pl.UTF-8):      Statyczna biblioteka isl
  67 Group:          Development/Libraries
  68 Requires:       %{name}-devel = %{version}-%{release}
  69
  70 %description static
  71 Static isl library.
  72
  73 %description static -l pl.UTF-8
  74 Statyczna biblioteka isl.
  75
  76 %package apidocs
  77 Summary:        isl API documentation
  78 Summary(pl.UTF-8):      Dokumentacja API biblioteki isl
  79 Group:          Documentation
  80
  81 %description apidocs
  82 API and internal documentation for isl library.
  83
  84 %description apidocs -l pl.UTF-8
  85 Dokumentacja API biblioteki isl.
  86
  87 %package gdb
  88 Summary:        GDB Python pretty printers for isl types
  89 Summary(pl.UTF-8):      Skrypty Pythona dla GDB do ładnego wypisywania typów isl
  90 Group:          Development/Debuggers
  91 Requires:       gdb
  92
  93 %description gdb
  94 GDB Python pretty printers for most of isl objects.
  95
  96 %description gdb -l pl.UTF-8
  97 Skrypty Pythona dla GDB do ładnego wypisywania większości obiektów
  98 isl.
  99
 100 %prep
 101 %setup -q
 102
 103 %build
 104 %configure \
 105         --disable-silent-rules \
 106         %{?with_piplib:--with-piplib=system}
 107 %{__make}
 108
 109 %install
 110 rm -rf $RPM_BUILD_ROOT
 111
 112 %{__make} install \
 113         DESTDIR=$RPM_BUILD_ROOT
 114
 115 install -d $RPM_BUILD_ROOT%{_datadir}/gdb/auto-load/usr/%{_lib}
 116 mv $RPM_BUILD_ROOT%{_libdir}/libisl.so.*.*.*-gdb.py $RPM_BUILD_ROOT%{_datadir}/gdb/auto-load/usr/%{_lib}
 117
 118 %clean
 119 rm -rf $RPM_BUILD_ROOT
 120
 121 %post   -p /sbin/ldconfig
 122 %postun -p /sbin/ldconfig
 123
 124 %files
 125 %defattr(644,root,root,755)
 126 %doc AUTHORS ChangeLog
 127 %attr(755,root,root) %{_libdir}/libisl.so.*.*.*
 128 %attr(755,root,root) %ghost %{_libdir}/libisl.so.10
 129
 130 %files devel
 131 %defattr(644,root,root,755)
 132 %attr(755,root,root) %{_libdir}/libisl.so
 133 %{_libdir}/libisl.la
 134 %{_includedir}/isl
 135 %{_pkgconfigdir}/isl.pc
 136
 137 %files static
 138 %defattr(644,root,root,755)
 139 %{_libdir}/libisl.a
 140
 141 %if %{with apidocs}
 142 %files apidocs
 143 %defattr(644,root,root,755)
 144 %doc doc/manual.pdf
 145 %endif
 146
 147 %files gdb
 148 %defattr(644,root,root,755)
 149 %{_datadir}/gdb/auto-load/usr/%{_lib}/libisl.so.*.*.*-gdb.py