# HG changeset patch
# User haftmann
# Date 1330817227 -3600
# Node ID cc47e252b92cd3ba97f422a4197041d7bdbd0f90
# Parent  50dbdb9e28adb75436207d3cefae748e365b4ade
more accurate dependencies

diff -r 50dbdb9e28ad -r cc47e252b92c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Mar 04 00:26:23 2012 +0100
+++ b/src/HOL/IsaMakefile	Sun Mar 04 00:27:07 2012 +0100
@@ -559,7 +559,12 @@
 
 Import-HOL4: $(OUT)/Import-HOL4
 
-BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy
+BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy \
+  Import/shuffler.ML \
+  Import/import_rews.ML \
+  Import/proof_kernel.ML \
+  Import/replay.ML \
+  Import/import.ML
 
 $(OUT)/Import-HOL4: $(OUT)/HOL \
   $(BASIC_IMPORTER_DEPENDENCIES) \