diff options
-rw-r--r-- | main/build/MacOSX/Makefile.am | 6 | ||||
m--------- | main/external/fsharpbinding | 14 | ||||
-rw-r--r-- | profiles/mac | 2 |
3 files changed, 9 insertions, 13 deletions
diff --git a/main/build/MacOSX/Makefile.am b/main/build/MacOSX/Makefile.am index 6c313ff44f..5fe7f18bb5 100644 --- a/main/build/MacOSX/Makefile.am +++ b/main/build/MacOSX/Makefile.am @@ -16,11 +16,7 @@ CLEANFILES = render.exe monostub monostub-test #DISTCLEANFILES = EXTRA_DIST = dmg-bg.png DS_Store Info.plist.in make-dmg-bundle.sh render.cs -if RELEASE_BUILDS -FSHARP_BIN=../../external/fsharpbinding/bin/mac-linux/Release -else -FSHARP_BIN=../../external/fsharpbinding/bin/mac-linux/Debug -endif +FSHARP_BIN=../../external/fsharpbinding/bin/ MONOSTUB_EXTRA_SOURCES = monostub-utils.h all: monostub monostub-test diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding -Subproject 583f285dc998dafbd62168a0b6d533207998209 +Subproject 7a798b3c9eb29e67cc543707c7cce5164fc7db3 diff --git a/profiles/mac b/profiles/mac index 8d6fb033c3..cc75bb7428 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 --addins-dir=bin/mac-linux --no-prefix +main/external/fsharpbinding --addins-dir=bin --no-prefix |