Commit ef07d4426b77066052d9530b02ac1dfc8afaa42f

Thomas de Grivel 2025-10-25T10:48:45

update Makefile to support build in separate dir and use DESTDIR and ${prefix}