alp1.o \
art_tset.o
+#LIBS= -L$(SNARKLIBDIR) -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand -lxerces-c -lm
LIBS= -L$(SNARKLIBDIR) -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand -lxerces-c -lm
######################################
#FLAGS= -ffloat-store -O0 -DFFCOMPARE
######################################
-all: snark14UserDefined
+all: snark14UserDefined
+ @rm -rf $(OUTDIR)
+ @mkdir -p $(OUTDIR)
mv snark14UserDefined $(OUTDIR)
snark14UserDefined: $(OBJ)