Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Merge pull request #15 from jrwren/master

search /opt/mono for a parallel mono environment and use fsc as compiler fallback from fsharpc
  • Loading branch information...
commit 44fcef8a05acc7b315af44d671ca41b407b42501 2 parents 0d5f18a + ac30e52
@tpetricek tpetricek authored
Showing with 20 additions and 17 deletions.
  1. +20 −17 configure.sh
View
37 configure.sh
@@ -1,4 +1,4 @@
-#! /bin/sh -e
+#! /bin/bash -e
echo ""
echo "MonoDevelop Makefile configuration script"
@@ -31,6 +31,9 @@ read a
GMCS=gmcs
MONO=mono
FSC=fsharpc
+
+
+if [[ `which $FSC` == "" ]]; then FSC=fsc; fi
while getopts e:f:c:n OPT; do
case "$OPT" in
@@ -75,45 +78,45 @@ searchpaths()
# ------------------------------------------------------------------------------
# Find all paths that we need in order to generate the make file
-PATHS=( /usr/lib/monodevelop /Applications/MonoDevelop.app/Contents/MacOS/lib/monodevelop )
+PATHS=( /usr/lib/monodevelop /Applications/MonoDevelop.app/Contents/MacOS/lib/monodevelop /opt/mono/lib/monodevelop )
searchpaths "MonoDevelop" bin/MonoDevelop.Core.dll PATHS[@]
MDDIR=$RESULT
-echo "Successfully found MonoDevelop root directory."
+echo "Successfully found MonoDevelop root directory." $MDDIR
-PATHS=( /usr/lib/fsharp /usr/local/lib/fsharp )
+PATHS=( /usr/lib/fsharp /usr/local/lib/fsharp /opt/mono/lib/mono/2.0 )
searchpaths "F#" FSharp.Core.dll PATHS[@]
FSDIR=$RESULT
-echo "Successfully found F# root directory."
+echo "Successfully found F# root directory." $FSDIR
-PATHS=( /usr/lib/mono/2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/2.0 )
+PATHS=( /usr/lib/mono/2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/2.0 /opt/mono/lib/mono/2.0 )
searchpaths "Mono" mscorlib.dll PATHS[@]
MONODIR=$RESULT
-echo "Successfully found Mono root directory."
+echo "Successfully found Mono root directory." $MONODIR
-PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/gtk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 )
+PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/gtk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 /opt/mono/lib/mono/gtk-sharp-2.0 )
searchpaths "Gtk#" gtk-sharp.dll PATHS[@]
GTKDIR=$RESULT
-echo "Successfully found Gtk# root directory."
+echo "Successfully found Gtk# root directory." $GTKDIR
-PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/glib-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 )
+PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/glib-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 /opt/mono/lib/mono/gtk-sharp-2.0 )
searchpaths "Glib" glib-sharp.dll PATHS[@]
GLIBDIR=$RESULT
-echo "Successfully found Glib# root directory."
+echo "Successfully found Glib# root directory." $GLIBDIR
-PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/atk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 )
+PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/atk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 /opt/mono/lib/mono/gtk-sharp-2.0 )
searchpaths "Atk#" atk-sharp.dll PATHS[@]
ATKDIR=$RESULT
-echo "Successfully found Atk# root directory."
+echo "Successfully found Atk# root directory." $ATKDIR
-PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/gdk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 )
+PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/gdk-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 /opt/mono/lib/mono/gtk-sharp-2.0 )
searchpaths "Gdk#" gdk-sharp.dll PATHS[@]
GDKDIR=$RESULT
-echo "Successfully found Gdk# root directory."
+echo "Successfully found Gdk# root directory." $GDKDIR
-PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/pango-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 )
+PATHS=( /usr/lib/mono/gtk-sharp-2.0 /usr/lib/cli/pango-sharp-2.0 /Library/Frameworks/Mono.framework/Versions/2.8/lib/mono/gtk-sharp-2.0 /opt/mono/lib/mono/gtk-sharp-2.0 )
searchpaths "Pango#" pango-sharp.dll PATHS[@]
PANGODIR=$RESULT
-echo "Successfully found Pango root directory."
+echo "Successfully found Pango root directory." $PANGODIR
# ------------------------------------------------------------------------------
# Write Makefile
Please sign in to comment.
Something went wrong with that request. Please try again.