Skip to content

Instantly share code, notes, and snippets.

@dbohdan
Last active April 17, 2016 11:05
Show Gist options
  • Select an option

  • Save dbohdan/6a1a576eb0150a33cdf5 to your computer and use it in GitHub Desktop.

Select an option

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_20/home:tpokorra:mono.repo | sudo tee /etc/yum.repos.d/mono.repo
sudo yum install -y mono-opt mono-opt-devel
git clone https://github.com/fsharp/fsharp
cd fsharp
export PKG_CONFIG_PATH=/opt/mono/lib/pkgconfig
./autogen.sh --prefix /opt/mono
make
sudo make install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment