HC      = ghc
HC_OPTS = -cpp -fwarn-unused-matches -fwarn-unused-imports -fwarn-unused-binds 


# -fwarn-unused-binds

SRCS = Accumulation.lhs DIBits.lhs Msgparse.lhs Specs.lhs Agents.lhs	      \
DIManagers.lhs Parse.lhs Specs1.lhs Algebra.lhs DIParallelMTR.lhs Parse1.lhs  \
Specs2.lhs Atoms.lhs GenParse.lhs Pprint.lhs Stale.lhs Channels.lhs	      \
SecretSpecs.lhs System.lhs Interpret.lhs ShowAlgebra.lhs TypeCheck.lhs	      \
Compile.lhs Intruder.lhs Signals.lhs TypeCheckDI.lhs Consistency.lhs Main.lhs \
Simplify.lhs TypeCheckpd.lhs ConsistencyDI.lhs Maybe1.lhs SimplifyMain.lhs    \
Types.lhs Cracking.lhs Messages.lhs SimpParse.lhs Useful.lhs DataIndep.lhs    \
MessageTypes.lhs SimpTypeCheck.lhs Deductions.lhs MiscParse.lhs SimpTypes.lhs \
Annotate.lhs Annotated.lhs

OBJS = Accumulation.o DIBits.o Msgparse.o Specs.o Agents.o DIManagers.o	      \
Parse.o Specs1.o Algebra.o DIParallelMTR.o Parse1.o Specs2.o Atoms.o	      \
GenParse.o Pprint.o Stale.o Channels.o SecretSpecs.o System.o Interpret.o     \
ShowAlgebra.o TypeCheck.o Compile.o Intruder.o Signals.o TypeCheckDI.o	      \
Consistency.o Main.o Simplify.o TypeCheckpd.o ConsistencyDI.o Maybe1.o	      \
SimplifyMain.o Types.o Cracking.o Messages.o SimpParse.o Useful.o DataIndep.o \
MessageTypes.o SimpTypeCheck.o Deductions.o MiscParse.o SimpTypes.o \
Annotate.o Annotated.o 

.SUFFIXES : .o .hs .hi .lhs .hc .s

cool_pgm : $(OBJS)
	rm -f $@
	$(HC) -o $@ $(HC_OPTS) $(OBJS)

# Standard suffix rules
.o.hi:
	@:

.lhs.o:
	$(HC) -c $< $(HC_OPTS)

.hs.o:
	$(HC) -c $< $(HC_OPTS)


depend :
	ghc -M $(HC_OPTS) $(SRCS)
