diff options
| -rw-r--r-- | .gitmodules | 2 | ||||
| -rw-r--r-- | main/build/MacOSX/Makefile.am | 2 | ||||
| m--------- | main/external/fsharpbinding | 10 | ||||
| -rw-r--r-- | profiles/mac | 2 |
4 files changed, 8 insertions, 8 deletions
diff --git a/.gitmodules b/.gitmodules index 5e80fa6057..51dab65971 100644 --- a/.gitmodules +++ b/.gitmodules @@ -32,7 +32,7 @@ url = git://github.com/mono/guiunit.git [submodule "main/external/fsharpbinding"] path = main/external/fsharpbinding - url = git://github.com/fsharp/fsharpbinding.git + url = git://github.com/fsharp/fsharpmdxs.git branch = master [submodule "main/external/nuget-binary"] path = main/external/nuget-binary diff --git a/main/build/MacOSX/Makefile.am b/main/build/MacOSX/Makefile.am index e0a97da23d..6622e13799 100644 --- a/main/build/MacOSX/Makefile.am +++ b/main/build/MacOSX/Makefile.am @@ -53,7 +53,7 @@ app: monostub @echo "Copying MonoDevelop into app bundle" @echo "" cp -pR ../AddIns $(MAC_APP_LIB_DIR) - cp -pR ../../external/fsharpbinding/monodevelop/bin/mac-linux/Debug $(MAC_APP_LIB_DIR)/AddIns/fsharpbinding + cp -pR ../../external/fsharpbinding/bin/mac-linux/Debug $(MAC_APP_LIB_DIR)/AddIns/fsharpbinding cp -pR ../data $(MAC_APP_LIB_DIR) cp -pR ../bin $(MAC_APP_LIB_DIR) cp -pR ../locale $(MAC_APP_DIR)/Contents/MacOS/share diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding -Subproject c30c7c0627e95465431569c3de07499bf4e440b +Subproject 9605ebc2550e027a0ce6fd806e748b99ab4dbda diff --git a/profiles/mac b/profiles/mac index 91f5c8a42d..9cc804993f 100644 --- a/profiles/mac +++ b/profiles/mac @@ -1,2 +1,2 @@ main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests -main/external/fsharpbinding/monodevelop --addins-dir=bin/mac-linux/Debug --no-prefix +main/external/fsharpbinding --addins-dir=bin/mac-linux/Debug --no-prefix |