--- /dev/null
+#
+
+ifndef SNARKINCLUDE
+SNARKINCLUDE=/usr/local/snark14/src/snark14/snark
+endif
+
+ifndef SNARKLIBDIR
+SNARKLIBDIR=/usr/local/snark14/lib
+endif
+
+ifndef SNARKLIBINCLUDEDIR
+SNARKLIBINCLUDEDIR=/usr/local/snark14/include
+endif
+
+ifndef DIGFILEINCLUDE
+DIGFILEINCLUDE=/usr/local/snark14/include/DIGFile
+endif
+
+ifndef DIGFILESNARKINCLUDE
+DIGFILESNARKINCLUDE=/usr/local/snark14/include/DIGFileSnark
+endif
+
+ifndef DIGRANDINCLUDE
+DIGRANDINCLUDE=/usr/local/snark14/include/DIGRand
+endif
+
+OUTDIR=../bin
+INCLUDEDIR = -I/usr/include -I$(XERCESINCLUDE)/.. \
+-I$(DIGFILEINCLUDE) -I$(DIGFILESNARKINCLUDE) -I$(DIGRANDINCLUDE) -I$(SNARKINCLUDE) \
+-I$(SNARKLIBINCLUDEDIR)
+
+OBJ = \
+ alp1.o \
+ art_tset.o
+
+LIBS= -L$(SNARKLIBDIR) -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand -lxerces-c -lm
+
+######################################
+# setings for testing
+#LIBS=/usr/lib/libm.a
+#FLAGS= -ffloat-store -O0 -DFFCOMPARE
+######################################
+
+all: snark14UserDefined
+ mv snark14UserDefined $(OUTDIR)
+
+snark14UserDefined: $(OBJ)
+ $(CXX) $(OBJ) $(CXXFLAGS) -o snark14UserDefined $(LIBS)
+
+clean:
+ rm -f $(OBJ)
+ rm -f snark14UserDefined
+
+install: all
+
+uninstall:
+ rm -f $(OUTDIR)/snark14UserDefined
+
+%.o: %.cpp
+ $(CXX) -c -I $(SRCDIR) $(CXXFLAGS) $(INCLUDEDIR) $< -o $@