diff options
author | Mark Lee <marklee@src.gnome.org> | 2009-07-15 00:41:02 -0700 |
---|---|---|
committer | Mark Lee <git@lazymalevolence.com> | 2009-08-20 14:03:53 -0700 |
commit | 9cb64c536e0255089ee929052fb81c49e8756b3e (patch) | |
tree | a0f0eaa16b27d721244fa8ca6d140c86302a4ac5 /vala/valasourcefile.vala | |
parent | 0b6b84aab84f7e9019e644866cc9973d63bf6304 (diff) | |
download | vala-9cb64c536e0255089ee929052fb81c49e8756b3e.tar.gz |
valac: Add flag to specify a separate basedir for the public header
This basedir is used in the VAPI file. Needed because of the way that build
systems such as Waf deal with the location of the public header.
Fixes GNOME Bug #589964.
Diffstat (limited to 'vala/valasourcefile.vala')
-rw-r--r-- | vala/valasourcefile.vala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vala/valasourcefile.vala b/vala/valasourcefile.vala index 4c1dfc7d8..0ec442924 100644 --- a/vala/valasourcefile.vala +++ b/vala/valasourcefile.vala @@ -222,6 +222,9 @@ public class Vala.SourceFile { if (cinclude_filename == null) { if (context.header_filename != null) { cinclude_filename = Path.get_basename (context.header_filename); + if (context.includedir != null) { + cinclude_filename = "%s/%s".printf (context.includedir, cinclude_filename); + } } else { cinclude_filename = "%s%s.h".printf (get_subdir (), get_basename ()); } |