From b70c5fd9cc29f32c87d72a6da3f731be25c42d85 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 4 Oct 2018 11:50:11 +0200
Subject: [dune] Provide an optimized build profile with inlining reports.

This satisfies a wish by @ppedrot
---
 Makefile.dune | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index 6733c485fa..d9c1452cae 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -1,7 +1,7 @@
 # -*- mode: makefile -*-
 # Dune Makefile for Coq
 
-.PHONY: voboot states world watch release apidoc ocheck clean help
+.PHONY: voboot states world watch release apidoc ocheck ireport clean help
 
 # use DUNEOPT=--display=short for a more verbose build
 # DUNEOPT=--display=short
@@ -16,6 +16,7 @@ help:
 	@echo "  - release: build Coq in release mode"
 	@echo "  - apidoc:  build ML API documentation"
 	@echo "  - ocheck:  build for all supported OCaml versions [requires OPAM]"
+	@echo "  - ireport: build with optimized flambda settings and emit an inline report"
 	@echo "  - clean:   remove build directory and autogenerated files"
 	@echo "  - help:    show this message"
 
@@ -41,6 +42,12 @@ apidoc: voboot
 ocheck: voboot
 	dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all
 
+ireport:
+	dune clean
+	dune build $(DUNEOPT) @vodeps --profile=ireport
+	dune exec coq_dune $(BUILD_CONTEXT)/.vfiles.d --profile=ireport
+	dune build $(DUNEOPT) @install --profile=ireport
+
 clean:
 	dune clean
 
-- 
cgit v1.2.3