diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 12:41:21 +0200 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-05-31 12:41:21 +0200 |
| commit | b5b8ef16ea0e7517169d521c297784d5678d7518 (patch) | |
| tree | 2e7d63329fe6ab07de6f972e39dd85ce74a69dde /windhoek/Makeconf.local | |
| parent | 61cbf207a16ec76e4fefba4e5a3ad91c84dee447 (diff) | |
check in the initial version of windhoek by DROPS.
Diffstat (limited to 'windhoek/Makeconf.local')
| -rw-r--r-- | windhoek/Makeconf.local | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/windhoek/Makeconf.local b/windhoek/Makeconf.local new file mode 100644 index 00000000..d6594dc7 --- /dev/null +++ b/windhoek/Makeconf.local @@ -0,0 +1,10 @@ +SYSTEMS = x86-l4v2 +ARCH = x86 +SYSTEM = x86-l4v2 + +DDEKITLIBDIR = /root/hurd/libddekit/ +DDEKITINCDIR = /root/hurd/libddekit/include +DDE26LIBDIR = /root/hurd/libdde_linux26/lib/src +OBJ_BASE = /root/hurd/libdde_linux26/build + +L4LIBDIR = . |