Assuming you have `GF` sources downloaded from `darcs` repository, install `GF` with runtime extension. Name it saludes/gf-runtime.

Dockerfile

FROM saludes/docker-gf
WORKDIR /GF
RUN darcs pull -a
RUN cabal install
CMD gf

Dockerfile.runtime

FROM saludes/docker-gf
WORKDIR /GF
RUN darcs pull -a
WORKDIR /GF/src/runtime/c
RUN apt-get update
RUN apt-get install -y autoconf make libtool
RUN bash setup.sh configure
RUN bash setup.sh configure
RUN bash setup.sh build
RUN bash setup.sh install
WORKDIR /GF
ENV LD_LIBRARY_PATH=/usr/local/lib/
RUN cabal install -fserver -fc-runtime

Dockerfile.runtime-python

FROM saludes/gf-runtime
RUN apt-get install -y ipython libpython-dev
WORKDIR /GF/src/runtime/python/
RUN python setup.py build
RUN python setup.py install