Move building of libsnark14.so to top level Makefile.
[snark14.git] / INSTALL
2018-02-11 Kevin M. RosenbergInitial snark14m import