diff options
| -rw-r--r-- | support/make/cygwin.mk | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/support/make/cygwin.mk b/support/make/cygwin.mk new file mode 100644 index 0000000000..2fc301ea09 --- /dev/null +++ b/support/make/cygwin.mk @@ -0,0 +1,32 @@ +############################################################-*-Makefile-*-#### +# CYGWIN - Cygwin Support +############################################################################## +# $Id$ + +############################################################################## +# Exports +# +# CYGWIN_TEST : a variable that is non-empty under cygwin +# CYGWIN_PATH : a function that converts file paths +# CYGWIN_FILE : a function that converts file names +# +############################################################################## + +############################################################################## +# Defaults + +UNAME ?= uname +CYGPATH ?= cygpath + +############################################################################## +# Values + +CYGWIN_TEST = $(filter CYGWIN%,$(shell $(UNAME))) + +############################################################################## +# Functions + +CYGWIN_PATH = $(if $(CYGWIN_TEST),`$(CYGPATH) -w -p $(1)`,$(1)) +CYGWIN_FILE = $(if $(CYGWIN_TEST),`$(CYGPATH) -w $(1)`,$(1)) + +############################################################################## |