equal
deleted
inserted
replaced
71 |
71 |
72 Integ: $(BIN)/CHOL $(INTEG_FILES) |
72 Integ: $(BIN)/CHOL $(INTEG_FILES) |
73 echo 'exit_use"Integ/ROOT.ML";quit();' | $(LOGIC) |
73 echo 'exit_use"Integ/ROOT.ML";quit();' | $(LOGIC) |
74 |
74 |
75 ##I/O Automata |
75 ##I/O Automata |
76 IOA_EX_NAMES = Action Channels Correctness Impl Lemmas Multiset Receiver Sender |
76 IOA_NTP_NAMES = Abschannel Action Correctness Impl Lemmas Multiset Packet\ |
|
77 Receiver Sender |
|
78 IOA_ABP_NAMES = Action Correctness Lemmas |
77 IOA_MT_NAMES = Asig IOA Option Solve |
79 IOA_MT_NAMES = Asig IOA Option Solve |
78 |
80 |
79 IOA_FILES = IOA/ROOT.ML IOA/example/Packet.thy IOA/example/Spec.thy\ |
81 IOA_FILES = IOA/ROOT.ML IOA/NTP/Spec.thy\ |
80 $(IOA_EX_NAMES:%=IOA/example/%.thy) $(IOA_EX_NAMES:%=IOA/example/%.ML)\ |
82 $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\ |
|
83 IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\ |
|
84 IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\ |
|
85 IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\ |
|
86 $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\ |
81 $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML) |
87 $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML) |
82 |
88 |
83 IOA: $(BIN)/CHOL $(IOA_FILES) |
89 IOA: $(BIN)/CHOL $(IOA_FILES) |
84 echo 'exit_use"IOA/ROOT.ML";quit();' | $(LOGIC) |
90 echo 'exit_use"IOA/ROOT.ML";quit();' | $(LOGIC) |
85 |
91 |