aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/solidity
diff options
context:
space:
mode:
authorGravatar Bhargava Shastry <bshas3@gmail.com>2020-12-15 02:31:53 +0100
committerGravatar GitHub <noreply@github.com>2020-12-14 17:31:53 -0800
commit59b3fb0a9721b17363611df7d1855aa2402d0ff9 (patch)
tree13cc4657775b22c57a9faf911a2a8e2f4c0c4f99 /projects/solidity
parent6d69c3d70417c22e820f0e0cc30173ed5aa483d2 (diff)
Solidity: Use custom sanitized gmp build (#4842)
Diffstat (limited to 'projects/solidity')
-rw-r--r--projects/solidity/Dockerfile15
1 files changed, 15 insertions, 0 deletions
diff --git a/projects/solidity/Dockerfile b/projects/solidity/Dockerfile
index 9cfcb360..c59136c8 100644
--- a/projects/solidity/Dockerfile
+++ b/projects/solidity/Dockerfile
@@ -60,6 +60,21 @@ RUN cd $SRC/evmone; \
ninja; \
ninja install;
+# gmp
+RUN cd $SRC; \
+ # Replace system installed libgmp static library
+ # with sanitized version
+ rm -f /usr/lib/x86_64-linux-gnu/libgmp.a; \
+ wget -q 'https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz' -O gmp.tar.xz; \
+ test "$(sha256sum gmp.tar.xz)" = "fd4829912cddd12f84181c3451cc752be224643e87fac497b69edddadc49b4f2 gmp.tar.xz"; \
+ tar -xf gmp.tar.xz; \
+ cd gmp-6.2.1; \
+ ./configure --prefix=/usr --enable-shared=no --enable-static=yes; \
+ make -j; \
+ make install; \
+ rm -rf $SRC/gmp-6.2.1; \
+ rm -f $SRC/gmp.tar.xz
+
# libabicoder
RUN set -ex; \
cd /usr/src; \