.gitpod.dockerfile

FROM gitpod/workspace-full

RUN git clone https://github.com/emscripten-core/emsdk.git $HOME/emsdk
RUN cd $HOME/emsdk && ./emsdk install latest && ./emsdk activate latest
RUN wget -q "http://ftpmirror.gnu.org/gnu/gsl/gsl-latest.tar.gz"
RUN mkdir $HOME/gsl-latest
RUN tar -xzf gsl-latest.tar.gz -C $HOME/gsl-latest
RUN mv $HOME/gsl-latest/** $HOME/gsl-latest/gsl
RUN mkdir $HOME/usr
RUN cd $HOME/emsdk && . ./emsdk_env.sh && cd $HOME/gsl-latest/gsl/ && emconfigure ./configure --prefix=$HOME/usr --disable-shared && emmake make -j2 && emmake make install