259befebd7
Rebuild for ocaml-zarith 1.11.
2020-11-16 17:52:06 -07:00
1844f63fc1
Explicitly BR make.
2020-11-09 21:38:07 -07:00
753e0f37ec
Rebuild for ocaml-zarith 1.10.
2020-09-25 12:23:02 -06:00
b42ca529b7
Version 4.8.9.
2020-09-11 10:11:15 -06:00
47902ea172
OCaml 4.11.1 rebuild
2020-09-01 20:15:25 +01:00
6224468a06
OCaml 4.11.0 rebuild
2020-08-21 12:11:52 +01:00
13876e8c5c
Remove %{?_isa} from Requires in noarch python3 subpackage.
2020-07-31 16:45:39 -06:00
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
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
afbbbc365e
Drop unnecessary %python_provide in Rawhide.
2020-07-21 20:55:25 -06:00
1326348b3f
Rebuilt for JDK-11
2020-07-11 09:18:01 +02:00
ffaa2f2743
Rebuilt for Python 3.9
2020-05-26 03:55:41 +02:00
7adeedfa23
Conditionalize the __isa_bits macro.
2020-05-15 10:50:35 -06:00
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
dd0859c8cf
Version 4.8.8. Drop all patches; all have been upstreamed.
2020-05-09 16:45:27 -06:00
f61d5ceefa
OCaml 4.11.0+dev2-2020-04-22 rebuild
2020-05-04 23:20:33 +01:00
cbb2590453
OCaml 4.11.0 pre-release attempt 2
2020-04-21 17:08:32 +01:00
1c67231cdd
OCaml 4.11.0 pre-release
2020-04-17 22:05:15 +01:00
126b79d98e
Update all OCaml dependencies for RPM 4.16.
2020-04-02 23:08:08 +01:00
85a56b99eb
OCaml 4.10.0 final.
2020-02-26 14:17:11 +00:00
c3e8e15b33
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-31 05:12:30 +00:00
7f69c91f2c
Add -signed-char and -gcc-10-s390x patches.
2020-01-22 14:37:51 -07:00
64652afb6e
Make -doc be archful (bz 1792740).
2020-01-21 21:10:29 -07:00
d382fe7d06
OCaml 4.10.0+beta1 rebuild.
2020-01-19 13:32:42 +00:00
0543e7c3d8
OCaml 4.09.0 for riscv64
2020-01-10 21:17:53 +00:00
b3243f9732
OCaml 4.09.0 (final) rebuild.
2019-12-08 08:56:53 -07:00
692cf253e4
Add -trailing-zeros32 patch to fix build failures on some platforms.
2019-11-21 16:12:33 -07:00
bc5419f37d
New upstream version.
...
Add -ocamldoc patch to fix documentation build failure.
2019-11-21 14:44:32 -07:00
42ae6f3f75
New upstream version.
2019-09-20 15:23:01 -06:00
85e1fe0c7d
Rebuilt for Python 3.8
2019-08-19 11:10:02 +02:00
e06c6ff41f
OCaml 4.08.1 (final) rebuild.
2019-08-16 17:21:57 +01:00
1561678c31
OCaml 4.08.1 (rc2) rebuild.
2019-07-31 19:03:19 +01:00
aa3ff805f2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-27 04:53:57 +00:00
1f2d60975b
OCaml 4.08.0 (final) rebuild.
2019-06-27 21:18:11 +01:00
fb4076ae94
New upstream version.
2019-06-22 09:11:24 -06:00
6333387608
OCaml 4.08.0 (beta 3) rebuild.
2019-04-29 20:17:39 +01:00
669384ea2a
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-03 13:05:31 +00:00
c4b8d05710
Drop -no-sse patch, now handled upstream.
2018-12-25 15:19:03 -07:00
9a334660bc
New upstream version.
2018-12-24 19:48:59 -07:00
22bb19946c
New upstream version.
2018-11-28 18:49:33 -07:00
31ee134bbf
Add -no-sse patch to fix FTBFS on non-x86 arches.
2018-10-31 21:04:06 -06:00
9257eb278f
New upstream version. Drop python2 subpackage (bz 1634981).
2018-10-30 21:15:28 -06:00
4c5d018dee
Build with SSE2 support on 32-bit x86.
2018-09-07 18:27:48 -06:00
e6a17e9e23
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-14 09:46:20 +00:00
96fd88021f
OCaml 4.07.0 (final) rebuild.
2018-07-11 18:12:16 +01:00
f0383c67da
OCaml 4.07.0-rc1 rebuild.
2018-06-20 12:43:02 +01:00
3bb110b427
Rebuilt for Python 3.7
2018-06-19 11:30:59 +02:00
43e43e0b63
New upstream version (bz 1581516). Drop upstreamed -vector patch.
2018-05-22 21:32:35 -06:00
801e577186
Fix FTBFS due to a vector access.
2018-02-13 21:43:54 -07:00
25167ae5c7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
...
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-09 22:21:58 +00:00
3c59b007cd
New upstream version (bz 1527531). Add a python3 subpackage.
2017-12-24 21:45:27 -07:00
19ea46f605
Python 2 binary package renamed to python2-z3
2017-12-17 12:47:16 -05:00
fd4d6b2db0
Add dependency on ocaml-num.
2017-11-17 19:13:15 +00:00
c61e6f86e0
OCaml 4.06.0 rebuild.
2017-11-17 17:45:33 +00:00
ffafa1295e
OCaml 4.05.0 rebuild.
2017-08-08 19:58:20 +01:00
2c901025b5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-27 22:38:42 +00:00
a4e98e34cf
OCaml 4.04.2 rebuild.
2017-06-27 10:12:28 +01:00
064f6ff38a
OCaml 4.04.1 rebuild.
2017-05-12 20:33:09 +01:00
be4593cb92
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-02-11 18:20:16 +00:00
1afb4a3f9f
New upstream version.
...
Also:
- All patches except -sse2 have been upstreamed; drop them.
- Upstream now ships __init__.py; drop our version.
- Drop all the buildroot tricks; Makefile supports DESTDIR now.
- Use C.UTF-8 instead of en_US.UTF-8.
2016-11-10 16:07:47 -07:00
bf833fdae8
Rebuild for OCaml 4.04.0.
2016-11-05 10:21:15 +00:00
e21c953561
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
2016-07-19 13:15:01 +00:00
048436281a
Fix Java interface (bz 1353773).
2016-07-13 15:07:47 -06:00
a6a79cd954
Fix __init__.py (bz 1351580).
2016-06-30 19:54:14 -06:00
8e8df669ad
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-02-05 04:01:44 +00:00
dfed6c60f3
Patched for C++11 compatibility
2016-02-02 23:44:10 +00:00
3eba0f0f08
Add __init__.py to the python interface (bz 1298429).
2016-01-20 20:26:48 -07:00
4152a94731
Fix thinko on non-x86_64 arches.
2015-10-08 21:40:18 -06:00
a020e58b53
New upstream version.
2015-10-08 21:08:13 -06:00
e0c54db4a3
OCaml 4.02.3 rebuild.
2015-07-29 00:42:05 +01:00
536d12b3eb
ocaml-4.02.2 final rebuild.
2015-06-25 08:30:00 +01:00
f450549ed6
ocaml-4.02.2 rebuild.
2015-06-18 16:17:39 +01:00
ec1011a621
New upstream version.
2015-05-28 10:05:25 -06:00
f43a07744b
Temporarily disable tests due to insufficient memory on the builders.
2015-04-25 09:45:50 -06:00
4dc7a51663
Initial import.
2015-04-23 09:09:07 -06:00
Jerry James
Richard W.M. Jones
Fedora Release Engineering
Jiri
Miro Hrončok
Wolfgang Stöggl
Zbigniew Jędrzejewski-Szmek
Jonathan Wakely
Jerry James