Last active
June 5, 2017 23:02
-
-
Save vbop9834/45f204903a0bc21ac659 to your computer and use it in GitHub Desktop.
Install Fsharp on Centos6
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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 |
Updated to use set version urls
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This was used on a CentOS 6.6 Server