Commit 436329fc authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Makefile] install share/Makefile.common

parent f11a9938
......@@ -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
......
......@@ -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 #
#############
......
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment