rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
113 Commits 24 Branches 0 Tags 302 KiB
Commit Graph

113 Commits

Author SHA1 Message Date
Jerry James ee66c97a95 Version 4.12.2 2023-05-15 08:44:33 -06:00
Richard W.M. Jones 0c0af7bf22 Rebuild OCaml packages for F38 2023-01-24 09:20:14 +00:00
Jerry James 42e82b1a86 Version 4.12.1. 2023-01-21 10:25:11 -07:00
Fedora Release Engineering fed39e8c56 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-21 08:09:46 +00:00
Jerry James 70124da6df Version 4.12.0. 
Drop upstreamed -data-race and -uninit patches.
 2023-01-17 15:01:03 -07:00
Jerry James aca6b5306f Add -data-race patch to fix segfault (bz 2157972). 
Add -uninit patch to fix use of an uninitialized value.
 2023-01-08 21:56:34 -07:00
Jerry James 6264c50021 Further clarify license of the doc subpackage (SPDX). 2022-12-14 16:15:48 -07:00
Jerry James 6bc865dcfc Version 4.11.2. 2022-09-04 13:17:38 -06:00
Jerry James 1b84535f23 Version 4.11.0. Clarify license of the doc subpackage. 2022-08-19 13:32:07 -06:00
Jerry James 52e2a85d5e Version 4.10.2. 2022-08-08 06:33:35 -06:00
Fedora Release Engineering 700febff68 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-23 13:49:24 +00:00
Jerry James 013801252f Do not support Java on i686 (rhbz#2104112). 
Use new OCaml macros.
 2022-07-05 13:23:31 -06:00
Python Maint d607dff554 Rebuilt for Python 3.11 2022-06-20 10:45:53 +02:00
Richard W.M. Jones c6dc115d0d OCaml 4.14.0 rebuild 2022-06-18 15:25:55 +01:00
Python Maint 6bc7033f70 Rebuilt for Python 3.11 2022-06-13 17:27:26 +02:00
Jerry James d11a9bc22b Version 4.8.17. Drop upstreamed -ambiguous-overload patch. 2022-05-19 11:32:13 -06:00
Jerry James d44508e7e3 Add -ambiguous-overload patch to fix cppcheck build failure. 2022-03-24 13:58:33 -06:00
Jerry James 0d4eb3e8f9 Version 4.8.15. 2022-03-21 12:04:45 -06:00
Jiri d4a35ac719 Rebuilt for java-17-openjdk as system jdk 
https://fedoraproject.org/wiki/Changes/Java17
 2022-02-06 00:53:17 +01:00
Richard W.M. Jones cea5f750e3 OCaml 4.13.1 rebuild to remove package notes 2022-02-04 13:29:49 +00:00
Fedora Release Engineering 4a9d6bf0fd - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-22 05:46:08 +00:00
Jerry James 6ffdbbf843 Version 4.8.14. Conditionalize the %check script. 2021-12-24 11:30:57 -07:00
Jerry James 533bf73c99 Version 4.8.13. 2021-11-19 12:28:26 -07:00
Richard W.M. Jones 25c7a7705b OCaml 4.13.1 build 2021-10-04 20:45:36 +01:00
Fedora Release Engineering 969a5ffd21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-23 22:12:33 +00:00
Jerry James 1db6cfa63f Version 4.8.12. 2021-07-13 13:11:43 -06:00
Jerry James 61301a359d Version 4.8.11. 2021-06-08 08:27:35 -06:00
Python Maint 306bdba1f5 Rebuilt for Python 3.10 2021-06-04 21:20:40 +02:00
Jerry James b504b06e75 Rebuild for ocaml-zarith 1.12. 2021-03-03 12:11:52 -07:00
Richard W.M. Jones bad77dc612 Bump release and rebuild. 2021-03-01 20:17:49 +00:00
Richard W.M. Jones 813e700557 Bump release and rebuild. 2021-03-01 19:41:17 +00:00
Richard W.M. Jones 2a1214c7dc OCaml 4.12.0 build 2021-03-01 16:57:46 +00:00
Jerry James 09e6f045f4 Version 4.8.10. 2021-02-13 09:47:28 -07:00
Fedora Release Engineering 6ca61cb935 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-28 00:37:04 +00:00
Jerry James a7058774ee Fix the python interface (bz 1910923). 2020-12-26 07:44:31 -07:00
Jerry James 259befebd7 Rebuild for ocaml-zarith 1.11. 2020-11-16 17:52:06 -07:00
Jerry James 1844f63fc1 Explicitly BR make. 2020-11-09 21:38:07 -07:00
Jerry James 753e0f37ec Rebuild for ocaml-zarith 1.10. 2020-09-25 12:23:02 -06:00
Jerry James b42ca529b7 Version 4.8.9. 2020-09-11 10:11:15 -06:00
Richard W.M. Jones 47902ea172 OCaml 4.11.1 rebuild 2020-09-01 20:15:25 +01:00
Richard W.M. Jones 6224468a06 OCaml 4.11.0 rebuild 2020-08-21 12:11:52 +01:00
Jerry James 13876e8c5c Remove %{?_isa} from Requires in noarch python3 subpackage. 2020-07-31 16:45:39 -06:00
Fedora Release Engineering 4c91858d05 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-29 15:18:04 +00:00
Jerry James 069e9003bb Build with cmake. 
- Manually build the OCaml interface.
- Limit the class file version in the Java interface.
- Allow the library to hide internal symbols; this means that the
  binary can no longer be linked with the library, so the main
  package does not depend on the -libs package.
- The python package no longer contains an ELF object, so make it noarch.
 2020-07-27 10:48:00 -06:00
Jerry James afbbbc365e Drop unnecessary %python_provide in Rawhide. 2020-07-21 20:55:25 -06:00
Jiri 1326348b3f Rebuilt for JDK-11 2020-07-11 09:18:01 +02:00
Miro Hrončok ffaa2f2743 Rebuilt for Python 3.9 2020-05-26 03:55:41 +02:00
Jerry James 7adeedfa23 Conditionalize the __isa_bits macro. 2020-05-15 10:50:35 -06:00
Jerry James bab37a06cd Put cmake files in the lookaside cache instead of in git. 2020-05-15 10:42:32 -06:00
Wolfgang Stöggl 40a2541855 Add Z3 cmake files required by find_package 
So far, Z3 is not found when using cmake find_package(Z3).
The following files have been added, to enable find_package(Z3):
  Z3Config.cmake
  Z3ConfigVersion.cmake
  Z3Targets.cmake
  Z3Targets-release.cmake

Remarks:
- Z3 has a build system using CMake. However, it does not support
  building OCaml bindings yet. Therefore, stay with the classical
  configure and make build in the spec file here and provide the
  required cmake files manually.
- Version, lib and bitness are updated in above .cmake template files
  during the rpm prep stage using sed.
 2020-05-15 17:12:35 +02:00