Brought in line with new organization of IOA.
authornipkow
Sun Apr 16 11:55:03 1995 +0200 (1995-04-16)
changeset 1063d33e3523a5e6
parent 1062 c79fb313bf89
child 1064 5d6fb2c938e0
Brought in line with new organization of IOA.
src/HOL/Makefile
     1.1 --- a/src/HOL/Makefile	Fri Apr 14 12:21:15 1995 +0200
     1.2 +++ b/src/HOL/Makefile	Sun Apr 16 11:55:03 1995 +0200
     1.3 @@ -73,11 +73,17 @@
     1.4  	echo 'exit_use"Integ/ROOT.ML";quit();' | $(LOGIC)
     1.5  
     1.6  ##I/O Automata
     1.7 -IOA_EX_NAMES = Action Channels Correctness Impl Lemmas Multiset Receiver Sender
     1.8 +IOA_NTP_NAMES = Abschannel Action Correctness Impl Lemmas Multiset Packet\
     1.9 +                Receiver Sender
    1.10 +IOA_ABP_NAMES = Action Correctness Lemmas
    1.11  IOA_MT_NAMES = Asig IOA Option Solve
    1.12  
    1.13 -IOA_FILES = IOA/ROOT.ML IOA/example/Packet.thy IOA/example/Spec.thy\
    1.14 - $(IOA_EX_NAMES:%=IOA/example/%.thy) $(IOA_EX_NAMES:%=IOA/example/%.ML)\
    1.15 +IOA_FILES = IOA/ROOT.ML IOA/NTP/Spec.thy\
    1.16 + $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\
    1.17 + IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\
    1.18 + IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\
    1.19 + IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\
    1.20 + $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\
    1.21   $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML)
    1.22  
    1.23  IOA:    $(BIN)/CHOL  $(IOA_FILES)