|
|
|
|
@ -1,26 +1,17 @@
|
|
|
|
|
# TODO: A Julia interface is now available, but requires
|
|
|
|
|
# https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently
|
|
|
|
|
# available in Fedora.
|
|
|
|
|
|
|
|
|
|
# TODO: A JavaScript interface is now available. Given the generally poor
|
|
|
|
|
# state of JavaScript in Fedora, I do not plan to add a subpackage for it
|
|
|
|
|
# unless somebody is really, really persuasive and available to help fix it
|
|
|
|
|
# if it breaks.
|
|
|
|
|
|
|
|
|
|
# Tests are off by default because some of the tests require more memory than
|
|
|
|
|
# the koji builders have available.
|
|
|
|
|
%bcond_with test
|
|
|
|
|
|
|
|
|
|
Name: z3
|
|
|
|
|
Version: 4.12.4
|
|
|
|
|
Release: 4%{?dist}
|
|
|
|
|
Version: 4.8.14
|
|
|
|
|
Release: 1%{?dist}
|
|
|
|
|
Summary: Satisfiability Modulo Theories (SMT) solver
|
|
|
|
|
|
|
|
|
|
License: MIT
|
|
|
|
|
URL: https://github.com/Z3Prover/z3
|
|
|
|
|
Source0: https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz
|
|
|
|
|
# Do not try to build or install native OCaml artifacts on bytecode-only arches
|
|
|
|
|
Patch0: %{name}-ocaml.patch
|
|
|
|
|
# Change the way python finds the shared object; see bz 1910923
|
|
|
|
|
Patch0: %{name}-python.patch
|
|
|
|
|
|
|
|
|
|
BuildRequires: cmake
|
|
|
|
|
BuildRequires: doxygen
|
|
|
|
|
@ -28,18 +19,14 @@ BuildRequires: gcc-c++
|
|
|
|
|
BuildRequires: gmp-devel
|
|
|
|
|
BuildRequires: graphviz
|
|
|
|
|
BuildRequires: help2man
|
|
|
|
|
%ifarch %{java_arches}
|
|
|
|
|
BuildRequires: java-devel
|
|
|
|
|
BuildRequires: javapackages-tools
|
|
|
|
|
%endif
|
|
|
|
|
BuildRequires: make
|
|
|
|
|
BuildRequires: ninja-build
|
|
|
|
|
%ifnarch %{ix86}
|
|
|
|
|
BuildRequires: ocaml
|
|
|
|
|
BuildRequires: ocaml-findlib
|
|
|
|
|
BuildRequires: ocaml-ocamldoc
|
|
|
|
|
BuildRequires: ocaml-zarith-devel
|
|
|
|
|
%endif
|
|
|
|
|
BuildRequires: python3-devel
|
|
|
|
|
BuildRequires: %{py3_dist setuptools}
|
|
|
|
|
|
|
|
|
|
@ -54,55 +41,17 @@ uninterpreted functions, and quantifiers.
|
|
|
|
|
%package libs
|
|
|
|
|
Summary: Library for applications that use z3 functionality
|
|
|
|
|
|
|
|
|
|
# This can be removed when F40 reaches EOL
|
|
|
|
|
%ifnarch %{java_arches}
|
|
|
|
|
Obsoletes: java-z3 < 4.8.17-5
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%description libs
|
|
|
|
|
Library for applications that use z3 functionality.
|
|
|
|
|
|
|
|
|
|
%package devel
|
|
|
|
|
Summary: Header files for build applications that use z3
|
|
|
|
|
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description devel
|
|
|
|
|
Header files for build applications that use z3.
|
|
|
|
|
|
|
|
|
|
%package doc
|
|
|
|
|
# The content is MIT.
|
|
|
|
|
# Two files in examples are GPL-3.0-or-later WITH Bison-exception 2.2:
|
|
|
|
|
# examples/tptp/tptp5.tab.c
|
|
|
|
|
# examples/tptp/tptp5.tab.c
|
|
|
|
|
# Other licenses are due to files installed by doxygen.
|
|
|
|
|
# html/bc_s.png: GPL-1.0-or-later
|
|
|
|
|
# html/bdwn.png: GPL-1.0-or-later
|
|
|
|
|
# html/closed.png: GPL-1.0-or-later
|
|
|
|
|
# html/doc.png: GPL-1.0-or-later
|
|
|
|
|
# html/doxygen.css: GPL-1.0-or-later
|
|
|
|
|
# html/doxygen.svg: GPL-1.0-or-later
|
|
|
|
|
# html/dynsections.js: MIT
|
|
|
|
|
# html/folderclosed.png: GPL-1.0-or-later
|
|
|
|
|
# html/folderopen.png: GPL-1.0-or-later
|
|
|
|
|
# html/jquery.js: MIT
|
|
|
|
|
# html/nav_f.png: GPL-1.0-or-later
|
|
|
|
|
# html/nav_g.png: GPL-1.0-or-later
|
|
|
|
|
# html/nav_h.png: GPL-1.0-or-later
|
|
|
|
|
# html/open.png: GPL-1.0-or-later
|
|
|
|
|
# html/search/search.css: GPL-1.0-or-later
|
|
|
|
|
# html/search/search.js: MIT
|
|
|
|
|
# html/search/search_l.png: GPL-1.0-or-later
|
|
|
|
|
# html/search/search_m.png: GPL-1.0-or-later
|
|
|
|
|
# html/search/search_r.png: GPL-1.0-or-later
|
|
|
|
|
# html/splitbar.png: GPL-1.0-or-later
|
|
|
|
|
# html/sync_off.png: GPL-1.0-or-later
|
|
|
|
|
# html/sync_on.png: GPL-1.0-or-later
|
|
|
|
|
# html/tab_a.png: GPL-1.0-or-later
|
|
|
|
|
# html/tab_b.png: GPL-1.0-or-later
|
|
|
|
|
# html/tab_h.png: GPL-1.0-or-later
|
|
|
|
|
# html/tab_s.png: GPL-1.0-or-later
|
|
|
|
|
# html/tabs.css: GPL-1.0-or-later
|
|
|
|
|
License: MIT AND GPL-3.0-or-later WITH Bison-exception-2.2 AND GPL-1.0-or-later
|
|
|
|
|
Summary: API documentation for Z3
|
|
|
|
|
# FIXME: this should be noarch, but we end up with different numbers of inheritance
|
|
|
|
|
# graphs on different architectures. Why?
|
|
|
|
|
@ -110,49 +59,39 @@ Summary: API documentation for Z3
|
|
|
|
|
%description doc
|
|
|
|
|
API documentation for Z3.
|
|
|
|
|
|
|
|
|
|
%ifarch %{java_arches}
|
|
|
|
|
%package -n java-z3
|
|
|
|
|
%package -n java-%{name}
|
|
|
|
|
Summary: Java interface to z3
|
|
|
|
|
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
Requires: java
|
|
|
|
|
Requires: javapackages-tools
|
|
|
|
|
|
|
|
|
|
%description -n java-z3
|
|
|
|
|
%description -n java-%{name}
|
|
|
|
|
Java interface to z3.
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
|
|
|
|
|
%ifnarch %{ix86}
|
|
|
|
|
%package -n ocaml-z3
|
|
|
|
|
%package -n ocaml-%{name}
|
|
|
|
|
Summary: Ocaml interface to z3
|
|
|
|
|
Requires: z3-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description -n ocaml-z3
|
|
|
|
|
%description -n ocaml-%{name}
|
|
|
|
|
Ocaml interface to z3.
|
|
|
|
|
|
|
|
|
|
%package -n ocaml-z3-devel
|
|
|
|
|
%package -n ocaml-%{name}-devel
|
|
|
|
|
Summary: Files for building ocaml applications that use z3
|
|
|
|
|
Requires: ocaml-z3%{?_isa} = %{version}-%{release}
|
|
|
|
|
Requires: ocaml-zarith-devel%{?_isa}
|
|
|
|
|
Requires: ocaml-%{name}%{?_isa} = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description -n ocaml-z3-devel
|
|
|
|
|
%description -n ocaml-%{name}-devel
|
|
|
|
|
Files for building ocaml applications that use z3.
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%package -n python3-z3
|
|
|
|
|
%package -n python3-%{name}
|
|
|
|
|
Summary: Python 3 interface to z3
|
|
|
|
|
BuildArch: noarch
|
|
|
|
|
Requires: z3-libs = %{version}-%{release}
|
|
|
|
|
Requires: %{name}-libs = %{version}-%{release}
|
|
|
|
|
|
|
|
|
|
%description -n python3-z3
|
|
|
|
|
%description -n python3-%{name}
|
|
|
|
|
Python 3 interface to z3.
|
|
|
|
|
|
|
|
|
|
%prep
|
|
|
|
|
%autosetup -N -n %{name}-%{name}-%{version}
|
|
|
|
|
%ifnarch %{ocaml_native_compiler}
|
|
|
|
|
%patch -P0 -p1
|
|
|
|
|
%endif
|
|
|
|
|
%autopatch -m 1 -p1
|
|
|
|
|
%autosetup -p1 -n %{name}-%{name}-%{version}
|
|
|
|
|
|
|
|
|
|
# Enable verbose builds, use Fedora CFLAGS, preserve timestamps when installing,
|
|
|
|
|
# include the entire contents of the archives in the library, link the library
|
|
|
|
|
@ -161,8 +100,8 @@ sed \
|
|
|
|
|
-e 's/@$(CXX)/$(CXX)/' \
|
|
|
|
|
-e '/O3/d' \
|
|
|
|
|
-e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \
|
|
|
|
|
-e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive'/" \
|
|
|
|
|
-e '/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|' \
|
|
|
|
|
-e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive -Wl,--as-needed'/" \
|
|
|
|
|
-e "/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|" \
|
|
|
|
|
-e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
|
|
|
|
|
-e "s/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \
|
|
|
|
|
-i scripts/mk_util.py
|
|
|
|
|
@ -170,23 +109,24 @@ sed \
|
|
|
|
|
# Comply with the Java packaging guidelines and fill in the version for python
|
|
|
|
|
majver=$(cut -d. -f-2 <<< %{version})
|
|
|
|
|
sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so"),' \
|
|
|
|
|
-e "s/'so'/'so.$majver'/" \
|
|
|
|
|
-e "s/@MAJVER@/$majver/" \
|
|
|
|
|
-i scripts/update_api.py
|
|
|
|
|
|
|
|
|
|
# Turn off HTML timestamps for reproducible builds
|
|
|
|
|
sed -i '/HTML_TIMESTAMP/s/YES/NO/' doc/z3api.cfg.in doc/z3code.dox
|
|
|
|
|
# Fix character encoding
|
|
|
|
|
iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
|
|
|
|
|
touch -r RELEASE_NOTES RELEASE_NOTES.utf8
|
|
|
|
|
mv -f RELEASE_NOTES.utf8 RELEASE_NOTES
|
|
|
|
|
|
|
|
|
|
%build
|
|
|
|
|
export LANG=C.UTF-8
|
|
|
|
|
export PYTHON=%{python3}
|
|
|
|
|
export CXXFLAGS="%{build_cxxflags}"
|
|
|
|
|
export LANG="C.UTF-8"
|
|
|
|
|
export PYTHON="%{python3}"
|
|
|
|
|
|
|
|
|
|
%cmake -G Ninja \
|
|
|
|
|
-DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/z3 \
|
|
|
|
|
-DCMAKE_INSTALL_INCLUDEDIR=%{_includedir}/%{name} \
|
|
|
|
|
-DCMAKE_JAVA_COMPILE_FLAGS="-source;1.8;-target;1.8" \
|
|
|
|
|
-DZ3_BUILD_DOCUMENTATION:BOOL=ON \
|
|
|
|
|
%ifarch %{java_arches}
|
|
|
|
|
-DZ3_BUILD_JAVA_BINDINGS:BOOL=ON \
|
|
|
|
|
%endif
|
|
|
|
|
-DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON \
|
|
|
|
|
-DZ3_INCLUDE_GIT_HASH:BOOL=OFF \
|
|
|
|
|
-DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF \
|
|
|
|
|
@ -194,7 +134,6 @@ export PYTHON=%{python3}
|
|
|
|
|
|
|
|
|
|
%cmake_build
|
|
|
|
|
|
|
|
|
|
%ifnarch %{ix86}
|
|
|
|
|
# The cmake build system does not build the OCaml interface. Do that manually.
|
|
|
|
|
#
|
|
|
|
|
# First, run the configure script to generate several files.
|
|
|
|
|
@ -211,7 +150,6 @@ sed -i '/^api/s/ libz3\$(SO_EXT)//g' build/Makefile
|
|
|
|
|
|
|
|
|
|
# Fourth, build the OCaml interface
|
|
|
|
|
%make_build -C build ml
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%install
|
|
|
|
|
export LANG="C.UTF-8"
|
|
|
|
|
@ -219,37 +157,27 @@ export LANG="C.UTF-8"
|
|
|
|
|
# Install the C++, python3, and Java interfaces
|
|
|
|
|
%cmake_install
|
|
|
|
|
|
|
|
|
|
%ifarch %{java_arches}
|
|
|
|
|
# Move the Java interface to its correct location
|
|
|
|
|
mkdir -p %{buildroot}%{_libdir}/z3
|
|
|
|
|
mkdir -p %{buildroot}%{_libdir}/%{name}
|
|
|
|
|
mkdir -p %{buildroot}%{_jnidir}
|
|
|
|
|
mv %{buildroot}%{_javadir}/*.jar %{buildroot}%{_jnidir}
|
|
|
|
|
ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/z3
|
|
|
|
|
mv %{buildroot}%{_libdir}/libz3java.so %{buildroot}%{_libdir}/z3
|
|
|
|
|
%endif
|
|
|
|
|
ln -s %{_jnidir}/com.microsoft.z3.jar %{buildroot}%{_libdir}/%{name}
|
|
|
|
|
mv %{buildroot}%{_libdir}/lib%{name}java.so %{buildroot}%{_libdir}/%{name}
|
|
|
|
|
|
|
|
|
|
%ifnarch %{ix86}
|
|
|
|
|
# Install the OCaml interface
|
|
|
|
|
cd build/api/ml
|
|
|
|
|
mkdir -p %{buildroot}%{ocamldir}/Z3
|
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
|
cp -p *.cmx{,a,s} %{buildroot}%{ocamldir}/Z3
|
|
|
|
|
%endif
|
|
|
|
|
cp -p META *.{a,cma,cmi,mli} %{buildroot}%{ocamldir}/Z3
|
|
|
|
|
mkdir -p %{buildroot}%{ocamldir}/stublibs
|
|
|
|
|
cp -p *.so %{buildroot}%{ocamldir}/stublibs
|
|
|
|
|
cd -
|
|
|
|
|
%endif
|
|
|
|
|
pushd build/api/ml
|
|
|
|
|
mkdir -p %{buildroot}%{_libdir}/ocaml/Z3
|
|
|
|
|
cp -p META *.{a,cma,cmi,cmx,cmxa,cmxs,mli} %{buildroot}%{_libdir}/ocaml/Z3
|
|
|
|
|
mkdir -p %{buildroot}%{_libdir}/ocaml/stublibs
|
|
|
|
|
cp -p *.so %{buildroot}%{_libdir}/ocaml/stublibs
|
|
|
|
|
popd
|
|
|
|
|
|
|
|
|
|
# We handle the documentation files below
|
|
|
|
|
rm -rf %{buildroot}%{_docdir}/Z3
|
|
|
|
|
|
|
|
|
|
# Make a man page
|
|
|
|
|
mkdir -p %{buildroot}%{_mandir}/man1
|
|
|
|
|
help2man -N -o %{buildroot}%{_mandir}/man1/z3.1 %{_vpath_builddir}/z3
|
|
|
|
|
|
|
|
|
|
# Fix the pkgconfig file
|
|
|
|
|
sed -i 's,//usr,,' %{buildroot}%{_libdir}/pkgconfig/z3.pc
|
|
|
|
|
help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
|
|
|
|
|
|
|
|
|
|
%if %{with test}
|
|
|
|
|
%check
|
|
|
|
|
@ -261,156 +189,46 @@ cd -
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%files
|
|
|
|
|
%doc README.md RELEASE_NOTES.md
|
|
|
|
|
%{_bindir}/z3
|
|
|
|
|
%{_mandir}/man1/z3.1*
|
|
|
|
|
%doc README.md RELEASE_NOTES
|
|
|
|
|
%{_bindir}/%{name}
|
|
|
|
|
%{_mandir}/man1/%{name}.1*
|
|
|
|
|
|
|
|
|
|
%files libs
|
|
|
|
|
%license LICENSE.txt
|
|
|
|
|
%{_libdir}/libz3.so.4.12*
|
|
|
|
|
%{_libdir}/lib%{name}.so.4*
|
|
|
|
|
|
|
|
|
|
%files devel
|
|
|
|
|
%{_includedir}/z3/
|
|
|
|
|
%{_libdir}/libz3.so
|
|
|
|
|
%{_libdir}/cmake/z3/
|
|
|
|
|
%{_libdir}/pkgconfig/z3.pc
|
|
|
|
|
%{_includedir}/%{name}/
|
|
|
|
|
%{_libdir}/lib%{name}.so
|
|
|
|
|
%{_libdir}/cmake/%{name}/
|
|
|
|
|
%{_libdir}/pkgconfig/%{name}.pc
|
|
|
|
|
|
|
|
|
|
%files doc
|
|
|
|
|
%doc %{_vpath_builddir}/doc/api/html examples
|
|
|
|
|
%license LICENSE.txt
|
|
|
|
|
|
|
|
|
|
%ifarch %{java_arches}
|
|
|
|
|
%files -n java-z3
|
|
|
|
|
%{_libdir}/z3/
|
|
|
|
|
%files -n java-%{name}
|
|
|
|
|
%{_libdir}/%{name}/
|
|
|
|
|
%{_jnidir}/com.microsoft.z3*jar
|
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
%ifnarch %{ix86}
|
|
|
|
|
%files -n ocaml-z3
|
|
|
|
|
%dir %{ocamldir}/Z3/
|
|
|
|
|
%{ocamldir}/Z3/META
|
|
|
|
|
%{ocamldir}/Z3/*.cma
|
|
|
|
|
%{ocamldir}/Z3/*.cmi
|
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
|
%{ocamldir}/Z3/*.cmxs
|
|
|
|
|
%endif
|
|
|
|
|
%{ocamldir}/stublibs/*.so
|
|
|
|
|
%files -n ocaml-%{name}
|
|
|
|
|
%dir %{_libdir}/ocaml/Z3/
|
|
|
|
|
%{_libdir}/ocaml/Z3/META
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.cma
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.cmi
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.cmxs
|
|
|
|
|
%{_libdir}/ocaml/stublibs/*.so
|
|
|
|
|
|
|
|
|
|
%files -n ocaml-z3-devel
|
|
|
|
|
%{ocamldir}/Z3/*.a
|
|
|
|
|
%ifarch %{ocaml_native_compiler}
|
|
|
|
|
%{ocamldir}/Z3/*.cmx
|
|
|
|
|
%{ocamldir}/Z3/*.cmxa
|
|
|
|
|
%endif
|
|
|
|
|
%{ocamldir}/Z3/*.mli
|
|
|
|
|
%endif
|
|
|
|
|
%files -n ocaml-%{name}-devel
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.a
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.cmx
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.cmxa
|
|
|
|
|
%{_libdir}/ocaml/Z3/*.mli
|
|
|
|
|
|
|
|
|
|
%files -n python3-z3
|
|
|
|
|
%{python3_sitelib}/z3/
|
|
|
|
|
%files -n python3-%{name}
|
|
|
|
|
%{python3_sitelib}/%{name}/
|
|
|
|
|
|
|
|
|
|
%changelog
|
|
|
|
|
* Thu Dec 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-4
|
|
|
|
|
- Fix python package library load name (bz 2255464)
|
|
|
|
|
|
|
|
|
|
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-3
|
|
|
|
|
- OCaml 5.1.1 + s390x code gen fix for Fedora 40
|
|
|
|
|
|
|
|
|
|
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.4-2
|
|
|
|
|
- OCaml 5.1.1 rebuild for Fedora 40
|
|
|
|
|
|
|
|
|
|
* Sat Dec 9 2023 Jerry James <loganjerry@gmail.com> - 4.12.4-1
|
|
|
|
|
- Version 4.12.4
|
|
|
|
|
- Drop upstreamed patches: python, stdint, escapes
|
|
|
|
|
|
|
|
|
|
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-7
|
|
|
|
|
- OCaml 5.1 rebuild for Fedora 40
|
|
|
|
|
|
|
|
|
|
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-6
|
|
|
|
|
- Rebuild for ocaml-zarith 1.13
|
|
|
|
|
|
|
|
|
|
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.2-5
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
* Fri Jul 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-4
|
|
|
|
|
- Exclude the OCaml and Java subpackages only on i386
|
|
|
|
|
|
|
|
|
|
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.2-4
|
|
|
|
|
- OCaml 5.0 rebuild for Fedora 39
|
|
|
|
|
|
|
|
|
|
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-3
|
|
|
|
|
- OCaml 5.0.0 rebuild
|
|
|
|
|
|
|
|
|
|
* Thu Jun 15 2023 Python Maint <python-maint@redhat.com> - 4.12.2-2
|
|
|
|
|
- Rebuilt for Python 3.12
|
|
|
|
|
|
|
|
|
|
* Mon May 15 2023 Jerry James <loganjerry@gmail.com> - 4.12.2-1
|
|
|
|
|
- Version 4.12.2
|
|
|
|
|
|
|
|
|
|
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.12.1-2
|
|
|
|
|
- Rebuild OCaml packages for F38
|
|
|
|
|
|
|
|
|
|
* Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.1-1
|
|
|
|
|
- Version 4.12.1
|
|
|
|
|
|
|
|
|
|
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.0-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 4.12.0-1
|
|
|
|
|
- Version 4.12.0
|
|
|
|
|
- Drop upstreamed -data-race and -uninit patches
|
|
|
|
|
|
|
|
|
|
* Sun Jan 8 2023 Jerry James <loganjerry@gmail.com> - 4.11.2-2
|
|
|
|
|
- Add -data-race patch to fix segfault (bz 2157972)
|
|
|
|
|
- Add -uninit patch to fix use of an uninitialized value
|
|
|
|
|
|
|
|
|
|
* Wed Dec 14 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
|
|
|
|
|
- Further clarify license of the doc subpackage (SPDX)
|
|
|
|
|
|
|
|
|
|
* Sun Sep 4 2022 Jerry James <loganjerry@gmail.com> - 4.11.2-1
|
|
|
|
|
- Version 4.11.2
|
|
|
|
|
|
|
|
|
|
* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 4.11.0-1
|
|
|
|
|
- Version 4.11.0
|
|
|
|
|
- Clarify license of the doc subpackage
|
|
|
|
|
|
|
|
|
|
* Mon Aug 8 2022 Jerry James <loganjerry@gmail.com> - 4.10.2-1
|
|
|
|
|
- Version 4.10.2
|
|
|
|
|
|
|
|
|
|
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.17-6
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
* Tue Jun 28 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-5
|
|
|
|
|
- Do not support Java on i686 (rhbz#2104112)
|
|
|
|
|
- Use new OCaml macros
|
|
|
|
|
|
|
|
|
|
* Mon Jun 20 2022 Python Maint <python-maint@redhat.com> - 4.8.17-4
|
|
|
|
|
- Rebuilt for Python 3.11
|
|
|
|
|
|
|
|
|
|
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.17-3
|
|
|
|
|
- OCaml 4.14.0 rebuild
|
|
|
|
|
|
|
|
|
|
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 4.8.17-2
|
|
|
|
|
- Rebuilt for Python 3.11
|
|
|
|
|
|
|
|
|
|
* Mon May 16 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-1
|
|
|
|
|
- Version 4.8.17
|
|
|
|
|
- Drop upstreamed -ambiguous-overload patch
|
|
|
|
|
|
|
|
|
|
* Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2
|
|
|
|
|
- Add -ambiguous-overload patch to fix cppcheck build failure
|
|
|
|
|
|
|
|
|
|
* Mon Mar 21 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-1
|
|
|
|
|
- Version 4.8.15
|
|
|
|
|
|
|
|
|
|
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
|
|
|
|
|
- Rebuilt for java-17-openjdk as system jdk
|
|
|
|
|
|
|
|
|
|
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
|
|
|
|
|
- OCaml 4.13.1 rebuild to remove package notes
|
|
|
|
|
|
|
|
|
|
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
* Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1
|
|
|
|
|
- Version 4.8.14
|
|
|
|
|
- Conditionalize the %%check script
|
|
|
|
|
@ -418,33 +236,15 @@ cd -
|
|
|
|
|
* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
|
|
|
|
|
- Version 4.8.13
|
|
|
|
|
|
|
|
|
|
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3
|
|
|
|
|
- OCaml 4.13.1 build
|
|
|
|
|
|
|
|
|
|
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.12-2
|
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
|
|
|
|
|
|
|
* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
|
|
|
|
|
- Version 4.8.12
|
|
|
|
|
|
|
|
|
|
* Sun Jun 6 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
|
|
|
|
|
* Tue Jun 8 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
|
|
|
|
|
- Version 4.8.11
|
|
|
|
|
|
|
|
|
|
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 4.8.10-6
|
|
|
|
|
- Rebuilt for Python 3.10
|
|
|
|
|
|
|
|
|
|
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-5
|
|
|
|
|
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-2
|
|
|
|
|
- Rebuild for ocaml-zarith 1.12
|
|
|
|
|
|
|
|
|
|
* Mon Mar 1 20:17:48 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-4
|
|
|
|
|
- Bump release and rebuild.
|
|
|
|
|
|
|
|
|
|
* Mon Mar 1 19:41:16 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-3
|
|
|
|
|
- Bump release and rebuild.
|
|
|
|
|
|
|
|
|
|
* Mon Mar 1 16:57:45 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.10-2
|
|
|
|
|
- OCaml 4.12.0 build
|
|
|
|
|
|
|
|
|
|
* Sat Feb 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-1
|
|
|
|
|
- Version 4.8.10
|
|
|
|
|
|
|
|
|
|
|
Jerry James