Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

'boost/timer.hpp' and 'boost/progress.hpp' are deprecated #715

Closed
tizonia opened this issue Apr 21, 2020 · 1 comment
Closed

'boost/timer.hpp' and 'boost/progress.hpp' are deprecated #715

tizonia opened this issue Apr 21, 2020 · 1 comment
Labels
Milestone

Comments

@tizonia
Copy link
Collaborator

tizonia commented Apr 21, 2020

Issue

As reported by @SolarAquarion in https://gitter.im/tizonia/Lobby, there are some Boost headers that have been deprecated.

Description

/usr/include/boost/progress.hpp:23:1: note: #pragma message: This header is deprecated. Use the facilities in <boost/timer/timer.hpp> instead.
   23 | BOOST_HEADER_DEPRECATED( "the facilities in <boost/timer/timer.hpp>" )
      | ^~~~~~~~~~~~~~~~~~~~~~~
/usr/include/boost/timer.hpp:21:1: note: #pragma message: This header is deprecated. Use the facilities in <boost/timer/timer.hpp> instead.
   21 | BOOST_HEADER_DEPRECATED( "the facilities in <boost/timer/timer.hpp>" )
      | ^~~~~~~~~~~~~~~~~~~~~~~

Steps to Reproduce

These warnings are visible with gcc 9.3 (Ubuntu Focal)

$ gcc --version
gcc (Ubuntu 9.3.0-10ubuntu2) 9.3.0
Copyright (C) 2019 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Versions

0.21.0

Installation Method Used

From source

@tizonia tizonia added the bug label Apr 21, 2020
@tizonia tizonia added this to the v0.22.0 milestone Apr 21, 2020
@tizonia tizonia changed the title 'boost/timer.hp' and 'boost/progress.hpp' are deprecated 'boost/timer.hpp' and 'boost/progress.hpp' are deprecated Apr 22, 2020
juanrubio added a commit that referenced this issue Apr 22, 2020
@juanrubio
Copy link
Member

Closing this now. 0.22.0 will be out very soon.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant