diff options
Diffstat (limited to 'util/vgabios/Makefile')
| -rw-r--r-- | util/vgabios/Makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/util/vgabios/Makefile b/util/vgabios/Makefile new file mode 100644 index 000000000000..d1c10f236129 --- /dev/null +++ b/util/vgabios/Makefile @@ -0,0 +1,28 @@ +CC = gcc +CFLAGS = -Wall -Ix86emu/include -O2 -g + +INTOBJS = int10.o int15.o int16.o int1a.o inte6.o +OBJECTS = testbios.o helper_exec.o helper_mem.o $(INTOBJS) + +LIBS = x86emu/src/x86emu/libx86emu.a + +# user space pci is the only option right now. +OBJECTS += pci-userspace.o +LIBS += /usr/lib/libpci.a + +all: testbios + +testbios: $(OBJECTS) $(LIBS) + $(CC) -o testbios $(OBJECTS) $(LIBS) + +helper_exec.o: helper_exec.c test.h + +x86emu/src/x86emu/libx86emu.a: + $(MAKE) -C x86emu/src/x86emu/ -f makefile.linux + +clean: + $(MAKE) -C x86emu/src/x86emu/ -f makefile.linux clean + rm -f *.o *~ testbios + +distclean: clean + $(MAKE) -C x86emu/src/x86emu/ -f makefile.linux clean |