3 # Platform-specific makefile rules. This one's for linux.
7 PLATFORM_RUNTIME
= $(RUNTIME
)
8 PLATFORM_CORLIB
= mscorlib.dll
9 PLATFORM_TEST_HARNESS_EXCLUDES
=
13 EXTERNAL_RUNTIME
= mono
17 PLATFORM_PATH_SEPARATOR
= :
19 # This is for changing / to \ on windows
20 PLATFORM_CHANGE_SEPARATOR_CMD
= cat
27 # I tried this but apparently Make's version strings aren't that
28 # ... consistent between releases. Whatever.
30 # @if ! $(MAKE) --version |grep '^GNU Make version 3' 1>/dev/null 2>&1 ; then \
31 # echo "*** You need to build MCS with GNU make. Try \`gmake'" ; \