Build without /usr/local/snark14
authorKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 03:18:44 +0000 (20:18 -0700)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 03:18:44 +0000 (20:18 -0700)
commit3a28a5fb1d16a2c187953665ed6c2c092d1fc46e
treecb0347fe9af3207e08a077860be61b3c789d366f
parent239b0e24ba0d694f14cecaf261e0ef6ba1e01f67
Build without /usr/local/snark14
15 files changed:
INSTALL.kmr [new file with mode: 0644]
Makefile
include/DIGFile/DIG.h [changed mode: 0755->0644]
include/DIGFile/DIGEndian.h [changed mode: 0755->0644]
include/DIGFile/DIGFile.h [changed mode: 0755->0644]
include/DIGFile/DOMTreeErrorReporter.h [changed mode: 0755->0644]
include/DIGFileSnark/DIGFileSnarkProj.h [changed mode: 0755->0644]
include/DIGFileSnark/DIGFileSnarkRec.h [changed mode: 0755->0644]
include/DIGRand/DIGGauss.h [changed mode: 0755->0644]
include/DIGRand/DIGPoisson.h [changed mode: 0755->0644]
include/DIGRand/DIGRand.h [changed mode: 0755->0644]
src/DIGFile/Makefile [changed mode: 0755->0644]
src/DIGFileSnark/Makefile [changed mode: 0755->0644]
src/DIGRand/Makefile [changed mode: 0755->0644]
src/DIGRand/libDIGRand.so [deleted file]