diff options
| author | Pierre-Marie Pédrot | 2018-10-09 11:55:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-09 11:55:05 +0200 |
| commit | 59de2827b63b5bc475452bef385a2149a10a631c (patch) | |
| tree | 875f06667f1568426666b5195b9aede0328b87e7 /Makefile.build | |
| parent | f3c123ea05660ce393260283d64cc3ff0eba2f8c (diff) | |
| parent | faf6ffc00d91a7cc759ef65f9864d00773c96b19 (diff) | |
Merge PR #8632: [ide] [dune] [test-suite] Reorganize `fake_ide` build.
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 0faa18b059..ee758fcc5f 100644 --- a/Makefile.build +++ b/Makefile.build @@ -563,7 +563,7 @@ $(COQWORKMGRBYTE): $(COQWORKMGRCMO) # fake_ide : for debugging or test-suite purpose, a fake ide simulating # a connection to coqidetop -FAKEIDECMO:=clib/clib.cma lib/lib.cma ide/protocol/ideprotocol.cma ide/document.cmo tools/fake_ide.cmo +FAKEIDECMO:=clib/clib.cma lib/lib.cma ide/protocol/ideprotocol.cma ide/document.cmo ide/fake_ide.cmo $(FAKEIDE): $(call bestobj, $(FAKEIDECMO)) | $(IDETOP) $(SHOW)'OCAMLBEST -o $@' @@ -668,7 +668,7 @@ kernel/kernel.cmxa: kernel/kernel.mllib $(SHOW)'OCAMLOPT -pack -o $@' $(HIDE)$(OCAMLOPT) $(MLINCLUDES) $(OPTFLAGS) -pack -o $@ $(filter-out %.mlpack, $^) -COND_IDEFLAGS=$(if $(filter tools/fake_ide% tools/coq_makefile%,$<), -I ide -I ide/protocol,) +COND_IDEFLAGS=$(if $(filter ide/fake_ide% tools/coq_makefile%,$<), -I ide -I ide/protocol,) COND_PRINTERFLAGS=$(if $(filter dev/%,$<), -I dev,) COND_BYTEFLAGS= \ |