diff options
author | 2007-07-02 12:54:07 +0000 | |
---|---|---|
committer | 2007-07-02 12:54:07 +0000 | |
commit | 9a7a9c5f04074eea6902265da28b16c229b46b33 (patch) | |
tree | 87c2c2c3921583fad4939bad8dcc5b7c8c513948 /Makefile | |
parent | 7347565231d027255f4d24d7daff06cc07c5e5c9 (diff) |
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
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |