msoos/cryptominisat — pull request #191 by delcypher (2014-06-18 23:14:31+00:00)
Title: Fix copying public header files into the build directory.

This method of using the PUBLIC_HEADER property of a library
is probably overly complicated here because the header files are
all in the same directory. It might simpler to just loop over
the relevant header files.