diff options
Diffstat (limited to 'ext/extmk.rb.in')
-rw-r--r-- | ext/extmk.rb.in | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ext/extmk.rb.in b/ext/extmk.rb.in index 57d7a4a455..743ec16b34 100644 --- a/ext/extmk.rb.in +++ b/ext/extmk.rb.in @@ -242,6 +242,29 @@ def have_header(header) return TRUE end +def arg_config(config, default=nil) + unless defined? $configure_args + $configure_args = {} + for arg in CONFIG["configure_args"].split + next unless /^--/ =~ arg + if /=/ =~ arg + $configure_args[$`] = $' + else + $configure_args[arg] = default + end + end + end + p [$configure_args, config] + $configure_args.fetch(config, default) +end + +def with_config(config, default=nil) + unless /^--with-/ =~ config + config = '--with-' + config + end + arg_config(config, default) +end + def create_header() if $defs.length > 0 hfile = open("extconf.h", "w") |