git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Updated kerneldb.
[virt-mem.git]
/
Makefile.in
diff --git
a/Makefile.in
b/Makefile.in
index
1b6721f
..
03a00fb
100644
(file)
--- a/
Makefile.in
+++ b/
Makefile.in
@@
-25,11
+25,10
@@
datarootdir = @datarootdir@
mandir = @mandir@
OCAMLDOCFLAGS = -html -sort \
mandir = @mandir@
OCAMLDOCFLAGS = -html -sort \
- -package bitstring.syntax,extlib,libvirt,gettext,xml-light \
- -I lib \
- -syntax bitstring.syntax
+ -package bitstring,extlib,libvirt,gettext,xml-light \
+ -I lib
OCAMLDOC = @OCAMLDOC@
OCAMLDOC = @OCAMLDOC@
-OCAMLDOCFILES = $(wildcard lib/
*.ml) $(wildcard lib/*.mli)
+OCAMLDOCFILES = $(wildcard lib/
virt_*.mli) lib/kernel.mli
HAVE_PERLDOC = @HAVE_PERLDOC@
HAVE_PERLDOC = @HAVE_PERLDOC@
@@
-46,7
+45,9
@@
endif
TARGETS = $(MANPAGES) $(TEXTMANPAGES)
TARGETS = $(MANPAGES) $(TEXTMANPAGES)
-all: $(TARGETS)
+all: byte opt
+
+byte opt: $(TARGETS)
for d in $(SUBDIRS_NOT_PO); do \
$(MAKE) -C $$d $@; \
if [ $$? -ne 0 ]; then exit 1; fi; \
for d in $(SUBDIRS_NOT_PO); do \
$(MAKE) -C $$d $@; \
if [ $$? -ne 0 ]; then exit 1; fi; \
@@
-69,6
+70,7
@@
clean:
(cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
*.so *.opt *~ *.dll *.exe *.annot core); \
done
(cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
*.so *.opt *~ *.dll *.exe *.annot core); \
done
+ rm -f lib/test_mmap
rm -f uname/virt-uname
rm -f dmesg/virt-dmesg
rm -f ps/virt-ps
rm -f uname/virt-uname
rm -f dmesg/virt-dmesg
rm -f ps/virt-ps