[m-rev.] diff: use dotgnu c-sharp compiler

[Julien Fischer]

Estimated hours taken: 0.2
Branches: main

scripts/Mercury.config.in:
	Have configure set the name of the C# compiler, since when
	using DotGNU it's cscc rather than csc.

Julien.

Index: Mercury.config.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mercury.config.in,v
retrieving revision 1.12
diff -u -r1.12 Mercury.config.in
--- Mercury.config.in	17 Jan 2006 04:06:30 -0000	1.12
+++ Mercury.config.in	1 Feb 2006 23:57:32 -0000
@@ -15,7 +15,8 @@
 #
 # Environment variables: MERCURY_STDLIB_DIR, MERCURY_C_COMPILER,
 # MERCURY_DEFAULT_GRADE, MERCURY_DEFAULT_OPT_LEVEL,
-# MERCURY_JAVA_COMPILER, MERCURY_JAVA_INTERPRETER.
+# MERCURY_JAVA_COMPILER, MERCURY_JAVA_INTERPRETER,
+# MERCURY_CSHARP_COMPILER.

 # These settings won't override settings in the environment.
 MERCURY_STDLIB_DIR=@LIBDIR@
@@ -25,6 +26,7 @@
 MERCURY_MATH_LIB=@MATH_LIB@
 MERCURY_JAVA_COMPILER=@JAVAC@
 MERCURY_JAVA_INTERPRETER=@JAVA_INTERPRETER@
+MERCURY_CSHARP_COMPILER=@MS_CSC@
 # $(MATH_LIB) needs to be defined because it may
 # be used by the substitution for SHARED_LIBS.
 MATH_LIB=$(MERCURY_MATH_LIB)
@@ -49,6 +51,7 @@
 		--cc "$(MERCURY_C_COMPILER)" \
 		--java-compiler "$(MERCURY_JAVA_COMPILER)" \
 		--java-interpreter "$(MERCURY_JAVA_INTERPRETER)" \
+		--csharp-compiler "$(MERCURY_CSHARP_COMPILER)" \
 		--cflags-for-ansi "@CFLAGS_FOR_ANSI@" \
 		--cflags-for-optimization "@CFLAGS_FOR_OPT@" \
 		--cflags-for-warnings "@CFLAGS_FOR_WARNINGS@" \

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------