From 7443f9d00ad2347b4d8f31661225a70be33dce1e Mon Sep 17 00:00:00 2001
From: Al Zohali <zohl@fmap.me>
Date: Fri, 22 Jan 2016 17:52:21 +0300
Subject: [PATCH] mono: add gmcs symlink

---
 pkgs/development/compilers/mono/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/development/compilers/mono/default.nix b/pkgs/development/compilers/mono/default.nix
index a7a4d8da4edc..4de1bd1e301b 100644
--- a/pkgs/development/compilers/mono/default.nix
+++ b/pkgs/development/compilers/mono/default.nix
@@ -63,6 +63,11 @@ stdenv.mkDerivation rec {
   postInstall = ''
     echo "Updating Mono key store"
     $out/bin/cert-sync ${cacert}/etc/ssl/certs/ca-bundle.crt
+  ''
+  # According to [1], gmcs is just mcs
+  # [1] https://github.com/mono/mono/blob/master/scripts/gmcs.in
+  + ''
+    ln -s $out/bin/mcs $out/bin/gmcs
   '';
 
   meta = {