Here is the output
$ grep -r make_array serialization/*
serialization/array_wrapper.hpp: // *make_array*. So I make *make_array*
a friend
serialization/array_wrapper.hpp: friend const
boost::serialization::array_wrapper<Tx> *make_array*(Tx * t, S s);
serialization/array_wrapper.hpp:const array_wrapper< T > *make_array*(T* t,
S s){
serialization/valarray.hpp: ar << serialization::*make_array*<const
U, collection_size_type>(
serialization/valarray.hpp: ar >> serialization::*make_array*<U,
collection_size_type>(
serialization/vector.hpp: ar << serialization::*make_array*<const U,
collection_size_type>(
serialization/vector.hpp: ar >> serialization::*make_array*<U,
collection_size_type>(
On Fri, Apr 21, 2017 at 10:34 PM, Wolfgang Bangerth <[email protected]>
wrote:
> On 04/21/2017 10:15 AM, Praveen C wrote:
>
>> This is while compiling deal.II
>>
>> There is no make_array in that include file, see below.
>>
>
> Ah, how annoying. Did that function move to a different file? What happens
> if you do
> grep -r make_array serialization/*
>
> Best
> W.
>
>
> --
> ------------------------------------------------------------------------
> Wolfgang Bangerth email: [email protected]
> www: http://www.math.colostate.edu/~bangerth/
>
> --
> The deal.II project is located at http://www.dealii.org/
> For mailing list/forum options, see https://groups.google.com/d/fo
> rum/dealii?hl=en
> --- You received this message because you are subscribed to the Google
> Groups "deal.II User Group" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>
--
The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see
https://groups.google.com/d/forum/dealii?hl=en
---
You received this message because you are subscribed to the Google Groups
"deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
