[patch] Patch to template.mk

minisat-2.2.0-remove-Main.o-from-libminisat.a.patch (text/plain), 744 bytes, created by Jiří Moravec on 2018-10-07 16:44:33 UTC

--- ./mtl/template.mk.orig	2018-10-07 18:05:26.792014905 +0200
+++ ./mtl/template.mk	2018-10-07 18:05:09.128013699 +0200
@@ -60,10 +60,10 @@ $(EXEC)_debug:		$(DCOBJS)
 $(EXEC)_release:	$(RCOBJS)
 $(EXEC)_static:		$(RCOBJS)
 
-lib$(LIB)_standard.a:	$(filter-out */Main.o,  $(COBJS))
-lib$(LIB)_profile.a:	$(filter-out */Main.op, $(PCOBJS))
-lib$(LIB)_debug.a:	$(filter-out */Main.od, $(DCOBJS))
-lib$(LIB)_release.a:	$(filter-out */Main.or, $(RCOBJS))
+lib$(LIB)_standard.a:	$(filter-out $(MROOT)/simp/Main.o,  $(COBJS))
+lib$(LIB)_profile.a:	$(filter-out $(MROOT)/simp/Main.op, $(PCOBJS))
+lib$(LIB)_debug.a:	$(filter-out $(MROOT)/simp/Main.od, $(DCOBJS))
+lib$(LIB)_release.a:	$(filter-out $(MROOT)/simp/Main.or, $(RCOBJS))
 
 
 ## Build rule