Skip to content

Instantly share code, notes, and snippets.

@junosuarez

junosuarez/Dockerfile

Last active December 19, 2015 12:29
Download ZIP

Revisions

  1. junosuarez revised this gist Jul 9, 2013. 1 changed file with 1 addition and 3 deletions.
    4 changes: 1 addition & 3 deletions Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -3,6 +3,4 @@ FROM base:ubuntu-12.10

    RUN apt-get -y install mono-devel autoconf pkg-config make git libtool
    RUN git clone https://github.com/fsharp/fsharp
    RUN cd fsharp; ./autogen.sh --prefix /usr
    RUN cd fsharp; make
    RUN cd fsharp; make install
    RUN cd fsharp && ./autogen.sh --prefix /usr && make && make install
  2. junosuarez revised this gist Jul 9, 2013. 1 changed file with 3 additions and 4 deletions.
    7 changes: 3 additions & 4 deletions Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -3,7 +3,6 @@ FROM base:ubuntu-12.10

    RUN apt-get -y install mono-devel autoconf pkg-config make git libtool
    RUN git clone https://github.com/fsharp/fsharp
    RUN cd fsharp
    RUN ./autogen.sh --prefix /usr
    RUN make
    RUN make install
    RUN cd fsharp; ./autogen.sh --prefix /usr
    RUN cd fsharp; make
    RUN cd fsharp; make install
  3. junosuarez created this gist Jul 9, 2013.
    9 changes: 9 additions & 0 deletions Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    # DOCKER-VERSION 0.4.8
    FROM base:ubuntu-12.10

    RUN apt-get -y install mono-devel autoconf pkg-config make git libtool
    RUN git clone https://github.com/fsharp/fsharp
    RUN cd fsharp
    RUN ./autogen.sh --prefix /usr
    RUN make
    RUN make install