idl4-0.8.3 (chacmos) compile bug?

[Farid Hajji]

Hi Andreas,

while trying to compile chacmos, as included in idl4-0.8.3.:

gmake[1]: Entering directory `/tmp/idl4_0_8_3/examples/chacmos/booter'
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/booter.idl -s -h 
../include/interfaces/booter_server.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/pager.idl -s -h 
../include/interfaces/pager_server.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/generic.idl -c -h 
../include/interfaces/generic_client.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/file.idl -c -h 
../include/interfaces/file_client.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/memory.idl -c -h 
../include/interfaces/memory_client.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/directory.idl -c -h 
../include/interfaces/directory_client.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/creator.idl -c -h 
../include/interfaces/creator_client.h
..//../..//src/idl4 -I/tmp/l4-ka/apps/include ../idl/pager.idl -c -h 
../include/interfaces/pager_client.h
gcc -Wall -I../include -I..//../..//src/include/user -I/tmp/l4-ka/apps/include  
-x c++ -c -o calls.o calls.c
calls.c:3: interfaces/booter_server.h: No such file or directory
gmake[1]: *** [calls.o] Error 1
gmake[1]: Leaving directory `/tmp/idl4_0_8_3/examples/chacmos/booter'
gmake: *** [booter/] Error 2
address@hidden:/tmp/idl4_0_8_3/examples/chacmos> 

I'm using the following build environment:

  * FreeBSD 4.6-PRERELEASE #1: Fri May  3 20:26:16 CEST 2002
  * gcc version 2.95.3 20010315 (release) [FreeBSD]
  * GNU assembler version 2.11.2 20010719 [FreeBSD] (i386-unknown-freebsd4)
  *     using BFD version 2.11.2 20010719 [FreeBSD]
  * GNU Make version 3.79.1, by Richard Stallman and Roland McGrath.
  * bison (GNU Bison) 1.35
  * flex version 2.5.4

How to repeat:

  1. Compiled l4-ka Hazelnut in /tmp/l4-ka directory (cvs updated today).
     Everything OK: x86-kernel, rmgr, root-task, sigma0
  2. Compiled idl4_0_8_3 in /tmp/idl4_0_8_3
     Everything OK: idl4 binary got generated.
     -> Modification idl4-0_8_3/src/Makeconf.local
          -#HAZELNUT = $(HOME)/l4-ka
          +HAZELNUT = /tmp/l4-ka   (obvious; was documented).
  3. Tried to compile chacmOS code:
     -> Modificaton idl4_0_8_3/examples/chacmos/Makeconf.local
          -HAZELNUT = $(HOME)/l4-ka
          +HAZELNUT = /tmp/l4-ka   (obvious too).
      Then run 'gmake' in idl4_0_8_3/examples/chacmos/
      which bombs out as shown above.

Please note that I'm using binutils 2.11.2 (not 2.12) from the
stock FreeBSD-STABLE. This is most likely _not_ the reason for the
above bug. Probably something to do with Makeconf and PATHs :)

Regards,

-Farid.

-- 
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany  | address@hidden
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.