dorothy/common.Dockerfile at master · richarah/dorothy · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
FROM ubuntu:latest AS dorothy-common

# Build for AMD64
# Please modify this to suit your architecture
ARG ARCH=x64

# Noninteractive frontend had to be specified again and again
# as some versions of Docker tend to "forget"
RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
    DEBIAN_FRONTEND=noninteractive apt-get upgrade -y && \
    DEBIAN_FRONTEND=noninteractive apt-get install -y \
    	git subversion \
    	python3 python3-dev python-tk tk tk-dev tcl tcl-dev tclsh \
    	gcc libboost-all-dev build-essential g++ make cmake \
    	openjdk-11-jre-headless \
    	emacs

WORKDIR /build

RUN git clone --recursive https://github.com/mozart/mozart2 && \
    cd mozart2 && mkdir build && cd build && \
    cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER_ARCHITECTURE_ID=$ARCH ..  && \
    make && make install

WORKDIR /docker
RUN rm -rfv /build