rpms/apron
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
123 Commits 29 Branches 0 Tags 157 KiB
f39
Commit Graph

123 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jerry James
174a748b1f Version 0.9.14 
Other changes:
- Add patch to fix japron linkage
- Omit timestamps from generated documentation
 2023-09-22 09:25:41 -06:00
Jerry James
9832fe6173 Fix failure to install (rhbz#2229356) 2023-08-05 11:24:16 -06:00
Jerry James
497230996f Update the bytecode patch for pplite 2023-08-03 15:45:29 -06:00
Jerry James
b7003b5cff Enable pplite support 2023-08-03 10:14:33 -06:00
Jerry James
1731fc67e0 Update to 0.9.14-beta2. Enable csdp support. 2023-07-27 09:50:24 -06:00
Fedora Release Engineering
0079bf76a8 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-07-19 13:37:17 +00:00
Richard W.M. Jones
071974bc48 OCaml 5.0 rebuild for Fedora 39 2023-07-12 01:10:59 +01:00
Richard W.M. Jones
b47506e89c ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/) 2023-07-11 11:16:01 +01:00
Jerry James
e1a5c904ae Update to 0.9.14-beta1 for OCaml 5.0 support 
Other changes:
- Drop upstreamed mpfr and custom-operations patches
- Enable glpk support
- Add patch to fix builds on bytecode-only architectures
 2023-07-10 16:59:50 -06:00
Jerry James
ddacfd9d65 Fix reinsertion of -Werror=format-security (bz 2181282) 2023-03-23 09:38:10 -06:00
Richard W.M. Jones
7bc44ea4f0 Rebuild OCaml packages for F38 2023-01-24 09:28:59 +00:00
Fedora Release Engineering
1f823a0cda Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-18 22:00:43 +00:00
Jerry James
9a02af560c Work around build failure with make 4.4 (rhbz#2150171). 2022-12-06 13:47:37 -07:00
Jerry James
906b168c5c Convert License tag to SPDX. 2022-08-11 09:37:45 -06:00
Fedora Release Engineering
8c26b74b25 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 21:06:20 +00:00
Jerry James
9a57120491 Do not build japron on i686 (rhbz#2104018). 
Use new OCaml macros.
 2022-07-05 14:21:25 -06:00
Richard W.M. Jones
888dbc720e OCaml 4.14.0 rebuild 2022-06-18 17:17:55 +01:00
Jerry James
920e67714b Add -custom-operations patch to silence warnings. 
- Trim Requires.
- Build native OCaml objects with debuginfo.
 2022-04-27 11:25:28 -06:00
Jiri
e31174ff5d Rebuilt for java-17-openjdk as system jdk 
https://fedoraproject.org/wiki/Changes/Java17
 2022-02-05 19:35:24 +01:00
Richard W.M. Jones
7456955dea OCaml 4.13.1 rebuild to remove package notes 2022-02-04 13:23:25 +00:00
Fedora Release Engineering
bcb40947a8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-19 21:30:45 +00:00
Jerry James
7996123ff2 Rebuild for ocaml-mlgmpidl 1.2.14. 2021-12-30 14:54:59 -07:00
Richard W.M. Jones
4a212579c5 OCaml 4.13.1 build 2021-10-04 20:47:32 +01:00
Fedora Release Engineering
9bfab37d5e - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 17:48:38 +00:00
Fedora Release Engineering
4a7e019d6f - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 12:52:31 +00:00
Richard W.M. Jones
593c6231aa OCaml 4.12.0 build 2021-03-01 16:57:59 +00:00
Fedora Release Engineering
522c2a5baf - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-26 00:19:57 +00:00
Jerry James
e7a727974d Fix install location of OCaml stublibs. 2020-11-20 14:28:27 -07:00
Jerry James
f7f44623b2 Explicitly BR make. 2020-11-09 10:58:48 -07:00
Jerry James
2d433f02e8 Version 0.9.13. Drop upstreamed -texinfo patch. 2020-09-25 11:31:49 -06:00
Richard W.M. Jones
1bf9db5b92 OCaml 4.11.1 rebuild 2020-09-01 20:33:10 +01:00
Richard W.M. Jones
92758a6170 OCaml 4.11.0 rebuild 2020-08-21 12:19:45 +01:00
Jerry James
29ea8e8591 Fix Java build. 2020-07-28 11:39:37 -06:00
Fedora Release Engineering
3b2ca7508f - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 12:17:12 +00:00
Richard W.M. Jones
9d51bf894c OCaml 4.11.0+dev2-2020-04-22 rebuild 2020-05-05 00:00:53 +01:00
Richard W.M. Jones
9b1e37cc7f OCaml 4.11.0 pre-release attempt 2 2020-04-21 19:49:05 +01:00
Richard W.M. Jones
3bff95e178 OCaml 4.11.0 pre-release 2020-04-17 21:35:29 +01:00
Richard W.M. Jones
4452a66010 Update all OCaml dependencies for RPM 4.16. 2020-04-02 23:08:09 +01:00
Richard W.M. Jones
7b4e17c593 OCaml 4.10.0 final. 2020-02-26 16:25:09 +00:00
Fedora Release Engineering
fc5543f290 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 11:53:20 +00:00
Jerry James
9dd0d10771 Use -ccopt instead of -cclib so -Wl,--as-needed shows up earlier. 2020-01-24 09:59:28 -07:00
Jerry James
d3d36bf120 Do not build in parallel, leads to intermittent failures. 2020-01-22 10:20:37 -07:00
Jerry James
ba8f4b3754 New upstream release 0.9.12. 2020-01-22 09:52:51 -07:00
Richard W.M. Jones
7be6c52977 OCaml 4.10.0+beta1 rebuild. 2020-01-19 14:34:21 +00:00
Richard W.M. Jones
8159db48c5 OCaml 4.09.0 for riscv64 2020-01-09 20:49:04 +00:00
Richard W.M. Jones
23be230821 Bump release and rebuild. 2019-12-06 15:00:46 +00:00
Richard W.M. Jones
66417e704e OCaml 4.09.0 (final) rebuild. 2019-12-06 14:30:05 +00:00
Jerry James
6916f9cef0 Add -mpfr4 patch and rebuild for mpfr 4. 2019-10-11 08:40:17 -06:00
Richard W.M. Jones
38574db0f5 OCaml 4.08.1 (final) rebuild. 2019-08-16 16:32:35 +01:00
Richard W.M. Jones
6ad2233bb2 OCaml 4.08.1 (rc2) rebuild. 2019-07-31 18:46:36 +01:00