3 # Platform-specific makefile rules. This one's for linux.
6 PLATFORM_DEBUG_FLAGS = -debug
8 PLATFORM_RUNTIME = $(RUNTIME)
9 PLATFORM_CORLIB = mscorlib.dll
10 PLATFORM_TEST_HARNESS_EXCLUDES =
14 EXTERNAL_RUNTIME = mono
18 PLATFORM_PATH_SEPARATOR = :
20 # Define this if this ever will work on Linux
21 # PLATFORM_MAKE_CORLIB_CMP = yes
23 # This is for changing / to \ on windows
24 PLATFORM_CHANGE_SEPARATOR_CMD = cat
26 PLATFORM_AOT_SUFFIX = .so
33 # I tried this but apparently Make's version strings aren't that
34 # ... consistent between releases. Whatever.
36 # @if ! $(MAKE) --version |grep '^GNU Make version 3' 1>/dev/null 2>&1 ; then \
37 # echo "*** You need to build MCS with GNU make. Try \`gmake'" ; \