diff options
| author | midipix <writeonce@midipix.org> | 2021-05-23 13:52:50 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2021-05-23 14:25:06 +0000 |
| commit | f43bd88566dea03032eab0baddff192d2fc61494 (patch) | |
| tree | 0dc96454735ed5eeb61c2a0fcb7d909e3745242a | |
| parent | 831d95063aa708c329d26f4e80e79f4276f98861 (diff) | |
| download | pemagine-f43bd88566dea03032eab0baddff192d2fc61494.tar.bz2 pemagine-f43bd88566dea03032eab0baddff192d2fc61494.tar.xz | |
build system: Makefile.in: properly support project-specified make file names.
| -rw-r--r-- | Makefile.in | 4 | ||||
| -rwxr-xr-x | configure | 19 |
2 files changed, 13 insertions, 10 deletions
diff --git a/Makefile.in b/Makefile.in index 49ee097..9c27151 100644 --- a/Makefile.in +++ b/Makefile.in @@ -282,7 +282,7 @@ dirs.tag: mkdir -p lib touch dirs.tag -host.tag: Makefile +host.tag: @makefile@ $(CC) $(CFLAGS) -dumpmachine > host.tmp mv host.tmp host.tag @@ -299,7 +299,7 @@ distclean: clean rm -f cfgdefs.mk rm -f usrdefs.mk rm -f config.log - rm -f Makefile + rm -f @makefile@ rmdir build ccenv bin lib 2>&1 || true clean: clean-implib @@ -178,6 +178,11 @@ init_vars() MAKEMODE="$mb_makemode" fi + + if [ -z "$mb_makefile" ]; then + mb_makefile='Makefile' + fi + # project-specific initialization if [ _$mb_use_custom_cfginit = _yes ]; then . "$mb_project_dir/project/config/cfginit.sh" @@ -312,7 +317,7 @@ verify_build_directory() fi fi - rm -f Makefile Makefile.host Makefile.tmp Makefile.failed + rm -f Makefile Makefile.host Makefile.tmp Makefile.failed $mb_makefile output_step_epilog } @@ -818,7 +823,7 @@ config_cfghost() $mb_pwd/Makefile.tmp > $mb_pwd/Makefile.host rm $mb_pwd/Makefile.tmp - mv $mb_pwd/Makefile.host $mb_pwd/Makefile + mv $mb_pwd/Makefile.host $mb_pwd/$mb_makefile output_step_epilog } @@ -828,10 +833,13 @@ config_host() { output_step_prolog ${mb_script} 'config_host' + # verify configuration for the host's (cross-)compiler ${mb_make} -s host.tag \ - && output_step_epilog \ + -f "$mb_makefile" \ + && output_step_epilog \ && return 0 + # should never happen error_msg "configure was able to generate a Makefile for the selected host," error_msg "however the host-targeting compiler was found to be missing" error_msg "at least one of the required headers or features." @@ -841,11 +849,6 @@ config_host() config_fini() { - # rename Makefile as needed - if [ -n "$mb_makefile" ]; then - mv $mb_pwd/Makefile $mb_pwd/$mb_makefile - fi - # project-specific post-configuration steps if [ _$mb_use_custom_cfgfini = _yes ]; then . "$mb_project_dir/project/config/cfgfini.sh" |