diff options
-rw-r--r-- | Makefile.config | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile.config b/Makefile.config index 8bfa98cc2d..02187e0633 100644 --- a/Makefile.config +++ b/Makefile.config @@ -64,6 +64,7 @@ CP ?= cp CVS ?= cvs DATE ?= date DIRNAME ?= dirname +DOS2UNIX ?= dos2unix ECHO ?= echo EXPR ?= expr FIND ?= find @@ -117,12 +118,19 @@ SCALADOC ?= $(SCALA_HOME:%=%/bin/)scaladoc SCALAINFO ?= $(SCALA_HOME:%=%/bin/)scala-info ############################################################################## -# .NET tools (Mono) +# .NET/Mono tools CSC ?= csc +CSC_FLAGS ?= /nologo /warn:0 ILASM ?= ilasm +ILASM_FLAGS ?= $(if $(MONO),/debug /dll,/nol /qui /debug /dll) ILDASM ?= ildasm +ILDASM_FLAGS ?= SN ?= sn +SN_FLAGS ?= + +MONO = $(shell $(CSC) --version 2>&1 | \ + $(GREP) -c "Mono" | $(GREP) -v 0) ############################################################################## # Convert tool (ImageMagick) |