Glean
Glean copied to clipboard
Provide make install
At the moment the Makefile does not provide a make install
as it's customary for Makefiles. In particular, this would allow much easier packaging for most packaging systems (as they require install to a chroot before packaging). In addition, it helps to quickly move the right binaries to an easy accessible place.