all:
	touch src/depend
	echo "#define LEVEL 10" > src/level.h
	cp genode_version.h src/version.h
	cp drw_dummy.c src/
	$(MAKE) -C src DRAW_LIB_OBJ=drw_dummy.o DRAW_LIB_SRC=drw_dummy.c \
	               DATABASE_LIB_OBJ= DATABASE_LIB_SRC= ../bin/s7
