diff options
Diffstat (limited to 'Configure.pl')
| -rw-r--r-- | Configure.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Configure.pl b/Configure.pl index 889da70..f2a7047 100644 --- a/Configure.pl +++ b/Configure.pl @@ -151,6 +151,9 @@ MAIN: { $config{prefix} = $prefix; $config{sdkroot} = $options{sdkroot}; $config{sysroot} = $options{sysroot}; + $config{pass_rakudo_config} = ""; + $config{pass_rakudo_config} .= $options{sdkroot} ? " --sdkroot=\"\$(SDKROOT_DIR)\"" : ""; + $config{pass_rakudo_config} .= $options{sysroot} ? " --sysroot=\"\$(SYSROOT_DIR)\"" : ""; $config{slash} = $slash; $config{'makefile-timing'} = $options{'makefile-timing'}; $config{'stagestats'} = '--stagestats' if $options{'makefile-timing'}; |