4 SNARKINCLUDE=/usr/local/snark14/src/snark14/snark
8 SNARKLIBDIR=/usr/local/snark14/lib
11 ifndef SNARKLIBINCLUDEDIR
12 SNARKLIBINCLUDEDIR=/usr/local/snark14/include
16 DIGFILEINCLUDE=/usr/local/snark14/include/DIGFile
19 ifndef DIGFILESNARKINCLUDE
20 DIGFILESNARKINCLUDE=/usr/local/snark14/include/DIGFileSnark
24 DIGRANDINCLUDE=/usr/local/snark14/include/DIGRand
28 INCLUDEDIR = -I/usr/include -I$(XERCESINCLUDE)/.. \
29 -I$(DIGFILEINCLUDE) -I$(DIGFILESNARKINCLUDE) -I$(DIGRANDINCLUDE) -I$(SNARKINCLUDE) \
30 -I$(SNARKLIBINCLUDEDIR)
36 LIBS= -L$(SNARKLIBDIR) -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand -lxerces-c -lm
38 ######################################
41 #FLAGS= -ffloat-store -O0 -DFFCOMPARE
42 ######################################
44 all: snark14UserDefined
45 mv snark14UserDefined $(OUTDIR)
47 snark14UserDefined: $(OBJ)
48 $(CXX) $(OBJ) $(CXXFLAGS) -o snark14UserDefined $(LIBS)
52 rm -f snark14UserDefined
57 rm -f $(OUTDIR)/snark14UserDefined
60 $(CXX) -c -I $(SRCDIR) $(CXXFLAGS) $(INCLUDEDIR) $< -o $@