Thanks a lot Marc for your quick help.
Even <experimental/memory_resource> did not help.
Here ...
https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/manual/manual/status.html#status.iso.2017
... I see that 7.5.0 does not include memory_resource.
Best regards
Harald
Quoting Marc Glisse <marc.glisse@xxxxxxxx>:
On Sun, 7 Jun 2020, hbusch@xxxxxxxxxxxxxx wrote:
Hi,
I am using g++ version 7.5.0 on Linux Mint 19 Tara:
g++ (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0
When I try to compile a source file which uses the Standard library
header <memory_resource> I get the following error:
main.cpp:7:10: fatal error: memory_resource: No such file or directory
As to my knowledge g++ version 7.5.0 supports C++17 and library
<memory_resource> is included since C++17. At least, this page
tells me that it has to be there:
https://gcc.gnu.org/onlinedocs/gcc-7.5.0/libstdc++/api/a01004_source.html
Even adding -std=gnu++17 throws the same error.
Can anybody please shed some light on this ?
Try <experimental/memory_resource>
--
Marc Glisse
