clean up makefile

packages/swi-minisat2/C/Makefile.in

@@ -76,9 +76,14 @@ pl-minisat.o : $(srcdir)/pl-minisat.C
 install: all
 	$(INSTALL_PROGRAM) $(SOBJS) $(DESTDIR)$(YAPLIBDIR)
 
+install-examples:
+
 clean:
 	rm -f *.o *~ $(OBJS) $(SOBJS) *.BAK
 
+realclean:
+	rm -f Makefile $(OBJS)
+
 
 depend: $(HEADERS) $(C_SOURCES)
 	-@if test "$(GCC)" = yes; then\

packages/swi-minisat2/Makefile.in

@@ -34,10 +34,18 @@ EXAMPLE_PROGRAMS= \
 	$(srcdir)/examples/adder.pl \
 	$(srcdir)/examples/pearl_examples.pl
 
+all:
+
 install: $(PROGRAMS) 
 	mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
 	mkdir -p $(DESTDIR)$(SHAREDIR)/doc/Yap/packages/examples/minisat
 	for p in $(PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap; done
 	for p in $(EXAMPLE_PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/doc/Yap/packages/examples/minisat; done
 
+install-examples:
+
 clean:
+
+realclean:
+	rm Makefile
+