From 9a7a9c5f04074eea6902265da28b16c229b46b33 Mon Sep 17 00:00:00 2001 From: msozeau Date: Mon, 2 Jul 2007 12:54:07 +0000 Subject: Missing include path of ocaml .h when generating deps git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9930 85f007b7-540e-0410-9357-904b9bb8a0f7 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 480bd53285..0aaab2515a 100644 --- a/Makefile +++ b/Makefile @@ -1860,7 +1860,7 @@ depend: $(BEFOREDEPEND) dependp4 $(ML4FILESML) echo `$(CAMLP4DEPS) $$f` >> .depend; \ done # 5. We express dependencies of .o files - $(CC) -MM kernel/byterun/*.c >> .depend + $(CC) -I $(CAMLHLIB) -MM kernel/byterun/*.c >> .depend # 6. Finally, we erase the generated .ml files rm -f $(ML4FILESML) # 7. Since .depend contains correct dependencies .depend.devel can be deleted -- cgit v1.2.3