From 4648732544f43ad87266f33967995b29d2b8338b Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Thu, 2 Jun 2016 14:33:02 +0200 Subject: Makefile.common: update PRIVATEBINARIES to repair the build on MACOS --- Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.common') diff --git a/Makefile.common b/Makefile.common index 19bae4f19..86a7ea847 100644 --- a/Makefile.common +++ b/Makefile.common @@ -98,7 +98,7 @@ COQWORKMGR:=bin/coqworkmgr$(EXE) TOOLS:=$(COQDEP) $(COQMAKEFILE) $(GALLINA) $(COQTEX) $(COQWC) $(COQDOC) $(COQC)\ $(COQWORKMGR) -PRIVATEBINARIES:=$(FAKEIDE) $(OCAMLLIBDEP) +PRIVATEBINARIES:=$(FAKEIDE) $(OCAMLLIBDEP) $(COQDEPBOOT) ########################################################################### # Documentation -- cgit v1.2.3