equal
deleted
inserted
replaced
132 echo 'exit_use_dir"IOA/ABP";quit();' | $(LOGIC); \ |
132 echo 'exit_use_dir"IOA/ABP";quit();' | $(LOGIC); \ |
133 fi |
133 fi |
134 |
134 |
135 |
135 |
136 ##Authentication & Security Protocols |
136 ##Authentication & Security Protocols |
137 Auth_NAMES = Message Shared NS_Shared OtwayRees |
137 Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN Yahalom |
138 |
138 |
139 AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML) |
139 AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML) |
140 |
140 |
141 Auth: $(BIN)/HOL $(AUTH_FILES) |
141 Auth: $(BIN)/HOL $(AUTH_FILES) |
142 if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |
142 if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \ |