thanks to Christian Doczkal <doczkal@ps.uni-saarland.de> for the Makefile snippet!
Attach a file by drag & drop or click to upload
Ralf Jung authored