X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=build%2FMakefile;h=e4ee438d9ea4885add3e8d7bde2de3baac3d8240;hb=5b6278751429f59297ce74e614d50632daea3748;hp=1cfd87deea4959ca023264c274b2d477c431d5b4;hpb=04212dbde1afc2b21049dbf5e9d388e047f344f7;p=palacios.git diff --git a/build/Makefile b/build/Makefile index 1cfd87d..e4ee438 100644 --- a/build/Makefile +++ b/build/Makefile @@ -187,40 +187,48 @@ endif all : $(ALL_TARGETS) +palacios64: + (cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS)) -palacios: +palacios32: (cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS)) -palacios-full: +palacios-full32: (cd $(PALACIOS_BUILD_DIR) && make $(DEBUG_SECTIONS) world) +palacios-full64: + (cd $(PALACIOS_BUILD_DIR) && make ARCH=64 $(DEBUG_SECTIONS) world) palacios-lean: (cd $(PALACIOS_BUILD_DIR) && make LEAN_AND_MEAN=1 world) -kitten: palacios-full +kitten: palacios64 cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(KITTEN_TOP_DIR)/palacios/ cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed32e.a $(KITTEN_TOP_DIR)/palacios/ cp $(PALACIOS_BUILD_DIR)/vm_kernel $(KITTEN_TOP_DIR)/palacios/ - (cd $(KITTEN_TOP_DIR) && make oldconfig && make) + (cd $(KITTEN_TOP_DIR) && make) + +kitten-full: palacios-full64 + (cd $(KITTEN_TOP_DIR) && make clean) + cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(KITTEN_TOP_DIR)/palacios/ + cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed32e.a $(KITTEN_TOP_DIR)/palacios/ + cp $(PALACIOS_BUILD_DIR)/vm_kernel $(KITTEN_TOP_DIR)/palacios/ + (cd $(KITTEN_TOP_DIR) && make) geekos: - cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(GEEKOS_BUILD_DIR)/palacios/ - cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed.a $(GEEKOS_BUILD_DIR)/palacios/ - cp $(PALACIOS_BUILD_DIR)/vm_kernel $(GEEKOS_BUILD_DIR)/palacios/ (cd $(GEEKOS_BUILD_DIR) && make) -geekos-full: +geekos-full: palacios-full32 cp $(PALACIOS_BUILD_DIR)/libv3vee.a $(GEEKOS_BUILD_DIR)/palacios/ cp $(PALACIOS_BUILD_DIR)/../lib/xed/libxed.a $(GEEKOS_BUILD_DIR)/palacios/ cp $(PALACIOS_BUILD_DIR)/vm_kernel $(GEEKOS_BUILD_DIR)/palacios/ (cd $(GEEKOS_BUILD_DIR) && make clean && make) -world: palacios-full geekos-full +world: geekos-full kitten-full lean-and-mean: palacios-lean geekos-full