Current section
Files
Jump to
Current section
Files
Makefile
# If stock `make` is GNU Make, use `make`; otherwise use `gmake`
GNUMAKE=@`sh -c 'gmakebin=\`which gmake\`; if [ ! -z $$gmakebin -a -x $$gmakebin ]; then echo gmake; else echo make; fi'`
TARGETMAKEFILE= ./Makefile.sfmt
all:
$(GNUMAKE) -f $(TARGETMAKEFILE) $@
.DEFAULT:
$(GNUMAKE) -f $(TARGETMAKEFILE) $@