# HG changeset patch
# User krauss
# Date 1305554791 -7200
# Node ID 7fdd8d4908dc8536b86b9137c5d0f8eae9f5c08f
# Parent  8a3b9dbc7406a97e8c2ead56888de08426b98448
less fine-grained mira dependencies

diff -r 8a3b9dbc7406 -r 7fdd8d4908dc Admin/mira.py
--- a/Admin/mira.py	Mon May 16 14:35:38 2011 +0200
+++ b/Admin/mira.py	Mon May 16 16:06:31 2011 +0200
@@ -289,37 +289,37 @@
       {'mutabelle_results': {theory: mutabelle_data}},
       {'log': log, 'mutabelle_log': mutabelle_log}, None)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_Relation(*args):
     """Mutabelle regression suite on Relation theory"""
     return invoke_mutabelle('Relation', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_List(*args):
     """Mutabelle regression suite on List theory"""
     return invoke_mutabelle('List', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_Set(*args):
     """Mutabelle regression suite on Set theory"""
     return invoke_mutabelle('Set', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_Map(*args):
     """Mutabelle regression suite on Map theory"""
     return invoke_mutabelle('Map', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_Divides(*args):
     """Mutabelle regression suite on Divides theory"""
     return invoke_mutabelle('Divides', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_MacLaurin(*args):
     """Mutabelle regression suite on MacLaurin theory"""
     return invoke_mutabelle('MacLaurin', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def Mutabelle_Fun(*args):
     """Mutabelle regression suite on Fun theory"""
     return invoke_mutabelle('Fun', *args)
@@ -376,22 +376,22 @@
     return (some_success, '', data, raw_attachments, None)
 
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def JD_NS(*args):
     """Judgement Day regression suite NS"""
     return judgement_day('Isabelle/src/HOL/Auth', 'NS_Shared', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def JD_FTA(*args):
     """Judgement Day regression suite FTA"""
     return judgement_day('Isabelle/src/HOL/Library', 'Fundamental_Theorem_Algebra', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def JD_Hoare(*args):
     """Judgement Day regression suite Hoare"""
     return judgement_day('Isabelle/src/HOL/IMPP', 'Hoare', 'prover_timeout=10', *args)
 
-@configuration(repos = [Isabelle], deps = [(HOL, [0])])
+@configuration(repos = [Isabelle], deps = [(Isabelle_makeall, [0])])
 def JD_SN(*args):
     """Judgement Day regression suite SN"""
     return judgement_day('Isabelle/src/HOL/Proofs/Lambda', 'StrongNorm', 'prover_timeout=10', *args)