jiri/org-ql
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Meta: Update Makefile, makem.sh

Browse source
This commit is contained in:
Adam Porter 2020-01-03 03:51:50 -06:00
parent 6004ab98da
commit b1d9fcf274
2 changed files with 116 additions and 88 deletions
Download patch file Download diff file Expand all files Collapse all files

19
Makefile
View file

@ -2,14 +2,27 @@
# For consistency, we use only var=val options, not hyphen-prefixed options.
ifdef autoinstall
AUTOINSTALL = "--auto-install"
# NOTE: I don't like duplicating the arguments here and in makem.sh,
# but I haven't been able to find a way to pass arguments which
# conflict with Make's own arguments through Make to the script.
# Using -- doesn't seem to do it.
ifdef auto-install
AUTO_INSTALL = "--auto-install"
endif
ifdef sandbox
SANDBOX = "--sandbox"
endif
ifdef sandbox-dir
SANDBOX_DIR = "--sandbox-dir" "$(sandbox-dir)"
endif
ifdef debug
DEBUG = "--debug"
endif
# ** Verbosity
# Since the "-v" in "make -v" gets intercepted by Make itself, we have
@ -29,4 +42,4 @@ endif
# directory by that name exists, which can confuse Make.
%:
@./makem.sh $(VERBOSE) $(SANDBOX) $(AUTOINSTALL) $(@)
@./makem.sh $(DEBUG) $(VERBOSE) $(SANDBOX) $(SANDBOX_DIR) $(AUTO_INSTALL) $(@)