Tom> I looked into this a little. It looks like the PPL checks don't work Tom> properly in the case where PPL is a system library. I guess I need Tom> --with-ppl=/usr ... I will try that later.
This worked but now I get an error because melt_generated_dir is not defined in gcc/Makefile. I don't know what value it ought to have. /usr/bin/install: cannot create regular file `/warmelt-first-3.c': Permission denied Tom
