only make Lingeling necessary files

Also get rid of a warning in plingeling.c, which we don't need.
xiw · Oct 31, 2013 · 9fbdeb8 · 9fbdeb8
1 parent f148c76
commit 9fbdeb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Makefile.am b/lib/Makefile.am
@@ -16,5 +16,5 @@ liblgl.a: $(LINGELING).tar.gz
 	tar xzf $<
 	$(LN_S) -f $(LINGELING) lingeling
 	$(SED) -i -e "s/CFLAGS=/CFLAGS=-fPIC /" lingeling/makefile.in
-	cd lingeling && ./configure && $(MAKE)
+	cd lingeling && ./configure && $(MAKE) liblgl.a
 	$(LN_S) -f lingeling/liblgl.a