diff options
Diffstat (limited to 'project/w32lib/w32lib.mk')
| -rw-r--r-- | project/w32lib/w32lib.mk | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/project/w32lib/w32lib.mk b/project/w32lib/w32lib.mk new file mode 100644 index 0000000..e7fb4c9 --- /dev/null +++ b/project/w32lib/w32lib.mk @@ -0,0 +1,27 @@ +W32LIB += $(W32DLL:%.dll=lib/lib%.a) +W32LIB += $(W32DRV:%.drv=lib/lib%.a) + +lib/lib%.a: $(SOURCE_DIR)/def/%.def $(SOURCE_DIR)/fake/%.dll host.tag tree.tag + $(MDSO) -n $*.dll -i $@ $(SOURCE_DIR)/def/$*.def + +lib/lib%.a: $(SOURCE_DIR)/def/%.def $(SOURCE_DIR)/fake/%.drv host.tag tree.tag + $(MDSO) -n $*.drv -i $@ $(SOURCE_DIR)/def/$*.def + +w32lib: $(W32LIB) + +all: w32lib + +install-w32lib: w32lib + mkdir -p $(DESTDIR)$(LIBDIR)/$(PACKAGE) + cp $(W32LIB) $(DESTDIR)$(LIBDIR)/$(PACKAGE) + +install: install-w32lib + +clean-w32lib: + rm -rf $(W32LIB) + +clean: clean-w32lib + +.PHONY: w32lib +.PHONY: install-w32lib +.PHONY: clean-w32lib |