Merge branch 'feature/patrick/share-makefile-common' into 'master'

[Makefile] install share/Makefile.common

See merge request frama-c/frama-c!3880

Makefile

@@ -24,24 +24,7 @@
 
 MAKECONFIG_DIR=share
 
-include share/Makefile.common
-
-##############################################################################
-# DUNE OPTIONS
-################################
-
-DUNE_BUILD_OPTS?=
-
-RELEASE?=no
-ifeq ($(RELEASE),yes)
-DUNE_BUILD_OPTS+=--release
-endif
-
-# DUNE_DISPLAY: chose Dune build verbosity (see '--display' dune option)
-# Default: progress (same as dune default)
-# Recommend for tests: short
-DUNE_DISPLAY?=progress
-DUNE_BUILD_OPTS+=--display $(DUNE_DISPLAY)
+include $(MAKECONFIG_DIR)/Makefile.common
 
 ##############################################################################
 # PTESTS SRC

share/Makefile.common

@@ -26,6 +26,23 @@
 #                                                                        #
 ##########################################################################
 
+################
+# DUNE OPTIONS #
+################
+
+DUNE_BUILD_OPTS?=
+
+RELEASE?=no
+ifeq ($(RELEASE),yes)
+DUNE_BUILD_OPTS+=--release
+endif
+
+# DUNE_DISPLAY: chose Dune build verbosity (see '--display' dune option)
+# Default: progress (same as dune default)
+# Recommend for tests: short
+DUNE_DISPLAY?=progress
+DUNE_BUILD_OPTS+=--display $(DUNE_DISPLAY)
+
 #############
 # Platform  #
 #############

share/dune

@@ -25,6 +25,7 @@
  (section (site (frama-c share)))
  (files
 ; Useful Makefiles
+(Makefile.common as Makefile.common)
 (Makefile.headers as Makefile.headers)
 (Makefile.linting as Makefile.linting)
 (Makefile.installation as Makefile.installation)