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 |
Jerry James
|
c18a97c95e
|
Fix FTBFS with automake 1.5.1 (bz 1482152).
|
2018-02-01 21:55:41 -07:00 |
David Kaspar [Dee'Kej]
|
7f3ec6675d
|
Replace the 'ghostscript-core' requirement with 'ghostscript'
To reflect Ghostscript's new package layout.
|
2018-01-18 16:17:01 +01:00 |