]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Improve support for file include by "..." instead of <...>.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 15 Mar 1999 14:15:15 +0000 (14:15 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 15 Mar 1999 14:15:15 +0000 (14:15 +0000)
git-svn-id: https://svn.dealii.org/trunk@1011 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/deal.II/Make_dep.pl

index 9e53f35c1a2c2c4b1d8f785f03ab30e990b89d76..c78f955b508eda366e36ba9eedee2b2413c71523 100644 (file)
@@ -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});

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.