From 8be479740f0d7cdf8e78bf5c62ba934afdd9dca1 Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Mon, 31 May 2010 17:19:57 +0200 Subject: change Makefile to install ddekit header files. --- libddekit/Makefile | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/libddekit/Makefile b/libddekit/Makefile index f0f6be87..ea64a6f5 100644 --- a/libddekit/Makefile +++ b/libddekit/Makefile @@ -32,7 +32,15 @@ LCLHDRS = include/ddekit/condvar.h include/ddekit/lock.h \ include/ddekit/memory.h include/ddekit/timer.h \ include/dde.h \ config.h list.h util.h -installhdrs = +installhdrs = include/ddekit/condvar.h include/ddekit/lock.h \ + include/ddekit/semaphore.h include/ddekit/debug.h \ + include/ddekit/inline.h include/ddekit/panic.h \ + include/ddekit/thread.h include/ddekit/types.h \ + include/ddekit/pgtab.h include/ddekit/printf.h \ + include/ddekit/pci.h include/ddekit/assert.h \ + include/ddekit/interrupt.h include/ddekit/resources.h \ + include/ddekit/memory.h include/ddekit/timer.h \ + include/dde.h MIGSTUBS = deviceUser.o machUser.o OBJS = $(sort $(SRCS:.c=.o) $(MIGSTUBS)) -- cgit v1.2.3