rename 'install' step as 'bundle'

.gitlab-ci.yml

@@ -5,9 +5,9 @@ tests_with_recompilation:
    - sudo apt-get install -y make parallel libgmp-dev
    - opam install dune.3.12.1 fmt.0.9.0 gen.1.1 menhir.20230608 ocplib-simplex.0.5 parsexp.v0.16.0 spelll.0.4 uutf.1.0.3 zarith.1.13
    - make clean
-   - make clean_install
+   - make clean_bundle
    - make
-   - make install
+   - make bundle
    - make test
   artifacts:
     paths:

Makefile

-.PHONY: all install clean clean_install simplex simplex_epilog
+.PHONY: all bundle clean clean_bundle simplex simplex_epilog
 
 # Bundle prefix, override to specify a different directory
 BUNDLE ?= $(PWD)/bundle
@@ -108,7 +108,7 @@ build: simplex_epilog $(FLOAT_LIB) compile_colibri
 	./compile_colibri --eclipsedir $(ECLIPSEBIN)
 
 # ==================================================
-# INSTALL
+# BUNDLE
 # ==================================================
 
 BUNDLE_SRC := \
@@ -120,13 +120,13 @@ $(BUNDLE)/colibri.exe : colibri_for_bundle.ml
 	ocamlopt -o $@ unix.cmxa $^
 	chmod u+x $@
 
-clean_install:
+clean_bundle:
 	rm -fr $(BUNDLE)
 
 $(BUNDLE):
 	mkdir -p $(BUNDLE)
 
-install: $(BUNDLE) $(BUNDLE)/colibri.exe
+bundle: $(BUNDLE) $(BUNDLE)/colibri.exe
 	cp $(BUNDLE)/colibri.exe $(BUNDLE)/colibri
 	mkdir -p $(BUNDLE)/COLIBRI/lib/
 	cp -ra $(LIBDIR) $(BUNDLE)/COLIBRI/lib/