# The DDC build system.

# (Build targets)
#   all                 -- build the compiler and libs (default)
#
#   total               -- build the compiler, libs, docs and run all the tests in all ways (slow)
#   cleantotal          -- same as above, but do a full clean first (slowest)
#
#   deps                -- build dependencies (should be automatic with the 'all' target)
#   bin/ddc             -- build the compiler binary
#   bin/ddci-core       -- build the interactive shell for the core language
#   bin/war             -- build the test driver
#   bin/plate           -- build the boilerplate generator
#   runtime		-- build the runtime system
#   external	     	-- build external libraries
#   libs		-- build base libraries
#   docs		-- build Haddock docks
#
# (Running just the quickcheck and regression tests)
#   war			-- run the minimal testing required before pushing patches (interactive)
#   llvmwar		-- llvm backend only version of the 'war' target, (interactive)
#   totalwar        	-- run tests in all possible ways                 (slow, interactive)
#   logwar          	-- same as above, logging failures to war.failed  (non-interative)
#   batchwar            -- run all tests in all ways                      (slow, non-interactive)
#
# (Running code quality tools)
#   hlint		-- run hlint
#
# (Working with Cabal)
#   packages            -- build and install all the Cabal packages
#   packages-unregister -- unregister all the Cabal packages.
#
# (Cleaning up)
#   clean               -- clean everything
#   cleanWar            -- clean libraries and tests
#   cleanRuntime        -- clean the runtime system
#   cleanLibrary        -- clean out the libraries
#

# -- Meta Targets -------------------------------------------------------------
#    These may recursively invoke make to do several things.
#    These are the ONLY instances of recursive makes in the system.

# -- Build the compiler and libs
.PHONY	: all
all 	:
	@$(MAKE) allWithConfig


# Include all the configuration.
# These need to come before all the rules after this point in the Makefile.
include make/build.mk


# Build everything related to alpha and new compiler.
# now that we have the configuration included above.
.PHONY	: allWithConfig
allWithConfig :
	@$(MAKE) packages/ddc-alpha/src/Source/Lexer.hs
	@$(MAKE) deps
	@$(MAKE) bin/ddc-alpha bin/ddc bin/ddc-check bin/ddci-core \
		 runtime external libs bin/war -j $(THREADS)


# Build everything related to the new compiler, 
# now that we have the configuration included above.
.PHONY	: newWithConfig
newWithConfig :
	@$(MAKE) deps-new
	@$(MAKE) bin/ddc bin/ddc-check bin/ddci-core \
		 runtime-new bin/war -j $(THREADS)


# -- Build the compiler, libs, docs, and run all the tests in all ways (slow)
.PHONY  : total
total	:
	@$(MAKE) allWithConfig
	@$(MAKE) docs
	@$(MAKE) batchwar


# -- Same as 'total', but do a full clean first
.PHONY  : cleantotal
cleantotal :
	@$(MAKE) clean
	@$(MAKE) total


# -- Build the Coq proofs
.PHONY: proof
proof:
	@$(MAKE) proofdeps
	@$(MAKE) proof/Main.vo -j $(THREADS)


# -- Build all dependencies
.PHONY	: deps
deps	: make/deps/Makefile-ddc-alpha.deps \
          make/deps/Makefile-ddc-check.deps \
          make/deps/Makefile-ddc-main.deps \
          make/deps/Makefile-ddci-core.deps

# -- Build all dependencies related to the new compiler
.PHONY	 : deps-new
deps-new : make/deps/Makefile-ddc-check.deps \
           make/deps/Makefile-ddc-main.deps \
           make/deps/Makefile-ddci-core.deps


# -- What to do during the nightly builds
.PHONY  : nightly
nightly :
	@date
	@echo
	@echo "                              DDC Nightly build"
	@echo "------------------------------------------------------------------------------------"
	@$(MAKE) --version
	@echo
	@gcc --version
	@echo
	@$(GHC) --version
	@echo
	@alex --version
	@echo
	@ghc-pkg list | grep "QuickCheck\|regex-base\|regex-posix\|regex-compat\|haskell-src\|parsec\|buildbox\|text"
	@echo
	@sh -c 'llc --version || exit 0'
	@echo
	@echo "------------------------------------------------------------------------------------"
	@$(MAKE) cleantotal


# -- Real Targets -------------------------------------------------------------
#    These don't recursively invoke make.
#
include make/targets/plate.mk
include make/targets/external.mk
include make/targets/runtime.mk
include make/targets/libs.mk
include make/targets/docs.mk
include make/targets/war.mk
include make/targets/lint.mk
include make/targets/tarball.mk
include make/targets/clean.mk
include make/targets/ddc-alpha.mk
include make/targets/ddc-check.mk
include make/targets/ddc-main.mk
include make/targets/ddci-core.mk
include make/targets/proof.mk
include make/targets/helper.mk
include make/targets/packages.mk


# -- Include magic ------------------------------------------------------------
include make/rules.mk
-include runtime/*.dep

# We include Makefile.deps.inc here instead of Makefile.deps directly.
#   Stupid GNU make treats missing files as dependencies, and if they are
#   missing it tries to build them. This causes dependencies to be built
#   even when we do a "make clean"
#
#   This behavior is different to the documentation which says
#   that missing -included files should be ignored.
#
-include make/deps/Makefile-ddc-alpha.deps.inc
-include make/deps/Makefile-ddc-check.deps.inc
-include make/deps/Makefile-ddc-main.deps.inc
-include make/deps/Makefile-ddci-core.deps.inc
-include make/deps/proof.deps.inc