// $Id$
// Version: $Name$
//
-// Copyright (C) 2003, 2007, 2008, 2010 by the deal.II authors
+// Copyright (C) 2003, 2007, 2008, 2010, 2011 by the deal.II authors
//
// This file is subject to QPL and may not be distributed
// without copyright and license information. Please refer
file.begin()+file.rfind ('/')+1);
std::ifstream in(file.c_str());
- assert ((bool)in);
-
+ // If the file does not exist, for
+ // instance an ".inst" file which
+ // will be generated by make later,
+ // just return from this function.
+ //
+ // As a result, non-existing files
+ // are expected to have no
+ // dependencies.
+ if (! ((bool)in))
+ return;
+
std::string line;
while (in)
{
// and that we can read from
// it, otherwise just ignore
// the line
- {
+
+ // If this is an ".inst" file,
+ // it will be generated by make
+ // later, so we better keep it
+ // on the list.
+ if (included_file.rfind(".inst") != (included_file.size()-5)) {
struct stat buf;
int error = stat (included_file.c_str(), &buf);