Extracted kernel structures for device addressing in ifconfig.

[virt-mem.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 799da69..fa1ad9d 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -24,19 +24,16 @@ MKDIR_P             = @MKDIR_P@
 datarootdir    = @datarootdir@
 mandir         = @mandir@
 
-OCAMLDOCFLAGS  = -html -sort -package bitstring,extlib,libvirt -I lib
+OCAMLDOCFLAGS  = -html -sort \
+                 -package bitstring.syntax,extlib,libvirt,gettext,xml-light \
+                 -I lib \
+                 -syntax bitstring.syntax
 OCAMLDOC       = @OCAMLDOC@
-OCAMLDOCFILES  = lib/virt_mem_utils.ml \
-                 lib/virt_mem_mmap.mli \
-                 lib/virt_mem_types.mli \
-                 lib/virt_mem_ksyms.mli \
-                 lib/virt_mem_kallsyms.mli \
-                 lib/virt_mem_utsname.mli \
-                 lib/virt_mem.mli
+OCAMLDOCFILES  = $(wildcard lib/*.ml) $(wildcard lib/*.mli)
 
 HAVE_PERLDOC    = @HAVE_PERLDOC@
 
-TOOLS          = uname dmesg ps
+TOOLS          = uname dmesg ps ifconfig
 export TOOLS
 
 SUBDIRS_NOT_PO = lib $(TOOLS) mem extract/fedora-koji extract/codegen
@@ -50,7 +47,7 @@ endif
 TARGETS                = $(MANPAGES) $(TEXTMANPAGES)
 
 all: $(TARGETS)
-       for d in $(SUBDIRS); do \
+       for d in $(SUBDIRS_NOT_PO); do \
          $(MAKE) -C $$d $@; \
          if [ $$? -ne 0 ]; then exit 1; fi; \
        done
@@ -83,6 +80,22 @@ distclean: clean
        rm -f Makefile
        rm -f */Makefile
 
+# Rebuild the PO files.
+
+update-po:
+       $(MAKE) -C po all
+
+# Download distribution kernels (warning: takes AGES).
+
+update-kerneldb:
+       cd kernels && \
+         ../extract/fedora-koji/fedora-koji-download-kernels.opt
+
+# Rebuild the generated kernel struct parsers from the kerneldb.
+
+update-kernel-structs:
+       extract/codegen/kerneldb-to-parser.opt kernels lib
+
 # Developer documentation (in html/ subdirectory).
 
 ifneq ($(OCAMLDOC),)