# DO NOT DELETE: Beginning of Haskell dependencies
Accumulation.o : Accumulation.lhs
Accumulation.o : ./Types.hi
Accumulation.o : ./Messages.hi
Accumulation.o : ./Atoms.hi
Accumulation.o : ./Useful.hi
DIBits.o : DIBits.lhs
DIBits.o : ./Messages.hi
DIBits.o : ./Types.hi
DIBits.o : ./Atoms.hi
DIBits.o : ./Pprint.hi
DIBits.o : ./Useful.hi
Msgparse.o : Msgparse.lhs
Msgparse.o : ./GenParse.hi
Msgparse.o : ./Messages.hi
Specs.o : Specs.lhs
Specs.o : ./Specs2.hi
Specs.o : ./Specs1.hi
Specs.o : ./Messages.hi
Specs.o : ./Types.hi
Specs.o : ./Atoms.hi
Specs.o : ./Pprint.hi
Specs.o : ./Useful.hi
Agents.o : Agents.lhs
Agents.o : ./Types.hi
Agents.o : ./Messages.hi
Agents.o : ./Atoms.hi
Agents.o : ./Pprint.hi
Agents.o : ./Useful.hi
DIManagers.o : DIManagers.lhs
DIManagers.o : ./DIParallelMTR.hi
DIManagers.o : ./DIBits.hi
DIManagers.o : ./Types.hi
DIManagers.o : ./Atoms.hi
DIManagers.o : ./Pprint.hi
DIManagers.o : ./Useful.hi
Parse.o : Parse.lhs
Parse.o : ./Parse1.hi
Parse.o : ./Msgparse.hi
Parse.o : ./MiscParse.hi
Parse.o : ./GenParse.hi
Parse.o : ./Types.hi
Parse.o : ./Messages.hi
Parse.o : ./Atoms.hi
Parse.o : ./Pprint.hi
Parse.o : ./Maybe1.hi
Parse.o : ./Useful.hi
Specs1.o : Specs1.lhs
Specs1.o : ./Types.hi
Specs1.o : ./Atoms.hi
Specs1.o : ./Pprint.hi
Specs1.o : ./Useful.hi
Algebra.o : Algebra.lhs
Algebra.o : ./Types.hi
Algebra.o : ./Messages.hi
Algebra.o : ./Atoms.hi
Algebra.o : ./Useful.hi
DIParallelMTR.o : DIParallelMTR.lhs
DIParallelMTR.o : ./Pprint.hi
DIParallelMTR.o : ./Atoms.hi
DIParallelMTR.o : ./Useful.hi
Parse1.o : Parse1.lhs
Parse1.o : ./Msgparse.hi
Parse1.o : ./MiscParse.hi
Parse1.o : ./GenParse.hi
Parse1.o : ./Types.hi
Parse1.o : ./Messages.hi
Parse1.o : ./Atoms.hi
Parse1.o : ./Maybe1.hi
Parse1.o : ./Useful.hi
Specs2.o : Specs2.lhs
Specs2.o : ./Useful.hi
Specs2.o : ./Messages.hi
Specs2.o : ./Atoms.hi
Specs2.o : ./Types.hi
Specs2.o : ./Pprint.hi
Atoms.o : Atoms.lhs
Atoms.o : ./Maybe1.hi
Atoms.o : ./Useful.hi
GenParse.o : GenParse.lhs
GenParse.o : ./Useful.hi
GenParse.o : ./Maybe1.hi
Pprint.o : Pprint.lhs
Pprint.o : ./Useful.hi
Stale.o : Stale.lhs
Stale.o : ./Types.hi
Stale.o : ./Messages.hi
Stale.o : ./Atoms.hi
Stale.o : ./Pprint.hi
Stale.o : ./Useful.hi
Channels.o : Channels.lhs
Channels.o : ./Messages.hi
Channels.o : ./Atoms.hi
Channels.o : ./Types.hi
Channels.o : ./Pprint.hi
Channels.o : ./Useful.hi
SecretSpecs.o : SecretSpecs.lhs
SecretSpecs.o : ./Specs2.hi
SecretSpecs.o : ./Messages.hi
SecretSpecs.o : ./Types.hi
SecretSpecs.o : ./Atoms.hi
SecretSpecs.o : ./Pprint.hi
SecretSpecs.o : ./Useful.hi
System.o : System.lhs
System.o : ./Types.hi
System.o : ./Atoms.hi
System.o : ./Pprint.hi
System.o : ./Useful.hi
Interpret.o : Interpret.lhs
Interpret.o : ./GenParse.hi
Interpret.o : ./Pprint.hi
Interpret.o : ./Useful.hi
ShowAlgebra.o : ShowAlgebra.lhs
ShowAlgebra.o : ./Types.hi
ShowAlgebra.o : ./Messages.hi
ShowAlgebra.o : ./Atoms.hi
ShowAlgebra.o : ./Pprint.hi
ShowAlgebra.o : ./Useful.hi
TypeCheck.o : TypeCheck.lhs
TypeCheck.o : ./TypeCheckpd.hi
TypeCheck.o : ./TypeCheckDI.hi
TypeCheck.o : ./Types.hi
TypeCheck.o : ./Messages.hi
TypeCheck.o : ./Atoms.hi
TypeCheck.o : ./Pprint.hi
TypeCheck.o : ./Useful.hi
TypeCheck.o : ./Maybe1.hi
Compile.o : Compile.lhs
Compile.o : ./Deductions.hi
Compile.o : ./Accumulation.hi
Compile.o : ./DataIndep.hi
Compile.o : ./Specs.hi
Compile.o : ./SecretSpecs.hi
Compile.o : ./System.hi
Compile.o : ./Intruder.hi
Compile.o : ./Cracking.hi
Compile.o : ./ShowAlgebra.hi
Compile.o : ./Algebra.hi
Compile.o : ./Agents.hi
Compile.o : ./Channels.hi
Compile.o : ./MessageTypes.hi
Compile.o : ./Annotated.hi
Compile.o : ./Types.hi
Compile.o : ./Messages.hi
Compile.o : ./Atoms.hi
Compile.o : ./Pprint.hi
Compile.o : ./Useful.hi
Intruder.o : Intruder.lhs
Intruder.o : ./Stale.hi
Intruder.o : ./Deductions.hi
Intruder.o : ./Types.hi
Intruder.o : ./Messages.hi
Intruder.o : ./Atoms.hi
Intruder.o : ./Pprint.hi
Intruder.o : ./Useful.hi
Signals.o : Signals.lhs
Signals.o : ./Annotated.hi
Signals.o : ./Pprint.hi
Signals.o : ./Useful.hi
Signals.o : ./Atoms.hi
Signals.o : ./Messages.hi
Signals.o : ./Types.hi
TypeCheckDI.o : TypeCheckDI.lhs
TypeCheckDI.o : ./Accumulation.hi
TypeCheckDI.o : ./Types.hi
TypeCheckDI.o : ./Messages.hi
TypeCheckDI.o : ./Atoms.hi
TypeCheckDI.o : ./Pprint.hi
TypeCheckDI.o : ./Useful.hi
Consistency.o : Consistency.lhs
Consistency.o : ./ConsistencyDI.hi
Consistency.o : ./Signals.hi
Consistency.o : ./Types.hi
Consistency.o : ./Messages.hi
Consistency.o : ./Atoms.hi
Consistency.o : ./Pprint.hi
Consistency.o : ./Useful.hi
Main.o : Main.lhs
Main.o : ./SimplifyMain.hi
Main.o : ./Interpret.hi
Main.o : ./Compile.hi
Main.o : ./Annotate.hi
Main.o : ./Consistency.hi
Main.o : ./TypeCheck.hi
Main.o : ./Parse.hi
Main.o : ./Types.hi
Main.o : ./Maybe1.hi
Simplify.o : Simplify.lhs
Simplify.o : ./SimpTypes.hi
Simplify.o : ./Types.hi
Simplify.o : ./Messages.hi
Simplify.o : ./Atoms.hi
Simplify.o : ./Pprint.hi
Simplify.o : ./Useful.hi
TypeCheckpd.o : TypeCheckpd.lhs
TypeCheckpd.o : ./Types.hi
TypeCheckpd.o : ./Messages.hi
TypeCheckpd.o : ./Atoms.hi
TypeCheckpd.o : ./Pprint.hi
TypeCheckpd.o : ./Useful.hi
TypeCheckpd.o : ./Maybe1.hi
ConsistencyDI.o : ConsistencyDI.lhs
ConsistencyDI.o : ./Accumulation.hi
ConsistencyDI.o : ./Types.hi
ConsistencyDI.o : ./Pprint.hi
ConsistencyDI.o : ./Useful.hi
Maybe1.o : Maybe1.lhs
SimplifyMain.o : SimplifyMain.lhs
SimplifyMain.o : ./SimpTypeCheck.hi
SimplifyMain.o : ./SimpTypes.hi
SimplifyMain.o : ./Simplify.hi
SimplifyMain.o : ./Consistency.hi
SimplifyMain.o : ./TypeCheckpd.hi
SimplifyMain.o : ./SimpParse.hi
SimplifyMain.o : ./Maybe1.hi
Types.o : Types.lhs
Types.o : ./Messages.hi
Types.o : ./Atoms.hi
Cracking.o : Cracking.lhs
Cracking.o : ./DIParallelMTR.hi
Cracking.o : ./DataIndep.hi
Cracking.o : ./DIBits.hi
Cracking.o : ./Types.hi
Cracking.o : ./Messages.hi
Cracking.o : ./Atoms.hi
Cracking.o : ./Pprint.hi
Cracking.o : ./Useful.hi
Messages.o : Messages.lhs
Messages.o : ./Atoms.hi
Messages.o : ./Pprint.hi
Messages.o : ./Useful.hi
SimpParse.o : SimpParse.lhs
SimpParse.o : ./Msgparse.hi
SimpParse.o : ./SimpTypes.hi
SimpParse.o : ./Parse1.hi
SimpParse.o : ./MiscParse.hi
SimpParse.o : ./GenParse.hi
SimpParse.o : ./Atoms.hi
SimpParse.o : ./Pprint.hi
SimpParse.o : ./Maybe1.hi
SimpParse.o : ./Useful.hi
Useful.o : Useful.lhs
DataIndep.o : DataIndep.lhs
DataIndep.o : ./DIManagers.hi
DataIndep.o : ./DIBits.hi
DataIndep.o : ./Deductions.hi
DataIndep.o : ./Messages.hi
DataIndep.o : ./Types.hi
DataIndep.o : ./Atoms.hi
DataIndep.o : ./Pprint.hi
DataIndep.o : ./Useful.hi
MessageTypes.o : MessageTypes.lhs
MessageTypes.o : ./Messages.hi
MessageTypes.o : ./Types.hi
MessageTypes.o : ./Pprint.hi
MessageTypes.o : ./Useful.hi
SimpTypeCheck.o : SimpTypeCheck.lhs
SimpTypeCheck.o : ./SimpTypes.hi
SimpTypeCheck.o : ./Messages.hi
SimpTypeCheck.o : ./Atoms.hi
SimpTypeCheck.o : ./Useful.hi
Deductions.o : Deductions.lhs
Deductions.o : ./Types.hi
Deductions.o : ./Messages.hi
Deductions.o : ./Atoms.hi
Deductions.o : ./Pprint.hi
Deductions.o : ./Useful.hi
MiscParse.o : MiscParse.lhs
MiscParse.o : ./Atoms.hi
MiscParse.o : ./GenParse.hi
MiscParse.o : ./Maybe1.hi
MiscParse.o : ./Useful.hi
SimpTypes.o : SimpTypes.lhs
SimpTypes.o : ./Messages.hi
SimpTypes.o : ./Atoms.hi
SimpTypes.o : ./Types.hi
Annotate.o : Annotate.lhs
Annotate.o : ./Signals.hi
Annotate.o : ./Annotated.hi
Annotate.o : ./Types.hi
Annotated.o : Annotated.lhs
Annotated.o : ./Messages.hi
Annotated.o : ./Types.hi
Annotated.o : ./Atoms.hi
# DO NOT DELETE: End of Haskell dependencies
