legacy-tema-docker/Dockerfile at master · MathWebSearch/legacy-tema-docker · 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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
FROM debian:stable

MAINTAINER Mihnea Iancu <m.iancu@jacobs-university.de>

## Disable apt cache
RUN echo "Acquire::http {No-Cache=True;};" > /etc/apt/apt.conf.d/no-cache

## Basics
RUN apt-get update && \
    apt-get dist-upgrade -y && \
    apt-get install -y git subversion locales  && \
    apt-get clean
ADD locale.gen /etc/locale.gen
RUN locale-gen
RUN echo "export LC_CTYPE=en_US.UTF-8" >> ~/.bashrc
RUN echo "export LC_ALL=en_US.UTF-8" >> ~/.bashrc

## (1) Installing Dependencies
# (1.1) MWS & Misc Deps
RUN apt-get install -y g++ cmake make pkg-config && apt-get clean
RUN apt-get install -y libmicrohttpd-dev libxml2-dev libleveldb-dev libsnappy-dev libjson0-dev  && apt-get clean
RUN apt-get install -y libicu-dev libcurl4-gnutls-dev libhtmlcxx-dev && apt-get clean
# (1.2) TEMA Frontend Deps
RUN apt-get install -y curl php5 php5-curl elasticsearch && apt-get clean
# (1.3) TEMA Proxy deps
RUN apt-get install -y npm && apt-get clean
# (1.4) MMT deps
RUN apt-get install -y java-common subversion
## (2) Cloning and installing MWS & friends
RUN mkdir /var/data/
RUN cd /var/data/ && git clone https://github.com/KWARC/mws.git
RUN cd /var/data/ && git clone https://github.com/KWARC/mws-frontend.git
RUN cd /var/data/ && git clone https://github.com/KWARC/tema-proxy.git
ADD tema-proxy-config.js /var/data/tema-proxy/config.js
RUN cd /var/data/mws/ && make && make install && cd ../
ADD mws-es-config.sh /var/data/mws/scripts/elastic-search/config.sh
## (3) Cloning and install MMT
#RUN cd /var/data/ &&  git clone https://github.com/KWARC/MMT.git
RUN cd /var/data/ && mkdir MMT && cd MMT && svn co https://svn.kwarc.info/repos/MMT/deploy
## (4) Cloning MMT Library & OEIS-specific config
RUN cd /var/data/ && git clone http://gl.mathhub.info/oeis/TestOEIS.git mmtarch
ADD serve.msl /var/data/mmtarch/serve.msl
RUN cd /var/data/mws-frontend/ && git checkout oeis-demo
## (5) Setting up generated content
# (5.1) Creating havests
RUN cd /var/data/ && mkdir harvest
RUN cd /var/data/ && find mmtarch/export/oeis-pres/narration/ -name *.html | xargs -n 10 docs2harvest -c mmtarch/lib/tema-config.json -o harvest
# (5.2) Indexing
RUN cd /var/data/ && mkdir index && mws/bin/mws-index -I harvest -o index/
# (5.3) Generating elasticsearch json index, will out to `havest/` a .json file for every .harvest file
RUN cd /var/data/ && harvests2json -H harvest/ -I index/
# (6) Adding start-up script, see adjacent `start-tema` file for details
ADD start-tema /usr/bin/