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
|
## -*- docker-image-name: "fplll/fplll" -*-
FROM debian:bookworm
MAINTAINER Martin Albrecht <fplll-devel@googlegroups.com>
ARG BRANCH=master
ARG JOBS=2
ARG CXXFLAGS="-O2 -march=x86-64"
ARG CFLAGS="-O2 -march=x86-64"
SHELL ["/bin/bash", "-c"]
ENTRYPOINT /bin/bash
RUN apt update && \
apt install -y build-essential libtool git autoconf libgmp-dev libmpfr-dev libqd-dev pkg-config && \
apt clean && \
git clone --branch $BRANCH https://github.com/fplll/fplll && \
cd fplll && \
autoreconf -i && \
CFLAGS=$CFLAGS CXXFLAGS=$CXXFLAGS ./configure --disable-static --prefix=/usr && \
make -j $JOBS install && \
cd .. && \
rm -rf fplll
|
