Move building of libsnark14.so to top level Makefile.
[snark14.git] / src / build /
drwxr-xr-x   ..
drwxr-xr-x - unix