rpms
/
cvc4
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
90 Commits 23 Branches 0 Tags 126 KiB
Commit Graph

90 Commits

Author SHA1 Message Date
Fedora Release Engineering 186b987498 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2023-01-19 00:51:49 +00:00
Jerry James 95b2c72a80 BR setuptools to fix FTBFS (rhbz#2154858). 2022-12-19 11:22:44 -07:00
Jerry James f7c24c6ad7 Add -bash-patsub-replacement patch to fix FTBFS. 
This fixes the build with bash 5.2 (bz 2133760).
Add -toml patch and drop python3-toml BR.
 2022-10-11 14:54:00 -06:00
Jerry James 11d315c19e Convert License tag to SPDX. 2022-08-15 17:13:36 -06:00
Fedora Release Engineering 8e6c3569c9 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-07-20 23:55:34 +00:00
Jerry James 149b6e0c4e Drop support for i686 due to ANTLR unavailability. 2022-07-19 16:48:26 -06:00
Python Maint e294b448f9 Rebuilt for Python 3.11 2022-06-13 19:52:43 +02:00
Jerry James c1a05910da Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821). 
Drop -const-map-key patch now that gcc has been fixed.
 2022-03-04 10:51:40 -07:00
Jiri 32c7ee2a19 Rebuilt for java-17-openjdk as system jdk 
https://fedoraproject.org/wiki/Changes/Java17
 2022-02-05 20:22:47 +01:00
Jerry James 56cce94522 Add -const-map-key patch to fix FTBFS. 2022-01-22 16:14:49 -07:00
Zbigniew Jędrzejewski-Szmek e3c3a6fa54 Switch to ld.bfd so that package notes work without workarounds 2022-01-22 12:19:10 +01:00
Fedora Release Engineering 79c205eec2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2022-01-20 00:09:42 +00:00
Fedora Release Engineering bba850d158 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-07-21 20:16:38 +00:00
Python Maint 7e71f605fe Rebuilt for Python 3.10 2021-06-04 20:02:34 +02:00
Jerry James d5a565229c Remove spurious rpaths (bz 1967190). 
- Fix broken jar symlink.
- Add missing executable bit to python shared object.
 2021-06-02 10:07:41 -06:00
Fedora Release Engineering dd5c1081eb - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2021-01-26 02:52:55 +00:00
Jerry James f7491d86a4 Add -dup-decl patch to fix FTBFS with recent LFSC versions. 2021-01-20 21:58:43 -07:00
Jerry James 7e07a02a7f Update URL. 2021-01-19 16:29:38 -07:00
Jerry James 5629237c8f Rebuild for cryptominisat 5.8.0. 2020-11-27 08:46:44 -07:00
Jerry James d438c290cf Explicitly BR make. 2020-11-09 13:41:54 -07:00
Jerry James 8ca4eb3402 Run the testsuite on 64-bit architectures only. 2020-08-03 21:10:15 -06:00
Jerry James 398dc0c060 Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat. 2020-08-03 18:34:38 -06:00
Fedora Release Engineering 9ac0724d02 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-08-01 00:31:39 +00:00
Fedora Release Engineering 5cf3238416 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-07-27 14:54:16 +00:00
Jiri 7bb92f02d7 Rebuilt for JDK-11 2020-07-10 17:57:59 +02:00
Jonathan Wakely 8913754146 Rebuilt for Boost 1.73 2020-05-29 20:20:33 +01:00
Miro Hrončok 175f1c816a Rebuilt for Python 3.9 2020-05-26 02:43:43 +02:00
Jerry James 41e5d62ddf Do not link against libpython. 2020-05-15 14:33:27 -06:00
Jerry James bd906d4c2b Fix inadvertent corruption of -flags patch. 2020-04-26 17:37:11 -06:00
Jerry James eb73525431 Add -cryptominisat patch to adapt to changes in 5.7.0. 2020-04-26 17:26:14 -06:00
Jerry James 3054e2d081 Rebuild for cryptominisat 5.7.0. 2020-04-25 17:42:06 -06:00
Fedora Release Engineering 4ec4a2980a - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2020-01-28 15:13:10 +00:00
Jerry James 410a09ea16 Rebuild for cadical 1.2.1. 2019-11-11 22:23:40 -07:00
Jerry James e32cd51007 Add -drat patch to fix build with latest lfsc. 2019-09-09 22:12:03 -06:00
Miro Hrončok b65b6a9a07 Rebuilt for Python 3.8 2019-08-19 10:12:30 +02:00
Fedora Release Engineering 8df1bcefe4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-07-24 21:23:35 +00:00
Jerry James 36b3497be2 Rebuild for cadical 1.0.3 (bz 1731031). 2019-07-18 21:07:21 -06:00
Jerry James f294ef445b Fix copy-and-paste error that killed the 32-bit build. 2019-06-30 20:29:01 -06:00
Jerry James bb8bce8c35 Fix finding the python include dir and lib (bz 1724142). 2019-06-30 17:07:21 -06:00
Jerry James 4e0920c772 Fix the path to the abc library on 32-bit systems. 
Skip a test that exhausts all memory on 32-bit systems.
Work around bz 1688841.
 2019-06-13 17:36:50 -06:00
Jerry James ded5ca8205 New upstream release. 
Also:
- Drop -autoconf, -cadical, -doxygen, -symfpu, and -vec patches.
- Drop -doc subpackage; upstream no longer supports doxygen.
- Build with python 3 instead of python 2.
- Build with drat2er support.
- Add -abc and -flags patches.
- Add -swig4 patch (bz 1707353).
 2019-06-13 06:32:44 -06:00
Igor Gnatenko e594904ab3 Rebuild for readline 8.0 2019-02-17 09:30:49 +01:00
Fedora Release Engineering a2421c22d2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2019-01-31 16:38:28 +00:00
Jonathan Wakely dc7daa1480 Rebuilt for Boost 1.69 2019-01-29 22:24:30 +00:00
Jerry James b906ba71ee Rebuild for updated abc. 2018-11-26 21:13:16 -07:00
Fedora Release Engineering 059d32881e - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-07-12 22:29:26 +00:00
Jerry James a2a8a7c534 New upstream release. 2018-07-10 21:22:52 -06:00
Jerry James 8636619694 Use %ldconfig_scriptlets. 2018-05-30 19:29:50 -06:00
Fedora Release Engineering e37cc6494a - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
 2018-02-07 06:10:35 +00:00
Jerry James 50969499af Tell boost about gcc 8 and compile with -O2 instead of -O3. 2018-02-03 15:30:26 -07:00