build changes: sdasgup3/validating-binary-decompilation#2

allvm · Jul 27, 2019 · 9e71140 · 9e71140
1 parent 709ce81
commit 9e71140
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -89,7 +89,9 @@ INC_FOLDERS=\
 						src/ext/cpputil/ \
 						src/ext/x64asm \
 						src/ext/gtest-1.7.0/include \
-						src/ext/z3/src/api
+						src/ext/z3/src/api \
+                                                ../..//Install/postgresql-11.4.install/include \
+                                                ../../Install/libpqxx-4.0.install/include
 ifndef NOCVC4
 INC_FOLDERS += $(CVC4_OUTDIR)/include
 endif
@@ -106,7 +108,7 @@ LIB=\
 	-lcln \
 	-liml -lgmp \
 	-L src/ext/z3/build -lz3 \
-	-lpqxx -lpq
+	-L/home/sdasgup3/Install/libpqxx-4.0.install/lib/ -L/home/sdasgup3/Install/postgresql-11.4.install/lib/ -lpqxx -lpq
 ifndef NOCVC4
 LIB += -L $(CVC4_OUTDIR)/lib -lcvc4
 endif