[PATCH] Partial build fix for atari toolchains on debian unstable

François Revol revol at free.fr
Fri Jan 24 20:36:02 GMT 2014

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/

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

I'll drop my export and see if it works.


More information about the netsurf-dev mailing list