Giters

scipr-lab / libsnark

C++ library for zkSNARKs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Dockerfile in project needs a tiny revision

alphyoung opened this issue · comments

commented

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.