isl-vl.spec 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139
  1. Summary: Integer point manipulation library
  2. Name: isl
  3. Version: 0.23
  4. Release: 1%{?_dist_release}
  5. Group: system
  6. Vendor: Project Vine
  7. Distribution: Vine Linux
  8. License: MIT
  9. URL: http://isl.gforge.inria.fr/
  10. %global libmajor 23
  11. %global libversion %{libmajor}.0.0
  12. %global oldversion 0.16.1
  13. %global oldlibmajor 15
  14. %global oldlibversion %{oldlibmajor}.1.1
  15. # Please set buildid below when building a private version of this rpm to
  16. # differentiate it from the stock rpm.
  17. #
  18. # % global buildid .local
  19. BuildRequires: gmp-devel
  20. BuildRequires: pkgconfig
  21. Source0: http://isl.gforge.inria.fr/isl-%{version}.tar.xz
  22. # Current gcc requires exactly 0.14.1
  23. Source1: http://isl.gforge.inria.fr/isl-%{oldversion}.tar.xz
  24. BuildRoot: %{_tmppath}/%{name}-%{version}-root
  25. %description
  26. isl is a library for manipulating sets and relations of integer points
  27. bounded by linear constraints. Supported operations on sets include
  28. intersection, union, set difference, emptiness check, convex hull,
  29. (integer) affine hull, integer projection, computing the lexicographic
  30. minimum using parametric integer programming, coalescing and parametric
  31. vertex enumeration. It also includes an ILP solver based on generalized
  32. basis reduction, transitive closures on maps (which may encode infinite
  33. graphs), dependence analysis and bounds on piecewise step-polynomials.
  34. %package devel
  35. Summary: Development for building integer point manipulation library
  36. Group: programming
  37. Requires: isl == %{version}-%{release}
  38. Requires: gmp-devel
  39. %description devel
  40. isl is a library for manipulating sets and relations of integer points
  41. bounded by linear constraints. Supported operations on sets include
  42. intersection, union, set difference, emptiness check, convex hull,
  43. (integer) affine hull, integer projection, computing the lexicographic
  44. minimum using parametric integer programming, coalescing and parametric
  45. vertex enumeration. It also includes an ILP solver based on generalized
  46. basis reduction, transitive closures on maps (which may encode infinite
  47. graphs), dependence analysis and bounds on piecewise step-polynomials.
  48. %debug_package
  49. %prep
  50. %global docdir isl-%{version}
  51. %setup -a 1 -q -n isl -c
  52. %build
  53. cd isl-%{oldversion}
  54. %configure
  55. make %{?_smp_mflags} V=1
  56. cd ..
  57. cd isl-%{version}
  58. %configure
  59. make %{?_smp_mflags} V=1
  60. %install
  61. cd isl-%{oldversion}
  62. %make_install INSTALL="install -p" install-libLTLIBRARIES
  63. cd ..
  64. cd isl-%{version}
  65. %make_install INSTALL="install -p"
  66. rm -f %{buildroot}/%{_libdir}/libisl.a
  67. rm -f %{buildroot}/%{_libdir}/libisl.la
  68. mkdir -p %{buildroot}/%{_datadir}
  69. %global gdbprettydir %{_datadir}/gdb/auto-load/%{_libdir}
  70. mkdir -p %{buildroot}/%{gdbprettydir}
  71. mv %{buildroot}/%{_libdir}/*-gdb.py* %{buildroot}/%{gdbprettydir}
  72. %check
  73. cd isl-%{oldversion}
  74. #make check
  75. cd ..
  76. cd isl-%{version}
  77. #make check
  78. %post -p /sbin/ldconfig
  79. %postun -p /sbin/ldconfig
  80. %files
  81. %{_libdir}/libisl.so.%{libmajor}
  82. %{_libdir}/libisl.so.%{libversion}
  83. %{_libdir}/libisl.so.%{oldlibmajor}
  84. %{_libdir}/libisl.so.%{oldlibversion}
  85. %{gdbprettydir}/*
  86. %license %{docdir}/LICENSE
  87. %doc %{docdir}/AUTHORS %{docdir}/ChangeLog %{docdir}/README
  88. %files devel
  89. %{_includedir}/*
  90. %{_libdir}/libisl.so
  91. %{_libdir}/pkgconfig/isl.pc
  92. %doc doc/manual.pdf
  93. %changelog
  94. * Tue Feb 09 2021 Tomohiro "Tomo-p" KATO <tomop@teamgedoh.net> 0.23-1
  95. - new upstream release.
  96. * Sun Jan 20 2019 Tomohiro "Tomo-p" KATO <tomop@teamgedoh.net> 0.16.1-1
  97. - new upstream release.
  98. * Sat Jun 25 2016 Yoji TOYODA <bsyamato@sea.plala.or.jp> 0.14.1-1
  99. - initial build for Vine Linux
  100. * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.14-4
  101. - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
  102. * Mon Jan 5 2015 David Howells <dhowells@redhat.com> - 0.14-3
  103. - Initial packaging.