diff options
| author | Pierre Boutillier | 2014-07-22 17:12:36 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-22 17:13:32 +0200 |
| commit | 9055359520294ac1089934eb41e1b3b2fe0987a1 (patch) | |
| tree | 2101767b9607c6b0df5a6ab1b56be63dc340342b | |
| parent | 4ef3d4ff5081fdda009e686d480c70d66c938f68 (diff) | |
When I make MacOS binary, I would like to have a coqtop able to speak to coqide without building coqide
| -rw-r--r-- | Makefile.build | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 6bd6386562..1a16dd6eec 100644 --- a/Makefile.build +++ b/Makefile.build @@ -323,17 +323,19 @@ $(COQIDEBYTE): $(LINKIDE) # install targets -.PHONY: install-coqide install-ide-bin install-ide-files install-ide-info install-ide-devfiles +.PHONY: install-coqide install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles ifeq ($(HASCOQIDE),no) install-coqide: else -install-coqide: install-ide-bin install-ide-files install-ide-info install-ide-devfiles +install-coqide: install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles endif install-ide-bin: $(MKDIR) $(FULLBINDIR) $(INSTALLBIN) $(COQIDE) $(FULLBINDIR) + +install-ide-toploop: $(MKDIR) $(FULLCOQLIB)/toploop $(INSTALLBIN) $(IDETOPLOOPCMA) $(FULLCOQLIB)/toploop/ ifeq ($(BEST),opt) |