diff options
| author | Pierre Boutillier | 2014-07-21 15:50:20 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-22 17:13:32 +0200 |
| commit | a088d03434417e935df3c75f81a954eadbdfc2b8 (patch) | |
| tree | dcd5a5d4372236a46838106a13f3bf9a9e071dd2 /Makefile | |
| parent | 4271bebb68b09ddcc0d283ab16acaab399e22f13 (diff) | |
A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle
The created bundle contains only coqide and gtk (no coqtop, no stdlib)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |