Author: Ralf Treinen <treinen@debian.org>
Description: adapt Makefile to the removal of the non-free directory

Index: alt-ergo/Makefile.users
===================================================================
--- alt-ergo.orig/Makefile.users	2014-12-30 18:35:23.675323677 +0100
+++ alt-ergo/Makefile.users	2014-12-30 18:37:45.143325965 +0100
@@ -3,8 +3,7 @@
 VERSION=0.99.1
 
 LOCAL_INC = -I src/util -I src/structures -I src/theories -I src/instances \
-    -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main \
-    -I non-free/plugins/satML 
+    -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main
 
 INCLUDES = $(ZARITHLIB) $(OCAMLGRAPHLIB) $(LABLGTK2LIB) $(LOCAL_INC)
 #for coverage # -I /usr/local/lib/ocaml/3.12.1/bisect -pp "camlp4o str.cma /usr/local/lib/ocaml/3.12.1/bisect/bisect_pp.cmo"
@@ -245,7 +244,7 @@
 #######
 
 clean:
-	@for dd in src/util src/structures src/theories src/instances src/sat src/preprocess src/parsing src/gui src/main non-free/plugins/satML ; do \
+	@for dd in src/util src/structures src/theories src/instances src/sat src/preprocess src/parsing src/gui src/main ; do \
 	rm -f $$dd/*.cm[ioxtp] $$dd/*.cmti $$dd/*.o $$dd/*~ $$dd/*.annot $$dd/*.owz;\
 	rm -f $(GENERATED) $$dd/*.output META ; \
 	rm -f $(NAME).byte $(NAME).opt $(GUINAME).opt $(GUINAME).byte *~; \
@@ -257,7 +256,7 @@
 ########
 
 .depend depend: $(GENERATED)
-	$(OCAMLDEP) -slash $(LOCAL_INC) src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* non-free/plugins/satML/*ml* > .depend
+	$(OCAMLDEP) -slash $(LOCAL_INC) src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* > .depend
 
 include .depend
 
