- Enable PGO during build
OBS-URL: https://build.opensuse.org/package/show/science/glpk?expand=0&rev=48
This commit is contained in:
parent
aae8484161
commit
1921c0726e
@ -1,3 +1,8 @@
|
|||||||
|
-------------------------------------------------------------------
|
||||||
|
Mon Feb 3 15:28:09 UTC 2020 - Martin Pluskal <mpluskal@suse.com>
|
||||||
|
|
||||||
|
- Enable PGO during build
|
||||||
|
|
||||||
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
||||||
Sat Oct 12 11:49:46 UTC 2019 - Stefan Brüns <stefan.bruens@rwth-aachen.de>
|
Sat Oct 12 11:49:46 UTC 2019 - Stefan Brüns <stefan.bruens@rwth-aachen.de>
|
||||||
|
|
||||||
|
11
glpk.spec
11
glpk.spec
@ -1,7 +1,7 @@
|
|||||||
#
|
#
|
||||||
# spec file for package glpk
|
# spec file for package glpk
|
||||||
#
|
#
|
||||||
# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
|
# Copyright (c) 2020 SUSE LLC
|
||||||
#
|
#
|
||||||
# All modifications and additions to the file contributed by third parties
|
# All modifications and additions to the file contributed by third parties
|
||||||
# remain the property of their copyright owners, unless otherwise agreed
|
# remain the property of their copyright owners, unless otherwise agreed
|
||||||
@ -88,7 +88,14 @@ export CFLAGS="%{optflags} -fno-strict-aliasing"
|
|||||||
--enable-odbc \
|
--enable-odbc \
|
||||||
--enable-mysql \
|
--enable-mysql \
|
||||||
--disable-static
|
--disable-static
|
||||||
make %{?_smp_mflags}
|
%if %{do_profiling}
|
||||||
|
make %{?_smp_mflags} CFLAGS="%{optflags} %{cflags_profile_generate}" V=1
|
||||||
|
make check %{?_smp_mflags} CFLAGS="%{optflags} %{cflags_profile_generate}"
|
||||||
|
make %{?_smp_mflags} clean
|
||||||
|
make %{?_smp_mflags} CFLAGS="%{optflags} %{cflags_profile_feedback}" V=1
|
||||||
|
%else
|
||||||
|
make %{?_smp_mflags} V=1
|
||||||
|
%endif
|
||||||
|
|
||||||
%install
|
%install
|
||||||
%make_install
|
%make_install
|
||||||
|
Loading…
Reference in New Issue
Block a user