vmlemon / pistachio

L4Ka::Pistachio micro-kernel
http://l4ka.org/projects/pistachio
1 stars 2 forks source link

Missing /user/l4/powerpc64/tracebuffer.h #7

Open vmlemon opened 5 years ago

vmlemon commented 5 years ago

As with Orion, the tracebuffer.h userland header seems to be missing, and I don't quite know why:

[fedora@fedora28 user]$ ./configure 
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for a BSD-compatible install... /usr/bin/install -c
checking whether make sets $(MAKE)... yes
checking whether ln -s works... yes
checking for gawk... gawk
checking location of libgcc.a... /usr/lib/gcc/ppc64-redhat-linux/8
checking location of stdarg.h... /usr/lib/gcc/ppc64-redhat-linux/8/include
checking kernel build directory... $(top_builddir)
configure: creating ./config.status
config.status: creating config.mk
config.status: creating Makefile
config.status: creating lib/Makefile
config.status: creating lib/l4/Makefile
config.status: creating lib/io/Makefile
config.status: creating serv/Makefile
config.status: creating serv/sigma0/Makefile
config.status: creating apps/Makefile
config.status: creating apps/syslaunch/Makefile
config.status: creating util/Makefile
config.status: creating util/kickstart/Makefile
config.status: creating util/grubdisk/Makefile
config.status: creating util/piggybacker/Makefile
config.status: creating util/piggybacker/ofppc/Makefile
config.status: creating util/piggybacker/ofppc64/Makefile
config.status: creating contrib/Makefile
config.status: creating contrib/elf-loader/Makefile
config.status: creating config.h
config.status: config.h is unchanged
[fedora@fedora28 user]$ make
make[1]: Entering directory '/home/fedora/pistachio/user/lib'
make[2]: Entering directory '/home/fedora/pistachio/user/lib/l4'
===> Making dependencies in .
make[2]: *** No rule to make target 'l4/powerpc64/tracebuffer.h', needed by 'debug.o'.  Stop.
make[2]: Leaving directory '/home/fedora/pistachio/user/lib/l4'
make[1]: *** [../Mk/l4.subdir.mk:41: subdirs-all] Error 2
make[1]: Leaving directory '/home/fedora/pistachio/user/lib'
make: *** [Mk/l4.subdir.mk:41: subdirs-all] Error 2
[fedora@fedora28 user]$ 
vmlemon commented 5 years ago

The issue, for Orion, is https://github.com/vmlemon/Orion/issues/6.