On 24/01/2014 21:36, François Revol wrote: > 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.
Indeed, unsetting PREFIX makes it work. François.
