Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <lluis@xamarin.com>2013-09-04 20:08:46 +0400
committerLluis Sanchez <lluis@xamarin.com>2013-09-04 20:08:46 +0400
commitb0adf24d7fa7f8e2820c897942aabb60c3765b83 (patch)
tree1634504bb9cd4b196e69bcb33a72541ced095c2e /profiles
parentb8cfcb9e7f08c3b98702446350e42ab9efdaf678 (diff)
Add fsharpbinding to the build
Diffstat (limited to 'profiles')
-rw-r--r--profiles/mac1
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/mac b/profiles/mac
index 0b7086ba67..bd7752a93d 100644
--- a/profiles/mac
+++ b/profiles/mac
@@ -1,2 +1,3 @@
main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
extras/MonoDevelop.Database
+main/external/fsharpbinding/monodevelop --addins-dir=bin/local/Debug