From a088d03434417e935df3c75f81a954eadbdfc2b8 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Mon, 21 Jul 2014 15:50:20 +0200
Subject: A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle

The created bundle contains only coqide and gtk (no coqtop, no stdlib)
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 17cfec0463..31b36c792e 100644
--- a/Makefile
+++ b/Makefile
@@ -224,6 +224,7 @@ clean-ide:
 	rm -f ide/input_method_lexer.ml
 	rm -f ide/highlight.ml ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml
 	rm -f ide/utf8_convert.ml
+	rm -rf $(COQIDEAPP)
 
 ml4clean:
 	rm -f $(GENML4FILES)
-- 
cgit v1.2.3