big makefile cleanup

2014-02-13 01:58:48 +00:00
parent 0420169bd0
commit 1d27d22ef0
46 changed files with 154 additions and 56 deletions
--- a/packages/ProbLog/simplecudd/Makefile.in
+++ b/packages/ProbLog/simplecudd/Makefile.in
@@ -60,3 +60,9 @@ clean:

 install: default
 	$(INSTALL_PROGRAM) problogbdd $(DESTDIR)$(SHAREDIR)/Yap
+
+install-examples:
+
+distclean: clean
+	rm -f Makefile
+