-include ../../Make.config
-
-SHELL = /bin/sh
-
-LDFLAGS = -nostdlib -static
-LDLIBS = $(shell $(CC) -print-libgcc-file-name)
-
-# Uncomment the line below to round up segment sizes to full pages for
-# testing purposes only.
-#LDFLAGS += -Wl,-T,fullpage.x
-
-VPATH = ../..
-
-DEFINES = -DUSER
-CPPFLAGS = -nostdinc -I../.. -I- -I../../lib -I../../lib/user \
- -include constants.h
-
-# C library sources linked into every test program.
-LIB_SRC = lib/debug.c # Debug code.
-LIB_SRC += lib/random.c # Pseudo-random numbers.
-LIB_SRC += lib/stdio.c # I/O library.
-LIB_SRC += lib/stdlib.c # atoi()
-LIB_SRC += lib/string.c # String functions.
-LIB_SRC += lib/user/syscall.c # System calls.
-LIB_SRC += lib/user/syscall-stub.S # System call stub.
-LIB_SRC += lib/user/console.c # Console code.
-
-LIB_OBJ = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(LIB_SRC)))
-LIB_DEP = $(patsubst %.o,%.d,$(LIB_OBJ))
-LIB = libc.a lib/user/entry.o