I built a docker image from Dockerfile. I found there are no libs in /usr/local/lib when I ran the container, and finally these lib files are found in /usr/local/usr/local/lib.
I checked Dockerfile, and found "DESTDIR=/usr/local" before "make install" command. So, I tried a command without prefix "DESTDIR=/usr/local", and it works with libs in right directory.
So, the line in Dockerfile:
DESTDIR=/usr/local make install NO_PROCPS=1 NO_GTEST=1 NO_DOCS=1 CURVE=ALT_BN128 FEATUREFLAGS="-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 -DNO_PT_COMPRESSION=1"
should be changed into:
make install NO_PROCPS=1 NO_GTEST=1 NO_DOCS=1 CURVE=ALT_BN128 FEATUREFLAGS="-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 -DNO_PT_COMPRESSION=1"
I built a docker image from Dockerfile. I found there are no libs in /usr/local/lib when I ran the container, and finally these lib files are found in /usr/local/usr/local/lib.
I checked Dockerfile, and found "DESTDIR=/usr/local" before "make install" command. So, I tried a command without prefix "DESTDIR=/usr/local", and it works with libs in right directory.
So, the line in Dockerfile:
DESTDIR=/usr/local make install NO_PROCPS=1 NO_GTEST=1 NO_DOCS=1 CURVE=ALT_BN128 FEATUREFLAGS="-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 -DNO_PT_COMPRESSION=1"
should be changed into:
make install NO_PROCPS=1 NO_GTEST=1 NO_DOCS=1 CURVE=ALT_BN128 FEATUREFLAGS="-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 -DNO_PT_COMPRESSION=1"
with
DESTDIR=/usr/local
being discarded.That's it.
Thanks.