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	2016-11-29 21:31:31.135291477 +0100
+++ alt-ergo/Makefile.users	2016-11-29 21:31:31.131291461 +0100
@@ -4,8 +4,6 @@
 
 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/common -I non-free/plugins/satML -I non-free/plugins/profiler \
-    -I non-free/plugins/fm-simplex
 
 INCLUDES = $(ZARITHLIB) $(LABLGTK2LIB)  $(CAMLZIPLIB) $(OCPLIBSIMPLEXLIB) $(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"
@@ -247,7 +245,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/common non-free/plugins/satML non-free/plugins/common non-free/plugins/common non-free/plugins/profiler non-free/plugins/fm-simplex non-free/plugins/ctrl-alt-ergo; 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 *~; \
@@ -259,11 +257,11 @@
 ########
 
 .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/common/*ml* non-free/plugins/satML/*ml* non-free/plugins/fm-simplex/*ml* non-free/plugins/profiler/*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
 
-#### BUILD & INSTALL non-free plugins and tools
+#### BUILD & INSTALL  plugins and tools
 
 ifeq ($(OCAMLBEST),opt)
 cae: ctrl-alt-ergo.opt
@@ -271,21 +269,11 @@
 cae: ctrl-alt-ergo.byte
 endif
 
-ctrl-alt-ergo.opt:
-	cd non-free/ctrl-alt-ergo && $(OCAMLOPT) $(OFLAGS) -o ../../ctrl-alt-ergo.opt $(BIBOPT) ctrlAltErgo.mli ctrlAltErgo.ml
-
-ctrl-alt-ergo.byte:
-	cd non-free/ctrl-alt-ergo && $(OCAMLC) $(BFLAGS) -o ../../ctrl-alt-ergo.byte $(BIBBYTE) ctrlAltErgo.mli ctrlAltErgo.ml
-
 install-cae: ctrl-alt-ergo.$(OCAMLBEST)
 	mkdir -p $(BINDIR)
 	cp -f ctrl-alt-ergo.$(OCAMLBEST) $(BINDIR)/ctrl-alt-ergo$(EXE)
 
 
-SATML-CMO = non-free/plugins/common/vec.cmo \
-            non-free/plugins/satML/satml.cmo \
-            non-free/plugins/satML/satml_frontend.cmo
-
 SATML-CMX = $(SATML-CMO:.cmo=.cmx)
 
 satML-plugin.cmxs: $(CMX) $(SATML-CMX)
@@ -310,11 +298,6 @@
 endif
 
 
-FM-SIMPLEX-CMO = non-free/plugins/common/vec.cmo \
-                 non-free/plugins/fm-simplex/simplex_cache.cmo \
-                 non-free/plugins/fm-simplex/simplex.cmo \
-                 non-free/plugins/fm-simplex/fmSimplexIneqs.cmo
-
 FM-SIMPLEX-CMX = $(FM-SIMPLEX-CMO:.cmo=.cmx)
 
 fm-simplex-plugin.cmxs: $(CMX) $(FM-SIMPLEX-CMX)
@@ -339,12 +322,6 @@
 endif
 
 
-profiler-plugin.cmxs: $(CMX) non-free/plugins/profiler/profiler.cmx
-	$(if $(QUIET),@echo 'Library $@' &&) $(OCAMLOPT) $(INCLUDES)  -shared -o $@ non-free/plugins/profiler/profiler.cmx
-
-profiler-plugin.cma: $(CMO) non-free/plugins/profiler/profiler.cmo
-	$(if $(QUIET),@echo 'Library $@' &&) $(OCAMLC) $(INCLUDES)  -a        -o $@ non-free/plugins/profiler/profiler.cmo
-
 ifeq ($(OCAMLBEST),opt)
 profiler: profiler-plugin.cmxs
 else
