Skip to content

Instantly share code, notes, and snippets.

@portnov

portnov/Dockerfile

Created June 17, 2016 16:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save portnov/08d21c7dbe8275c2d4fbbc4272711625 to your computer and use it in GitHub Desktop.
Save portnov/08d21c7dbe8275c2d4fbbc4272711625 to your computer and use it in GitHub Desktop.
Download ZIP
Sbcl 1.3.6 && Fricas svn
Raw
Dockerfile
FROM ubuntu:16.04
MAINTAINER Ilya Portnov <portnov@iportnov.ru>
RUN apt-get update && \
apt-get install -y sbcl build-essential \
wget subversion autoconf libgmp-dev
RUN cd /usr/src/ && \
wget http://prdownloads.sourceforge.net/sbcl/sbcl-1.3.6-source.tar.bz2?download && \
tar xf sbcl-1.3.6-source.tar.bz2\?download && \
cd sbcl-1.3.6 && \
bash make.sh && \
bash install.sh
RUN cd /usr/src/ && \
svn checkout svn://svn.code.sf.net/p/fricas/code/trunk fricas && \
cd fricas/ && \
./build-setup.sh && \
./configure --enable-gmp && \
make -j4 && \
make install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment