File l4env-external-packages.patch of Package l4env

TODO: make this configurable somehow
also, the build still uses headers from ../dice/include
---
 Makefile |   15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

--- Makefile.orig
+++ Makefile
@@ -6,10 +6,10 @@
 
 L4DIR		?= .
 
-BUILD_DIRS_ALL      = tool ../kernel/fiasco ../dice pkg
-install-dirs_ALL    = tool ../kernel/fiasco ../dice pkg
-clean-dirs_ALL      = tool ../kernel/fiasco ../dice pkg doc
-cleanall-dirs_ALL   = tool ../kernel/fiasco ../dice pkg doc
+BUILD_DIRS_ALL      = tool pkg
+install-dirs_ALL    = tool pkg
+clean-dirs_ALL      = tool pkg doc
+cleanall-dirs_ALL   = tool pkg doc
 
 BUILD_DIRS_L4DIR    = tool pkg
 install-dirs_L4DIR  = tool pkg
@@ -85,14 +85,9 @@ install-dirs += doc
 all:: doc
 endif
 
-tool ../kernel/fiasco pkg: ../dice
+tool pkg:
 	$(VERBOSE)if [ -r $@/Makefile ]; then PWD=$(PWD)/$@ $(MAKE) -C $@; fi
 
-../dice:
-	$(VERBOSE)if [ -r $@/Makefile.drops ]; then                \
-	   $(MAKE) -C $@ -f Makefile.drops;                        \
-	 fi
-
 doc:
 	$(VERBOSE)for d in tool doc ; do \
 		test ! -r $$d/Makefile || PWD=$(PWD)/$$d $(MAKE) -C $$d $@ ; done