MINOR=0.1
AR=ar
-DRIVERS=xseg_posix xseg_segdev
+DRIVERS=xseg_posix xseg_segdev xseg_pthread
DRVDIR=$(BASE)/drivers/user
DRVOBJS=$(addsuffix .o, $(addprefix $(DRVDIR)/, $(DRIVERS)))
SHELL=/bin/bash
all: libxseg.a libxseg.so
make -C xq all
- make -C python all
+ make -C xpool all
+ make -C xhash all
+ make -C xheap all
+ make -C xobj all
COMMA=,
_initialize.c: drivers
make -C xq clean
make -C xpool clean
make -C xhash clean
+ make -C xheap clean
+ make -C xobj clean
make -C python clean
rm -f _initialize.c _initialize.o
rm -f xseg.o xseg.pic.o xseg_user.o