parser = ../parser/fc_lists.o
parser += ../parser/lex.yy.o
parser += ../parser/y.tab.o

global = ../global.h
global += ../global.g
global += ../global.e

d_alg = ../d_alg/test_gen.o
d_alg += ../d_alg/d_alg.o
d_alg += ../d_alg/choose.o
d_alg += ../d_alg/compute_val.o
d_alg += ../d_alg/just_act.o
d_alg += ../d_alg/justify.o
d_alg += ../d_alg/imply_and_check.o
d_alg += ../d_alg/lists.o
d_alg += ../d_alg/drive_act.o
d_alg += ../d_alg/undo.o
d_alg += ../d_alg/print.o

test_set = ../test_set/test_set.o

fc = ../fc/fc.o

fc_defs = ../fc/fc.h
fc_defs += ../fc/fc.e

fsim = ../fsim/fault_sim.o
fsim += ../fsim/init.o
fsim += ../fsim/print.o
fsim += ../fsim/read.o
fsim += ../fsim/options.o


../bin/min_set : min_set.o gen_sim.o $(fc) $(d_alg) $(test_set) $(fsim) $(parser)
	cc min_set.o gen_sim.o $(fc) $(d_alg) $(test_set) $(fsim) $(parser) -o ../bin/min_set

gen_sim.o : $(global) $(fc_defs) gen_sim.c
	cc  -c  gen_sim.c

min_set.o : $(global) $(fc_defs) min_set.c
	cc  -c  min_set.c


../fsim/fault_sim.o : $(global) ../fsim/fsim.g ../fsim/fsim.h ../fsim/fault_sim.c
	cc -c  ../fsim/fault_sim.c -o ../fsim/fault_sim.o

../fsim/init.o : $(global) ../fsim/fsim.g ../fsim/fsim.h ../fsim/init.c
	cc -c  ../fsim/init.c -o ../fsim/init.o

../fsim/print.o : $(global) ../fsim/fsim.g ../fsim/fsim.h ../fsim/print.c
	cc -c  ../fsim/print.c -o ../fsim/print.o

../fsim/read.o : $(global) ../fsim/fsim.g ../fsim/fsim.h ../fsim/read.c
	cc -c  ../fsim/read.c -o ../fsim/read.o

../fsim/options.o : $(global) ../fsim/fsim.g ../fsim/fsim.h ../fsim/options.c
	cc -c  ../fsim/options.c -o ../fsim/options.o