| 12345678910111213141516171819202122232425 |
- FROM ubuntu:16.04
- ADD ./ /urweb
- WORKDIR /urweb
- ENV URWEB_VERSION=20160621
- ENV COMPILER=/urweb/urweb-build
- RUN apt update -yqq && apt install -yqq make wget mlton libssl-dev libpq-dev libmysqlclient-dev
- RUN mkdir -p $COMPILER && \
- wget -q http://www.impredicative.com/ur/urweb-$URWEB_VERSION.tgz && \
- tar xf urweb-$URWEB_VERSION.tgz && \
- cd urweb-$URWEB_VERSION && \
- ./configure --prefix=$COMPILER && \
- make && \
- make install
- ENV URWEB_HOME=${COMPILER}
- ENV LD_LIBRARY_PATH=${COMPILER}/lib
- ENV PATH=${COMPILER}/bin:${PATH}
- RUN urweb -dbms mysql -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=tfb-database" bench
- CMD ./bench.exe -q -k -t $((2 * $(nproc)))
|
