MiniSat library
Christoph Sticksel
I've been trying to compile MiniSat 2.2.0 into a static library with a
"make libr". Worked well and produced a nice little libminisat.a as I
wanted to, which is great.
However, this library depends on libz, which is not necessary and that
I'd like to keep out for my purposes. Reading the mtl/template.mk
makefile, I found the line
| lib$(LIB)_release.a: $(filter-out */Main.or, $(RCOBJS))
The GNU make docs say that filter-out uses the % wildcard and I was
wondering if this is what you intended. That is, changing the line to
| lib$(LIB)_release.a: $(filter-out %/Main.or, $(RCOBJS))
actually leaves out the Main.or and only packs the rest into the
libminisat.a.
Just thought I'd share this, since it might be useful to somebody else
and maybe something to fix for the next release.
Christoph