On Thu Jul 07, 2005 at 01:24:34 +0200, Julian Stecklina wrote: > On Wed, 6 Jul 2005 23:21:21 +0200 > Julian Stecklina <[EMAIL PROTECTED]> wrote: > > > Hello, > > > > I tried to build fiasco on FreeBSD today using the following commands: > > > > > cd kernel/fiasco > > > gmake config > > > env AWKP=awk gmake > > > > I got as far as: > > gmake srcdir=/usr/home/blitz/src/os/l4/kernel/fiasco/src -f /usr/home/ > [...] > > registers auto/kip.cc -o kip.o In file included from auto/ kip.h:6, > > from auto/kip.cc:3: /usr/home/blitz/src/os/l4/kernel/fiasco/ src/ > > types/types.h:4:20: stddef.h: No such file or directory > > > > (some spaces have crept in due to copy&paste from xterm) > > > > minilibc does not seem to provide stddef.h, so the one of the host > > compiler is probably meant (is this correct?), but -I/usr/include//bin > > seems kind of bogus. Has anyone an idea where to tweak this? > > The bogus include directory was -I/usr/bin//include, sorry for the > typo. It seems that the configuration process tries to locate libgcc.a > and assumes that the directory containing this library also has gcc > specific headers. On FreeBSD however libgcc.a is installed in the base > system under /usr/lib and its headers are in /usr/include. A real fix > here would be using autoconf. :-/
gcc usually installs this way and that's how it's done on any Linux we've seen. A fix for this isn't that hard though, I guess. > Another issue I have come across is the dependence on a non-POSIX date > utility. I studied several man pages from different Linuxes and BSDs > and come to the conclusion that it is quite difficult to get the file > modification time via anything that is remotely POSIXish. The date > command is not even uniform on all Linuxes.. I replaced the > modification time of the config file with the current time of day... So, is there any way of getting the modification time of a file on BSD without coding something myself? Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
