Skip to content

Instantly share code, notes, and snippets.

@dbohdan

dbohdan/f-sharp-fedora-21.sh

Last active April 17, 2016 11:05
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save dbohdan/6a1a576eb0150a33cdf5 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save dbohdan/6a1a576eb0150a33cdf5 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. dbohdan revised this gist Jun 29, 2015. 2 changed files with 4 additions and 3 deletions.
    5 changes: 3 additions & 2 deletions f-sharp-fedora-20.sh → f-sharp-fedora-21.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,10 +1,11 @@
    #!/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
    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
    2 changes: 1 addition & 1 deletion monodevelop.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,6 +1,6 @@
    #!/bin/sh
    # Run this once you have installed Mono and F# using script above.
    sudo yum install -y monodevelop-opt
    sudo dnf install -y monodevelop-opt
    git clone https://github.com/fsharp/fsharpbinding.git
    cd fsharpbinding/monodevelop
    . /opt/mono/env.sh
  2. dbohdan revised this gist Oct 4, 2014. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion monodevelop.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,5 +1,5 @@
    #!/bin/sh
    # Run this once you have install Mono and F# using script above.
    # Run this once you have installed Mono and F# using script above.
    sudo yum install -y monodevelop-opt
    git clone https://github.com/fsharp/fsharpbinding.git
    cd fsharpbinding/monodevelop
  3. dbohdan revised this gist Oct 4, 2014. 2 changed files with 10 additions and 1 deletion.
    2 changes: 1 addition & 1 deletion f-sharp-fedora-20.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -6,7 +6,7 @@ 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
    . /opt/mono/env.sh

    ./autogen.sh --prefix /opt/mono
    make
    sudo make install
    9 changes: 9 additions & 0 deletions monodevelop.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    #!/bin/sh
    # Run this once you have install Mono and F# using script above.
    sudo yum 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
  4. dbohdan revised this gist Oct 4, 2014. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions f-sharp-fedora-20.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -6,6 +6,7 @@ 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
    . /opt/mono/env.sh
    ./autogen.sh --prefix /opt/mono
    make
    sudo make install
  5. dbohdan renamed this gist Oct 4, 2014. 1 changed file with 0 additions and 0 deletions.
    0 install.sh → f-sharp-fedora-20.sh
    View file
    File renamed without changes.
  6. dbohdan created this gist Oct 4, 2014.
    11 changes: 11 additions & 0 deletions install.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,11 @@
    #!/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