Last active
April 14, 2018 21:57
-
-
Save odanoburu/cd99cc307a90f26614d5f86996f57d29 to your computer and use it in GitHub Desktop.
Grammatical Framework shell with C and haskell runtimes, built from source
This file contains 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
### to use this image you should put this Dockerfile on the root of the main GF repository | |
# official haskell image -- doesn't seem to work with stack: | |
FROM haskell:8.2 | |
# this image will work with stack https://github.com/ajscholl/docker-haskell/commit/62ff8e4d28949035f65f23cf68fad774b70ebb0e | |
RUN apt-get update \ | |
&& apt-get install -y \ | |
libghc-haskeline-dev \ | |
autoconf \ | |
automake \ | |
libtool \ | |
make \ | |
&& rm -rf /var/lib/apt/lists/* | |
WORKDIR /home/gfer | |
COPY . /home/gfer/ | |
RUN cabal update && cabal install --only-dependencies | |
RUN cd /home/gfer/src/runtime/c && \ | |
autoreconf -i && \ | |
./configure && \ | |
make && \ | |
make install | |
ENV LD_LIBRARY_PATH="/usr/local/lib" | |
# gf itself | |
RUN cabal install -fserver -fc-runtime --extra-lib-dirs="/usr/local/lib" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment