2014-08-13 10:39:27 +01:00
|
|
|
# -*- makefile -*-
|
|
|
|
|
#
|
2018-10-09 08:20:59 +00:00
|
|
|
# Platform-specific makefile rules. This one's for any unix (FreeBSD, OpenBSD, etc.)
|
2014-08-13 10:39:27 +01:00
|
|
|
#
|
|
|
|
|
|
|
|
|
|
PLATFORM_MCS_FLAGS =
|
|
|
|
|
PLATFORM_RUNTIME = $(RUNTIME)
|
2018-10-09 08:20:59 +00:00
|
|
|
PLATFORM_TEST_HARNESS_EXCLUDES =
|
2014-08-13 10:39:27 +01:00
|
|
|
|
|
|
|
|
EXTERNAL_RUNTIME = mono
|
|
|
|
|
|
|
|
|
|
PLATFORM_PATH_SEPARATOR = :
|
|
|
|
|
|
|
|
|
|
# This is for changing / to \ on windows
|
|
|
|
|
PLATFORM_CHANGE_SEPARATOR_CMD = cat
|
|
|
|
|
|
|
|
|
|
hidden_prefix = .
|
|
|
|
|
hidden_suffix =
|
|
|
|
|
|
|
|
|
|
platform-check:
|
|
|
|
|
@:
|
