c18a97c95e
Fix FTBFS with automake 1.5.1 (bz 1482152).
2018-02-01 21:55:41 -07:00
7f3ec6675d
Replace the 'ghostscript-core' requirement with 'ghostscript'
...
To reflect Ghostscript's new package layout.
2018-01-18 16:17:01 +01:00
2e0d78bc80
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-08-02 19:23:15 +00:00
1c5a9c2b44
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-26 05:50:10 +00:00
4714cf4681
Rebuilt for Boost 1.64
2017-07-21 09:44:14 +02:00
80b85584ff
Try harder to avoid build failures due to inconsistent warning options.
2017-07-15 21:44:22 -06:00
7e5614b256
New upstream release.
...
Also:
- Drop upstreamed patches: -signed, -boolean, -minisat.
- Add -constant patch to fix undefined symbols in the JNI shared object.
- Add cryptominisat4 support.
2017-07-15 20:54:40 -06:00
0451dab84d
perl dependency renamed to perl-interpreter < https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules >
2017-07-12 15:20:06 +02:00
d5f5a58afc
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild
2017-05-15 21:02:38 +00:00
ff83d75d68
Fix FTBFS (bz 1427891).
2017-03-03 12:09:26 -07:00
87a98e5130
Rebuilt for Boost 1.63
2017-02-07 14:27:33 +01:00
d86605b6c0
Minor spec file cleanups.
2017-01-28 12:32:18 -07:00
0cb6d37c9b
Rebuild for readline 7.x
...
Signed-off-by: Igor Gnatenko <ignatenko@redhat.com>
2017-01-12 17:30:25 +01:00
867ad499eb
Rebuilt for linker errors in boost ( #1331983 )
2016-05-17 10:41:22 +01:00
12b1519320
Build with C++98 support until the next release.
2016-02-05 16:07:35 -07:00
13f2867691
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-02-03 18:22:11 +00:00
a1ee81d592
Rebuilt for Boost 1.60
2016-01-15 04:12:35 +00:00
a2cafdd0f5
Rebuilt for Boost 1.59
2015-08-27 21:20:58 +01:00
369ec59996
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
2015-07-29 12:07:49 -05:00
e0f4509ce6
rebuild for Boost 1.58
2015-07-22 18:20:37 +02:00
7aad03e428
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-06-17 03:35:12 +00:00
5b4a2d1c8f
Rebuilt for GCC 5 C++11 ABI change
2015-05-02 13:16:06 +02:00
b938af95b0
Don't use perftools at all due to random weirdness on multiple platforms.
...
Also Obsoletes/Provides lfsc-devel.
2015-03-20 11:28:46 -06:00
7bd0d829c0
Remove i686 from have_perftools due to test failures.
2015-03-12 12:01:30 -06:00
1eebfe320a
Work around %{__isa_bits} brokenness on koji.
2015-03-11 22:30:20 -06:00
ebc8ce8c1a
Add -boolean, -minisat, and -signed patches to fix test failures.
...
Also:
- Fix boost detection with g++ 5.0.
- Fix access to an uninitialized variable.
- Help the documentation generator find COPYING.
- Build with -fsigned-char to fix the arm build.
- Prevent rebuilds while running %check.
2015-03-11 22:26:03 -06:00
6e15f19fbe
Rebuild for boost 1.57.0
2015-01-27 04:04:04 +01:00
f624faa170
New upstream release.
...
Also:
- Drop updated test files, now included upstream
- Drop obsolete workarounds for glpk compatibility
- Drop lfsc BR/R, as it has been incorporated into cvc4
2015-01-02 16:57:48 -07:00
9feb5dc450
Remove arm platforms from have_perftools due to bz 1109309.
2014-08-22 18:10:16 -06:00
bf0a467f7a
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
2014-08-16 02:00:15 +00:00
08380b22f2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
2014-06-07 01:33:09 -05:00
f079f099ba
rebuild for boost 1.55.0
2014-05-23 10:56:30 +02:00
f90fcc7030
Add missing line continuation in merged changes.
2014-03-06 17:03:23 -07:00
4ead8ba578
Merge changes from Dan Horák to fix secondary arch builds.
2014-03-06 16:49:43 -07:00
ee6164bbba
catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu
2014-03-06 11:47:21 +01:00
6f20269606
allow build without gperftools
2014-03-06 11:45:46 +01:00
8891b6fbcf
glibc Provides /sbin/ldconfig, not /usr/sbin/ldconfig.
2014-02-04 15:24:01 -07:00
17debdc8eb
The documentation is arch-specific after all.
2014-02-03 09:43:29 -07:00
b98f57bca0
Initial import.
2014-02-03 07:53:17 -07:00
a626dad0b0
Initial setup of the repo
2014-02-03 12:48:10 +00:00
Jerry James
David Kaspar [Dee'Kej]
Fedora Release Engineering
Kalev Lember
Petr Písař
Igor Gnatenko
Jonathan Wakely
Dennis Gilmore
David Tardon
Kalev Lember
Jerry James
Petr Machata
Peter Robinson
Dan Horák
Fedora Release Engineering