/usr/include/deal.II/base/std_cxx1x/mutex.h is in libdeal.ii-dev 6.3.1-1.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | //---------------------------------------------------------------------------
// $Id: mutex.h 18724 2009-04-23 23:06:37Z bangerth $
// Version: $Name$
//
// Copyright (C) 2009 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
// to the file deal.II/doc/license.html for the text and
// further information on this license.
//
//---------------------------------------------------------------------------
#ifndef __deal2__std_cxx1x_mutex_h
#define __deal2__std_cxx1x_mutex_h
#include <base/config.h>
#ifdef DEAL_II_CAN_USE_CXX1X
# include <mutex>
#else
# include <boost/thread/mutex.hpp>
DEAL_II_NAMESPACE_OPEN
namespace std_cxx1x
{
using boost::mutex;
}
DEAL_II_NAMESPACE_CLOSE
#endif
#endif
|