parser = /home/poisson3/ee658/parser/fc_lists.o
parser += /home/poisson3/ee658/parser/lex.yy.o
parser += /home/poisson3/ee658/parser/y.tab.o

global = /home/poisson3/ee658/global.h
global += /home/poisson3/ee658/global.g
global += /home/poisson3/ee658/global.e

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

test_set = /home/poisson3/ee658/test_set/test_set.o

fc = /home/poisson3/ee658/fc/fc.o

fc_defs = /home/poisson3/ee658/fc/fc.h
fc_defs += /home/poisson3/ee658/fc/fc.e

fsim = /home/poisson3/ee658/fault_sim/fsim.o
fsim += /home/poisson3/ee658/fault_sim/init.o
fsim += /home/poisson3/ee658/fault_sim/print.o
fsim += /home/poisson3/ee658/fault_sim/read.o

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 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