Skip to content

Commit 9a5c5ad

Browse files
committed
Add NTL
1 parent 972f3c5 commit 9a5c5ad

File tree

2 files changed

+18
-6
lines changed

2 files changed

+18
-6
lines changed

.github/workflows/ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,9 @@ jobs:
1414
matrix:
1515
include:
1616
- manylinux_base: manylinux_2_28
17-
rust_version: 1.83.0
17+
rust_version: 1.85.0
1818
platform: x86_64
19+
ntl_version: 11.5.1
1920
steps:
2021
- name: Set up QEMU
2122
uses: docker/setup-qemu-action@v2

Dockerfile

Lines changed: 16 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,30 @@
11
ARG MANYLINUX_BASE
2-
ARG RUST_VERSION
32
ARG PLATFORM
43
FROM quay.io/pypa/${MANYLINUX_BASE}_${PLATFORM}
54
ARG MANYLINUX_BASE
6-
ARG RUST_VERSION
75
ARG PLATFORM
6+
ARG RUST_VERSION
7+
ARG NTL_VERSION
88
RUN echo manylinux: $MANYLINUX_BASE
99
RUN echo rust: $RUST_VERSION
1010
RUN echo platform: $PLATFORM
11-
RUN dnf -y install clang llvm
11+
RUN echo ntl: $NTL_VERSION
12+
RUN dnf -y install clang llvm gmp-devel
1213
RUN cd /root \
13-
&& echo https://static.rust-lang.org/dist/rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz \
14-
&& curl -O https://static.rust-lang.org/dist/rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz \
14+
&& echo https://static.rust-lang.org/dist/rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz \
15+
&& curl -O https://static.rust-lang.org/dist/rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz \
1516
&& tar xzf rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz \
1617
&& rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu/install.sh --components=rustc,cargo,rust-std-$PLATFORM-unknown-linux-gnu \
1718
&& rm -rf rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu \
1819
&& rm -rf rust-$RUST_VERSION-$PLATFORM-unknown-linux-gnu.tar.gz
20+
RUN cd /root \
21+
&& curl -O https://libntl.org/ntl-$NTL_VERSION.tar.gz \
22+
&& tar xzf ntl-$NTL_VERSION.tar.gz \
23+
&& cd ntl-$NTL_VERSION/src \
24+
&& ./configure \
25+
&& make \
26+
&& make check \
27+
&& make install \
28+
&& cd /root \
29+
&& rm -rf ntl-$NTL_VERSION ntl-$NTL_VERSION.tar.gz
1930

0 commit comments

Comments
 (0)