From 2225a2acc5bd7dc477f908cb637e8700a1181b3e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 14 Aug 2014 18:02:36 -0700
Subject: [PATCH] feat(library/Makefile.common): generate .ilean files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 library/Makefile.common | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/library/Makefile.common b/library/Makefile.common
index 95bf026e8..4444b7d75 100644
--- a/library/Makefile.common
+++ b/library/Makefile.common
@@ -9,7 +9,7 @@ all: $(OLEAN_FILES) $(DEP_FILES)
 
 %.olean: %.lean
 	@rm -f $@
-	$(LEAN) $(LEAN_OPTIONS) $< -o $@ -c $(@:.olean=.clean)
+	$(LEAN) $(LEAN_OPTIONS) $< -o $@ -c $(@:.olean=.clean) -i $(@:.olean=.ilean)
 
 %.d: %.lean
 	@echo Making dependency file \'$@\' ...
@@ -27,4 +27,5 @@ all: $(OLEAN_FILES) $(DEP_FILES)
 clean:
 	find . -type f -name "*.olean" -delete
 	find . -type f -name "*.clean" -delete
+	find . -type f -name "*.ilean" -delete
 	find . -type f -name "*.d" -delete