Skip to content

Instantly share code, notes, and snippets.

@dbohdan
Last active April 17, 2016 11:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dbohdan/6a1a576eb0150a33cdf5 to your computer and use it in GitHub Desktop.
Save dbohdan/6a1a576eb0150a33cdf5 to your computer and use it in GitHub Desktop.
Install F# and Mono 4.0 on Fedora 21
#!/bin/sh
set -e
# Repo info: https://lists.fedoraproject.org/pipermail/fedora-mono/2013-November/000466.html
curl http://download.opensuse.org/repositories/home:/tpokorra:/mono/Fedora_21/home:tpokorra:mono.repo | sudo tee /etc/yum.repos.d/mono.repo
sudo dnf install -y mono-opt mono-opt-devel
git clone https://github.com/fsharp/fsharp
cd fsharp
export PATH=$PATH:/opt/mono/bin
export PKG_CONFIG_PATH=/opt/mono/lib/pkgconfig
./autogen.sh --prefix /opt/mono
make
sudo make install
#!/bin/sh
# Run this once you have installed Mono and F# using script above.
sudo dnf install -y monodevelop-opt
git clone https://github.com/fsharp/fsharpbinding.git
cd fsharpbinding/monodevelop
. /opt/mono/env.sh
./configure.sh --prefix=/opt/monodevelop/lib/monodevelop
make
make install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment