Skip to content

Instantly share code, notes, and snippets.

@CarloMartini
Last active August 29, 2015 14:09
Show Gist options
  • Save CarloMartini/def8987dd7fca224cf24 to your computer and use it in GitHub Desktop.
Save CarloMartini/def8987dd7fca224cf24 to your computer and use it in GitHub Desktop.
Install MonoDevelop and F-Sharp on Fedora 20 x64
#
!
/bin/bash
# Acquire admin rights
su
# Install Mono: add GPG key and package repository
# http://www.mono-project.com/docs/getting-started/install/linux/#centos-fedora-and-derivatives
rpm --import "https://pgp.mit.edu/pks/lookup?op=get&search=0x3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF"
yum-config-manager --add-repo http://download.mono-project.com/repo/centos/
yum install mono-devel
# Install F-Sharp
# http://ahumblegeek.blogspot.it/2013/10/how-to-install-monodevelop-4-with-f.html
yum install autoconf libtool pkg-config make git
git clone https://github.com/fsharp/fsharp
cd fsharp
./autogen.sh --prefix=/opt/mono/
make
make install
# Add Tpokorra repository, download and install a version of MonoDevelop (4.2.2) supporting the F-Sharp Language Binding add-in
cd /etc/yum.repos.d/
wget http://download.opensuse.org/repositories/home:tpokorra:mono/Fedora_18/home:tpokorra:mono.repo
yum install monodevelop-opt
# Download the compatible F-Sharp Language Binding add-in (3.2.28)
# http://addins.monodevelop.com/Project/Index/48
wget http://addins.monodevelop.com/Stable/Linux/4.2.2/MonoDevelop.FSharpBinding-3.2.28.mpack
# Now, you still have to open the program and load the add-in from Tools -> Add-in Manager -> Install. Good Luck!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment