When I want to install NTL in Docker on Unbuntu 20.04 ,
this step : ./configure SHARED=on CXXFLAGS=-O3 ,cause an error: permission denied。If I don't use "SHARED=on",this problem will not happen 。I have tried "sudo" "su root" "chmod +x configure" "chmod 777 configure" etc，but nothing could help。
I wonder whether if you have some good ideas about this problem.Thank you!
When I want to install NTL in Docker on Unbuntu 20.04 , this step : ./configure SHARED=on CXXFLAGS=-O3 ,cause an error: permission denied。If I don't use "SHARED=on",this problem will not happen 。I have tried "sudo" "su root" "chmod +x configure" "chmod 777 configure" etc，but nothing could help。 I wonder whether if you have some good ideas about this problem.Thank you!