diff --git a/Makefile b/Makefile index 6701dccd4cb779ae8a2a1992f6e3eaa25515e5a0..bff43dc18047e29822e5ff19c1e95dbf839fbd92 100644 --- a/Makefile +++ b/Makefile @@ -26,6 +26,10 @@ MAKECONFIG_DIR=share include share/Makefile.common +############################################################################## +# DUNE OPTIONS +################################ + DUNE_BUILD_OPTS?= RELEASE?=no @@ -39,15 +43,21 @@ endif DUNE_DISPLAY?=progress DUNE_BUILD_OPTS+=--display $(DUNE_DISPLAY) +############################################################################## # PTESTS SRC +################################ + FRAMAC_PTESTS_SRC:=tools/ptests +############################################################################## # HDRCK SRC +################################ + FRAMAC_HDRCK_SRC:=tools/hdrck -################### -# Frama-C Version # -################### +############################################################################## +# Frama-C +################################ .PHONY: all @@ -60,6 +70,15 @@ clean:: purge-tests # to be done before a "dune" command dune clean --root $(FRAMAC_HDRCK_SRC) rm -rf _build .merlin +############################################################################## +# HELP +################################ + +help:: + @echo "Build configuration variables" + @echo " - RELEASE: compile in release mode if set to 'yes'" + @echo " - DUNE_DISPLAY: parameter transmitted to dune --display option" + ############################################################################## # INSTALL/UNINSTALL ################################ diff --git a/doc/Makefile b/doc/Makefile index f9db594cac7bf39ff65205390a12bc352050218f..584d88aec76d842370af34c38b77519793add281 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -32,7 +32,6 @@ FRAMAC_DOCDIR ?= $(DOCDIR)/frama-c .PHONY: .force - ################### # Frama-C Version # ################### @@ -200,3 +199,13 @@ acsl/acsl-implementation.pdf: | acsl/acsl.pdf $(EACSL_DOC)/refman/e-acsl-implementation.pdf: | $(EACSL_DOC)/refman/e-acsl.pdf endif + +############################################################################## +# HELP +################################ + +help:: + @echo "Documentation installation configuration variable" + @echo " - PREFIX: documentation will be in PREFIX/share/doc/frama-c" + @echo " - DOCDIR: (overrides previous variable) documentation will be in DOCDIR/frama-c" + @echo " - FRAMAC_DOCDIR: (overrides previous variable) documentation will be in FRAMAC_DOCDIR" diff --git a/ivette/Makefile b/ivette/Makefile index 05418ec12edf6e21d7fcaed72b2a9e71bf25a5bf..afa38a1d866bac637f8d39398370954904399c02 100644 --- a/ivette/Makefile +++ b/ivette/Makefile @@ -60,6 +60,14 @@ tsc: dome-pkg dome-templ yarn run typecheck yarn run lint --fix --cache --cache-location .eslint-cache +# -------------------------------------------------------------------------- +# --- Help +# -------------------------------------------------------------------------- + +help:: + @echo "Ivette installation configuration variables" + @echo " - PREFIX: used to customize installation path" + # -------------------------------------------------------------------------- # --- Ivette Package Loader # -------------------------------------------------------------------------- diff --git a/share/Makefile.installation b/share/Makefile.installation index 4e89956359c212c454cda13f00e5a500e5a6324a..544db518ed7639961ac7944fb2ec81f6303c366b 100644 --- a/share/Makefile.installation +++ b/share/Makefile.installation @@ -24,6 +24,14 @@ # INSTALLATION # ################ +################################ +## Help + +help:: + @echo "Installation configuration variables" + @echo " - INSTALLDIR: used to customize installation path" + @echo " - MANDIR: used to customize man files installation path" + ################################ ## Default variables