%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) %global svndate 20180624 %global svnrev 1104 Name: apron Version: 0.9.11 Release: 23.%{svnrev}.svn%{svndate}%{?dist} Summary: Numerical abstract domain library # The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of # which are GPLv2+. This means that libpolkaMPQ.so.*, libpolkaRll.so.*, and # libap_ppl.so.* are GPLv2+, and the other libraries are all LGPLv2+. License: LGPLv2+ and GPLv2+ URL: http://apron.cri.ensmp.fr/library/ # Upstream has given up on making releases, so we pull from subversion now. # Create the source tarball as follows: # svn export -r %%{svnrev} svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk \ # apron-%%{version} # tar cJf apron-%%{version}.tar apron-%%{version} Source0: %{name}-%{version}.tar.xz # This patch has not been sent upstream as it is GCC-specific. Certain # symbols are defined in both libpolkaMPQ and libpolkaRll, with different # implementations. This patch makes references to those symbols in # libap_pkgrid be weak references, since that library can be combined with # either of the 2 implementations. Patch0: %{name}-weak.patch # Adapt to texinfo 6.x Patch1: %{name}-texinfo.patch BuildRequires: doxygen-latex BuildRequires: gcc-c++ BuildRequires: ghostscript-tools-dvipdf BuildRequires: javapackages-local BuildRequires: mpfr-devel BuildRequires: ppl-devel BuildRequires: ocaml BuildRequires: ocaml-camlidl-devel BuildRequires: ocaml-findlib BuildRequires: ocaml-mlgmpidl-devel BuildRequires: ocaml-ocamldoc BuildRequires: perl-interpreter BuildRequires: tex(adjustbox.sty) BuildRequires: tex(etoc.sty) BuildRequires: tex(fullpage.sty) BuildRequires: tex(hanging.sty) BuildRequires: tex(listofitems.sty) BuildRequires: tex(newunicodechar.sty) BuildRequires: tex(stackengine.sty) BuildRequires: tex(tabu.sty) BuildRequires: tex(ulem.sty) BuildRequires: texinfo-tex %global sover %(cut -d. -f 1 <<< %{version}) %description The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program. The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. %package devel Summary: Development files for %{name} Requires: %{name}%{?_isa} = %{version}-%{release} Requires: gmp-devel%{?_isa} Requires: mpfr-devel%{?_isa} Provides: bundled(jquery) %description devel The %{name}-devel package contains libraries and signature files for developing applications that use %{name}. %package -n ocaml-%{name} Summary: Ocaml interface to APRON Requires: %{name}%{?_isa} = %{version}-%{release} %description -n ocaml-%{name} Ocaml interface to the APRON library. %package -n ocaml-%{name}-devel Summary: Development files for the Ocaml interface to APRON Requires: ocaml-%{name}%{?_isa} = %{version}-%{release} Requires: ocaml-camlidl-devel%{?_isa} Requires: ocaml-mlgmpidl-devel%{?_isa} Requires: %{name}-devel%{?_isa} = %{version}-%{release} %description -n ocaml-%{name}-devel Development files for the Ocaml interface to the APRON library. %package -n japron Summary: Java interface to APRON Requires: %{name}%{?_isa} = %{version}-%{release} %description -n japron Java interface to the APRON library. %prep %setup -q %patch0 %patch1 # Fix library path for 64-bit installs if [ "%{_libdir}" = "%{_prefix}/lib64" ]; then sed -i 's,\${apron_prefix}/lib,&64,' configure sed -i 's,/lib,&64,' vars.mk fi # Add sonames sed "s|(-shared -o \\\$@ \\\$\^ \\\$\(LIBS.*\))|\1 -Wl,-soname=\$@.%{sover}|" \ -ri apronxx/Makefile sed -i "s|_APRON_DYLIB)|& -Wl,-h,\$@.%{sover}|" apron/Makefile \ box/Makefile newpolka/Makefile octagons/Makefile ppl/Makefile \ products/Makefile taylor1plus/Makefile # Fix encodings iconv -f iso8859-1 -t utf-8 Changes > Changes.utf8 touch -r Changes Changes.utf8 mv -f Changes.utf8 Changes # Preserve timestamps sed -i 's/^\([[:blank:]]*cp[[:blank:]]\)/\1-p /' Makefile */Makefile %build # This is NOT an autoconf-generated script. Do not use %%configure CPPFLAGS="-D_GNU_SOURCE" \ CFLAGS="%{optflags} -fsigned-char" \ CXXFLAGS="%{optflags} -fsigned-char" \ LDFLAGS="-Wl,--as-needed $RPM_LD_FLAGS" \ java_home="%{_jvmdir}/java" \ ./configure -prefix %{_prefix} -java-prefix %{_jvmdir}/java # Put back a flag that the configure script strips out sed -i 's/-Wp,-D_FORTIFY_SOURCE=2/-Werror=format-security &/' Makefile.config # Building with JNI requires two include paths; configure only gives us one sed -i 's,^JNIINC.*,& -I%{_jvmdir}/java/include/linux,' Makefile.config # FIXME: Cannot use %%{?_smp_mflags} due to missing Makefile dependencies make make doc %install # Install the ocaml bits into the buildroot sed -i 's, install ,&-destdir %{buildroot}%{_libdir}/ocaml -ldconf ignore ,' \ Makefile # Install mkdir -p %{buildroot}%{_libdir}/ocaml mkdir -p %{buildroot}%{_jnidir} make install INSTALL="install -p" APRON_PREFIX=%{buildroot}%{_prefix} \ JAVA_PREFIX=%{buildroot}%{_jnidir} # Move the JNI shared objects mv %{buildroot}%{_libdir}/libj*.so %{buildroot}%{_jnidir} # We don't really want the test binaries rm -fr %{buildroot}%{_bindir} # Move the header files into a subdirectory mkdir %{buildroot}%{_includedir}/%{name} mv %{buildroot}%{_includedir}/*.h %{buildroot}%{_includedir}/apronxx \ %{buildroot}%{_includedir}/oct %{buildroot}%{_includedir}/%{name} # Remove extraneous executable bits find %{buildroot}%{_includedir} \( -name \*.h -o -name \*.hh \) \ -perm /0111 -execdir chmod a-x {} + # Erase the static libraries rm -f %{buildroot}%{_libdir}/*.a # Fix up the shared library names pushd %{buildroot}%{_libdir} for f in lib*.so; do mv $f $f.%{version} ln -s $f.%{sover} $f ln -s $f.%{version} $f.%{sover} done popd # Don't have two sets of documentation both named html mkdir doc mv apron/html doc/apron mv apronxx/doc/html doc/apronxx %check export LD_LIBRARY_PATH=%{buildroot}%{_libdir}:%{buildroot}%{_libdir}/ocaml/apron make -C test APRON_INCLUDE=%{buildroot}%{_includedir}/%{name} \ APRON_LIB=%{buildroot}%{_libdir}/ocaml/%{name} \ CAMLIDL_PREFIX=%{buildroot}%{_libdir} test/ctest1 %ldconfig_scriptlets %files %doc AUTHORS Changes README apron/apron.pdf %license COPYING %{_libdir}/*.so.* %files devel %doc doc/apron doc/apronxx %{_libdir}/*.so %{_includedir}/%{name}/ %files -n ocaml-%{name} %doc mlapronidl/mlapronidl.pdf %dir %{_libdir}/ocaml/%{name}/ %{_libdir}/ocaml/%{name}/META %{_libdir}/ocaml/%{name}/*.cma %{_libdir}/ocaml/%{name}/*.cmi %{_libdir}/ocaml/%{name}/*.cmxs %{_libdir}/ocaml/%{name}/*.so %files -n ocaml-%{name}-devel %doc mlapronidl/html/* %if %opt %{_libdir}/ocaml/%{name}/*.a %{_libdir}/ocaml/%{name}/*.cmxa %{_libdir}/ocaml/%{name}/*.cmx %endif %{_libdir}/ocaml/%{name}/*.h %{_libdir}/ocaml/%{name}/*.idl %{_libdir}/ocaml/%{name}/*.mli %files -n japron %doc japron/README %license japron/COPYING %{_jnidir}/*.jar %{_jnidir}/*.so %changelog * Thu Jan 31 2019 Fedora Release Engineering - 0.9.11-23.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jul 12 2018 Fedora Release Engineering - 0.9.11-22.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones - 0.9.11-21.1104.svn20180624 - OCaml 4.07.0 (final) rebuild. * Sat Jul 7 2018 Jerry James - 0.9.11-20.1104.svn20180624 - Update to latest subversion commit * Wed Jun 20 2018 Richard W.M. Jones - 0.9.11-19.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.9.11-18.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.9.11-17.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.9.11-16.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones - 0.9.11-15.1097.svn20160801 - OCaml 4.07.0-rc1 rebuild. * Wed Feb 07 2018 Fedora Release Engineering - 0.9.11-14.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Dec 4 2017 Jerry James - 0.9.11-13.1097.svn20160801 - Rebuild for mlgmpidl 1.2.6-1 * Fri Nov 17 2017 Richard W.M. Jones - 0.9.11-12.1097.svn20160801 - OCaml 4.06.0 rebuild. * Tue Aug 08 2017 Richard W.M. Jones - 0.9.11-11.1097.svn20160801 - OCaml 4.05.0 rebuild. * Wed Aug 02 2017 Fedora Release Engineering - 0.9.11-10.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 0.9.11-9.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon Jun 26 2017 Richard W.M. Jones - 0.9.11-8.1097.svn20160801 - OCaml 4.04.2 rebuild. * Fri May 12 2017 Richard W.M. Jones - 0.9.11-7.1097.svn20160801 - OCaml 4.04.1 rebuild. * Fri Mar 24 2017 Jerry James - 0.9.11-6.1097.svn20160801 - Rebuild for mlgmpidl * Fri Mar 3 2017 Jerry James - 0.9.11-5.1097.svn20160801 - Update to latest subversion commit and rebuild for ppl 1.2 * Fri Feb 10 2017 Fedora Release Engineering - 0.9.11-4.1096.svn20160531 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Wed Nov 09 2016 Dan Horák - 0.9.11-3.1096.svn20160531 - rebuild for s390x codegen bug * Sun Nov 06 2016 Richard W.M. Jones - 0.9.11-2.1096.svn20160531 - Rebuild for OCaml 4.04.0. * Sat Jul 16 2016 Jerry James - 0.9.11-1.1096.svn20160531 - Update to latest subversion commit * Sun Mar 06 2016 Than Ngo - 0.9.10-36.svn20160125 - remove wWorkaround bz 1305739; it's fixed in lates doxygen * Fri Feb 12 2016 Jerry James - 0.9.10-35.1091.svn20160125 - Some ocaml projects need the debug libraries; add them back in * Fri Feb 12 2016 Jerry James - 0.9.10-34.1091.svn20160125 - Update to latest subversion commit - Add japron subpackage with the Java interface - Add %%check script - Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches - Add -texinfo patch to fix documentation build failure * Wed Feb 03 2016 Fedora Release Engineering - 0.9.10-33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Tue Jul 28 2015 Richard W.M. Jones - 0.9.10-32 - Bump release and rebuild. * Tue Jul 28 2015 Richard W.M. Jones - 0.9.10-31 - OCaml 4.02.3 rebuild. * Tue Jul 21 2015 Richard W.M. Jones - 0.9.10-30 - Fix bytecode compilation. * Wed Jun 24 2015 Richard W.M. Jones - 0.9.10-29 - ocaml-4.02.2 final rebuild. * Wed Jun 17 2015 Richard W.M. Jones - 0.9.10-28 - ocaml-4.02.2 rebuild. * Wed Jun 17 2015 Fedora Release Engineering - 0.9.10-27 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 02 2015 Kalev Lember - 0.9.10-26 - Rebuilt for GCC 5 C++11 ABI change * Tue Feb 17 2015 Richard W.M. Jones - 0.9.10-25 - ocaml-4.02.1 rebuild. * Wed Feb 11 2015 Jerry James - 0.9.10-24 - Use license macro * Sun Aug 31 2014 Richard W.M. Jones - 0.9.10-23 - ocaml-4.02.0 final rebuild. * Sat Aug 23 2014 Richard W.M. Jones - 0.9.10-22 - ocaml-4.02.0+rc1 rebuild. * Fri Aug 15 2014 Fedora Release Engineering - 0.9.10-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Aug 02 2014 Richard W.M. Jones - 0.9.10-20 - ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. * Mon Jul 21 2014 Jerry James - 0.9.10-19 - OCaml 4.02.0 beta rebuild * Fri Jun 27 2014 Jerry James - 0.9.10-18 - Build with -fsigned-char to fix FTBFS on aarch64 - Use a better test for installing files into 64-bit libdir * Sat Jun 07 2014 Fedora Release Engineering - 0.9.10-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Wed Apr 30 2014 Jerry James - 0.9.10-16 - Rebuild for ppl 1.1 * Fri Apr 18 2014 Jerry James - 0.9.10-15 - Ensure GNU extensions are enabled to fix build failure * Tue Apr 15 2014 Richard W.M. Jones - 0.9.10-15 - Remove ocaml_arches macro (RHBZ#1087794). * Wed Nov 20 2013 Jerry James - 0.9.10-14 - Add -format-security patch * Sat Sep 14 2013 Richard W.M. Jones - 0.9.10-13 - Rebuild for OCaml 4.01.0. * Sat Aug 03 2013 Fedora Release Engineering - 0.9.10-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Thu Feb 14 2013 Jerry James - 0.9.10-11 - Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0 - Update -mlgmpidl12 patch to fix more problems * Wed Feb 13 2013 Fedora Release Engineering - 0.9.10-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Fri Nov 30 2012 Tom Callaway - 0.9.10-10 - rebuild for ppl * Wed Oct 17 2012 Jerry James - 0.9.10-9 - Rebuild for OCaml 4.00.1 * Wed Jul 18 2012 Fedora Release Engineering - 0.9.10-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Sat Jun 9 2012 Jerry James - 0.9.10-7 - Rebuild for OCaml 4.00.0 * Wed May 9 2012 Jerry James - 0.9.10-6 - Rebuild for new ocaml-mlgmpidl * Fri Jan 6 2012 Jerry James - 0.9.10-5 - Rebuild for GCC 4.7 and Ocaml 3.12.1 * Tue Nov 8 2011 Jerry James - 0.9.10-4 - -devel also needs ocaml-camlidl-devel - Pass --as-needed to the linker to fix unused shared library dependencies * Fri Nov 4 2011 Jerry James - 0.9.10-3 - Comment on license situation - Drop debug libraries altogether * Wed Aug 24 2011 Jerry James - 0.9.10-2 - Correct license - Build C and C++ interfaces even when the ocaml interface cannot be built - Move debug libraries to separate packages * Fri Jul 8 2011 Jerry James - 0.9.10-1 - Initial RPM