From: wolf Date: Mon, 15 Mar 1999 14:15:15 +0000 (+0000) Subject: Improve support for file include by "..." instead of <...>. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34cd06b2ba3246c16e6eac7233d0fbdab890f554;p=dealii-svn.git Improve support for file include by "..." instead of <...>. git-svn-id: https://svn.dealii.org/trunk@1011 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/deal.II/Make_dep.pl b/deal.II/deal.II/Make_dep.pl index 9e53f35c1a..c78f955b50 100644 --- a/deal.II/deal.II/Make_dep.pl +++ b/deal.II/deal.II/Make_dep.pl @@ -128,7 +128,22 @@ sub make_include_tree { } } else { # included by "..." - # only append file if it exists + # only append file if it exists or can be found + + # first find out the path of the present file + # and then join the path to the included one + if ($filename =~ /\//){ + $path = $filename; + # strip filename, leave path + $path =~ s!/[^/]*$!/!g; + } + else + { + $path = "./"; + } + + $include = $path . $include; + if (-r $include) { $include_files{$filename} = join (' ', $include, $include_files{$filename});