Skip to content

Instantly share code, notes, and snippets.

@rowpsmo1859
Last active June 5, 2017 23:02
Show Gist options
  • Select an option

  • Save rowpsmo1859/45f204903a0bc21ac659 to your computer and use it in GitHub Desktop.

Select an option

Save rowpsmo1859/45f204903a0bc21ac659 to your computer and use it in GitHub Desktop.
Install Fsharp on Centos6
#Set the terminal session with super user privileges
sudo -s
#Install dependencies for compiling code
yum install bison gettext glib2 freetype fontconfig libpng libpng-devel libX11 libX11-devel glib2-devel libgdi* libexif glibc-devel urw-fonts java unzip gcc gcc-c++ automake autoconf libtool make bzip2 wget
#Download Mono, extract the files, make, and make install
cd /usr/local/src
wget http://download.mono-project.com/sources/mono/mono-5.0.1.1.tar.bz2
tar jxf mono-4.3.2.467.tar.bz2
cd mono-4.3.2
./configure --prefix=/opt/mono
make && make install
#modify path variable for terminal instance so mono can be used
export PATH=$PATH:/opt/mono/bin
export PKG_CONFIG_PATH=/opt/mono/lib/pkgconfig
#Download fsharp, unzip the files, sync certificates, run pre-make gen script, make, and make install
cd ..
wget https://github.com/fsharp/fsharp/archive/4.1.18.zip
unzip master.zip
cd fsharp-master
mozroots --import --sync
./autogen.sh --prefix=/opt/mono
make && make install
#Add the following lines to the file /etc/profile.
#This is important!
#Adding these lines will allow mono to be used from any terminal session.
#/etc/profile is the global equivalent .bash_profile
#export PATH=$PATH:/opt/mono/bin
#export PKG_CONFIG_PATH=/opt/mono/lib/pkgconfig
@rowpsmo1859
Copy link
Author

This was used on a CentOS 6.6 Server

@rowpsmo1859
Copy link
Author

Updated to use set version urls

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment