diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 17:19:57 +0200 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 17:19:57 +0200 |
| commit | 8be479740f0d7cdf8e78bf5c62ba934afdd9dca1 (patch) | |
| tree | 46bd9a2f150853e0020d14227f29f2b47e74866f | |
| parent | 1da9e21fbe70f4cd1a8dbbf97c385d1d24d741f5 (diff) | |
change Makefile to install ddekit header files.
| -rw-r--r-- | libddekit/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
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)) |