Skip to content

Instantly share code, notes, and snippets.

@vbop9834
Last active June 5, 2017 23:02
Show Gist options
  • Save vbop9834/45f204903a0bc21ac659 to your computer and use it in GitHub Desktop.
Save vbop9834/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
@vbop9834
Copy link
Author

This was used on a CentOS 6.6 Server

@vbop9834
Copy link
Author

vbop9834 commented Jun 5, 2017

Updated to use set version urls

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