diff options
| author | Hugo Herbelin | 2018-09-26 22:18:00 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-10 12:05:32 +0200 |
| commit | d338a42c261287439dd6e9bc07b40a68f2a71786 (patch) | |
| tree | 34cdbddda5d583145b01b978283e1cd2e6ed9dd3 /Makefile.ide | |
| parent | 00603110458a40b1fe4bd4d51545a3e9b685e83c (diff) | |
Moving configuration of coqide.keys to the coqide executable.
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile.ide b/Makefile.ide index 0a11f83a18..081d15a1a2 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -59,7 +59,7 @@ IDEBINDINGS:=ide/default.bindings IDEBINDINGSSRC:=ide/default_bindings_src.ml IDEBINDINGSEXE:=ide/default_bindings_src.exe -IDEFILES=$(wildcard ide/*.lang) ide/coq_style.xml ide/coq.png ide/MacOS/default_accel_map $(IDEBINDINGS) +IDEFILES=$(wildcard ide/*.lang) ide/coq_style.xml ide/coq.png $(IDEBINDINGS) ## GTK for Coqide MacOS bundle @@ -175,7 +175,6 @@ $(IDEBINDINGSEXE): $(IDEBINDINGSSRC) $(IDEBINDINGS): $(IDEBINDINGSEXE) $< $@ - #################### ## Install targets #################### @@ -224,7 +223,6 @@ install-ide-files: #Please update $(COQIDEAPP)/Contents/Resources/ at the same t $(MKDIR) $(FULLDATADIR) $(INSTALLLIB) ide/coq.png ide/*.lang ide/coq_style.xml $(IDEBINDINGS) $(FULLDATADIR) $(MKDIR) $(FULLCONFIGDIR) - if [ $(IDEINT) = QUARTZ ] ; then $(INSTALLLIB) ide/mac_default_accel_map $(FULLCONFIGDIR)/coqide.keys ; fi install-ide-info: $(MKDIR) $(FULLDOCDIR) @@ -271,7 +269,6 @@ $(COQIDEAPP)/Contents/Resources/immodules: $(COQIDEAPP)/Contents $(COQIDEAPP)/Contents/Resources/etc: $(COQIDEAPP)/Contents/Resources/lib $(MKDIR) $@/xdg/coq - $(INSTALLLIB) ide/MacOS/default_accel_map $@/xdg/coq/coqide.keys $(MKDIR) $@/gtk-3.0 { "$(PIXBUFBIN)/gdk-pixbuf-query-loaders" $@/../loaders/*.so |\ sed -e "s!/.*\(/loaders/.*.so\)!@executable_path/../Resources/\1!"; } \ |