remove stale references to gac/csc

Signed-off-by: Nikolaj Bjorner <[email protected]>

README.md

@@ -111,25 +111,6 @@ You can install a nuget package for the latest release Z3 from [nuget.org](https
 
 Use the ``--dotnet`` command line flag with ``mk_make.py`` to enable building these.
 
-On non-windows platforms [mono](http://www.mono-project.com/) is required. On these
-platforms the location of the C# compiler and gac utility need to be known. You
-can set these as follows if they aren't detected automatically. For example:
-
-```bash
-CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil python scripts/mk_make.py --dotnet
-```
-
-Note for very old versions of Mono (e.g. ``2.10``) you may need to set ``CSC``
-to ``/usr/bin/dmcs``.
-
-Note that when ``make install`` is executed on non-windows platforms the GAC
-utility is used to install ``Microsoft.Z3.dll`` into the
-[GAC](http://www.mono-project.com/docs/advanced/assemblies-and-the-gac/) as the
-``Microsoft.Z3.Sharp`` package. During install a
-[pkg-config](http://www.freedesktop.org/wiki/Software/pkg-config/) file
-(``Microsoft.Z3.Sharp.pc``) is also installed which allows the
-[MonoDevelop](http://www.monodevelop.com/) IDE to find the bindings. Running
-``make uninstall`` will remove the dll from the GAC and the ``pkg-config`` file.
 
 See [``examples/dotnet``](examples/dotnet) for examples.
 

scripts/mk_util.py

@@ -37,9 +37,7 @@ def getenv(name, default):
 OCAMLOPT=getenv("OCAMLOPT", "ocamlopt")
 OCAML_LIB=getenv("OCAML_LIB", None)
 OCAMLFIND=getenv("OCAMLFIND", "ocamlfind")
-CSC=getenv("CSC", None)
 DOTNET="dotnet"
-GACUTIL=getenv("GACUTIL", 'gacutil')
 # Standard install directories relative to PREFIX
 INSTALL_BIN_DIR=getenv("Z3_INSTALL_BIN_DIR", "bin")
 INSTALL_LIB_DIR=getenv("Z3_INSTALL_LIB_DIR", "lib")
@@ -48,7 +46,6 @@ def getenv(name, default):
 
 CXX_COMPILERS=['g++', 'clang++']
 C_COMPILERS=['gcc', 'clang']
-CSC_COMPILERS=['csc', 'mcs']
 JAVAC=None
 JAR=None
 PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib(prefix=getenv("PREFIX", None))
@@ -666,8 +663,6 @@ def display_help(exit_code):
     print("  OCAMLFIND  Ocaml find tool (only relevant with --ml)")
     print("  OCAMLOPT   Ocaml native compiler (only relevant with --ml)")
     print("  OCAML_LIB  Ocaml library directory (only relevant with --ml)")
-    print("  CSC        C# Compiler (only relevant if .NET bindings are enabled)")
-    print("  GACUTIL    GAC Utility (only relevant if .NET bindings are enabled)")
     print("  Z3_INSTALL_BIN_DIR Install directory for binaries relative to install prefix")
     print("  Z3_INSTALL_LIB_DIR Install directory for libraries relative to install prefix")
     print("  Z3_INSTALL_INCLUDE_DIR Install directory for header files relative to install prefix")

scripts/vsts-mac.sh

@@ -2,7 +2,7 @@
 
 cd ..
 mkdir build
-CSC=/usr/bin/csc GACUTIL=/usr/bin/gacutil CXX=clang++ CC=clang python scripts/mk_make.py  --java --python
+CXX=clang++ CC=clang python scripts/mk_make.py  --java --python
 cd build
 make
 make test-z3