diff options
| author | Tobias Leich <email@froggs.de> | 2014-09-03 20:29:58 +0200 |
|---|---|---|
| committer | Tobias Leich <email@froggs.de> | 2014-09-03 20:29:58 +0200 |
| commit | 0644ed974b53a4793e99ba3b5aafd22f75276a7f (patch) | |
| tree | b1531e22ad24dc0998c3423ca3ddde02c8339e67 | |
| parent | da6f5ec80102ae9992c480b338bec8da2a4b404b (diff) | |
pass --backends option to rakudo's configure
| -rw-r--r-- | Configure.pl | 1 | ||||
| -rw-r--r-- | tools/build/Makefile.in | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Configure.pl b/Configure.pl index 82227ff..a6482dd 100644 --- a/Configure.pl +++ b/Configure.pl @@ -119,6 +119,7 @@ MAIN: { } } + $config{backends} = join ',', keys %backends; $config{backend_exes} = join ' ', map { '$(RAKUDO_DIR)/$(PERL6_' . uc(substr $_, 0, 1) . '_EXE)' } keys %backends; diff --git a/tools/build/Makefile.in b/tools/build/Makefile.in index 282cadd..7311ee8 100644 --- a/tools/build/Makefile.in +++ b/tools/build/Makefile.in @@ -50,7 +50,7 @@ rakudo: @backend_exes@ @backend_exes@: @echo "== Configuring and building Rakudo" - cd $(RAKUDO_DIR) && $(PERL) Configure.pl --prefix=$(PREFIX_DIR) && $(MAKE) + cd $(RAKUDO_DIR) && $(PERL) Configure.pl --prefix=$(PREFIX_DIR) --backends=@backends@ && $(MAKE) rakudo-test: rakudo cd $(RAKUDO_DIR) && $(MAKE) test |