Build example user_defined programs

[snark14.git] / examples / b9 / src / Makefile

diff --git a/examples/b9/src/Makefile b/examples/b9/src/Makefile
index fe8d6b1128202b401c0957785c0c7465f499d882..42b82f966390e67c5a7b89ebbd07461426fd0290 100644 (file)
--- a/examples/b9/src/Makefile
+++ b/examples/b9/src/Makefile
@@ -33,8 +33,7 @@ INCLUDEDIR = -I/usr/include -I$(XERCESINCLUDE)/.. \
 OBJ = \
        user_fom1.o
 
-LIBS= -L$(SNARKLIBDIR) -L../../../src/snark -lDIGFile -lDIGFileSnark -lDIGRand  -lxerces-c -lm
-#LIBS= -L$(SNARKLIBDIR) -L../../../src/snark -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand  -lxerces-c -lm
+LIBS= -L$(SNARKLIBDIR) -lsnark14 -lDIGFile -lDIGFileSnark -lDIGRand  -lxerces-c -lm
 
 
 #ifndef CC