[eacsl] Install bash completions

share/Makefile.config.in

@@ -33,20 +33,21 @@
 
 CYGPATH         ?=@CYGPATH@
 
-DESTDIR 	?=
-prefix		?=@prefix@
-exec_prefix	?=@exec_prefix@
+DESTDIR         ?=
+prefix          ?=@prefix@
+exec_prefix     ?=@exec_prefix@
 datarootdir     ?=@datarootdir@
 datadir         ?=@datadir@
-BINDIR		?=$(DESTDIR)@bindir@
-LIBDIR		?=$(DESTDIR)@libdir@
-DATADIR		?=$(DESTDIR)@datarootdir@
-MANDIR		?=$(DESTDIR)@mandir@
+BINDIR          ?=$(DESTDIR)@bindir@
+LIBDIR          ?=$(DESTDIR)@libdir@
+DATADIR         ?=$(DESTDIR)@datarootdir@
+MANDIR          ?=$(DESTDIR)@mandir@
+BASHCOMPDIR     ?=$(DESTDIR)@datarootdir@/bash-completion/completions
 
-FRAMAC_LIBDIR	?=$(LIBDIR)/frama-c
+FRAMAC_LIBDIR ?=$(LIBDIR)/frama-c
 FRAMAC_PLUGINDIR ?=$(FRAMAC_LIBDIR)/plugins
-FRAMAC_DATADIR 	?=$(DATADIR)/frama-c
-EMACS_DATADIR	?=$(DATADIR)/emacs/site-lisp
+FRAMAC_DATADIR ?=$(DATADIR)/frama-c
+EMACS_DATADIR ?=$(DATADIR)/emacs/site-lisp
 FRAMAC_DEFAULT_CPP ?=@FRAMAC_DEFAULT_CPP@
 FRAMAC_DEFAULT_CPP_ARGS ?= @FRAMAC_DEFAULT_CPP_ARGS@
 FRAMAC_GNU_CPP ?=@FRAMAC_GNU_CPP@

src/plugins/e-acsl/Makefile.in

@@ -315,6 +315,9 @@ EACSL_C_DIRECTORIES := \
 EACSL_SCRIPTS := \
 	scripts/e-acsl-gcc.sh
 
+EACSL_BASHCOMPS := \
+	scripts/e-acsl-gcc.sh.comp
+
 EACSL_MANPAGES := \
 	man/e-acsl-gcc.sh.1
 
@@ -367,6 +370,8 @@ EACSL_RTL_FILES = $(EACSL_RTL_SRC)
 
 EACSL_SCRIPT_FILES = $(EACSL_SCRIPTS)
 
+EACSL_BASHCOMP_FILES = $(EACSL_BASHCOMPS)
+
 EACSL_LICENSE_FILES = \
   license/CEA_LGPL license/SPARETIMELABS \
   license/headache_config.txt license/LGPLv2.1
@@ -384,6 +389,7 @@ EACSL_DISTRIB_EXTERNAL =\
   $(EACSL_TEST_FILES) \
   $(EACSL_RTL_FILES) \
   $(EACSL_SCRIPT_FILES) \
+  $(EACSL_BASHCOMP_FILES) \
   $(EACSL_LICENSE_FILES) \
   $(EACSL_CONTRIB_FILES)
 
@@ -490,6 +496,8 @@ EACSL_INSTALL_SCRIPTS=$(addprefix $(E_ACSL_DIR)/,$(EACSL_SCRIPTS))
 
 EACSL_INSTALL_MANPAGES=$(addprefix $(E_ACSL_DIR)/,$(EACSL_MANPAGES))
 
+EACSL_INSTALL_BASHCOMPS=$(addprefix $(E_ACSL_DIR)/,$(EACSL_BASHCOMPS))
+
 EACSL_INSTALL_LIB_DIR :=$(FRAMAC_LIBDIR)/e-acsl
 
 EACSL_INSTALL_CONTRIB_DIR :=$(FRAMAC_DATADIR)/e-acsl/contrib
@@ -508,6 +516,11 @@ install:: clean-install
 	$(PRINT_INSTALL) E-ACSL scripts
 	$(MKDIR) $(BINDIR)
 	$(CP) $(EACSL_INSTALL_SCRIPTS) $(BINDIR)/
+	$(MKDIR) $(BASHCOMPDIR)
+	$(foreach file, $(EACSL_INSTALL_BASHCOMPS), \
+		$(CP) $(file) \
+		      $(addprefix $(BASHCOMPDIR)/,$(basename $(notdir $(file)))) \
+		&&) true
 	$(PRINT_INSTALL) E-ACSL man pages
 	$(MKDIR) $(MANDIR)/man1
 	$(CP) $(EACSL_INSTALL_MANPAGES) $(MANDIR)/man1/
@@ -515,6 +528,8 @@ install:: clean-install
 
 EACSL_INSTALLED_SCRIPTS=$(addprefix $(BINDIR)/,$(notdir $(EACSL_SCRIPTS)))
 
+EACSL_INSTALLED_BASHCOMPS=$(addprefix $(BASHCOMPDIR)/,$(basename $(notdir $(EACSL_BASHCOMPS))))
+
 EACSL_INSTALLED_MANPAGES=$(addprefix $(MANDIR)/man1/,$(notdir $(EACSL_MANPAGES)))
 
 uninstall::
@@ -524,6 +539,7 @@ uninstall::
 	$(RM) -r $(EACSL_INSTALL_LIB_DIR)
 	$(PRINT_RM) E-ACSL scripts
 	$(RM) $(EACSL_INSTALLED_SCRIPTS)
+	$(RM) $(EACSL_INSTALLED_BASHCOMPS)
 	$(PRINT_RM) E-ACSL man pages
 	$(RM) $(EACSL_INSTALLED_MANPAGES)