On 24/01/2014 21:13, François Revol wrote: > It still fails later trying to build pml though: > ... > make -f Makefile.32 libpml32.a > make[2]: Entering directory > `/mnt/data/devel/netsurf/workspace/toolchains/m68k-atari-mint/builddir/pml/pmlsrc' > m68k-atari-mint-gcc -O2 -fomit-frame-pointer -DIEEE -DNO_DBUG -I. -c > -o cadd.o cadd.c > cadd.c:69:19: fatal error: stdio.h: No such file or directory Actually this one seems to be because I have a local .profile which exports PREFIX=$ws/inst and somehow the headers get installed to /opt/netsurf but the binaries are configured and installed in inst/ instead... The top Makefile uses conditional PREFIX ?= but on the other hand it seems recipes/patches/mintlib/configvars.p forces /opt/netsurf/... In any case it should either use the passed $PREFIX or override it completely... I'll drop my export and see if it works.