#!/bin/sh
#
# Makefile for FF v 1.0
#
# includes a test lib to test parsing and preprocess

####### FLAGS

TYPE	= 
ADDONS	= 

CC      = gcc


CFLAGS  =  -O6 -Wall -ansi -m64 $(TYPE) $(ADDONS)
#CFLAGS	=  -g -pg -Wall -ansi $(TYPE) $(ADDONS) 
# -g -pg

LIBS    = -lm


####### Files

PDDL_PARSER_SRC	= scan-fct_pddl.tab.c \
	scan-ops_pddl.tab.c \
	scan-probname.tab.c \
	lex.fct_pddl.c \
	lex.ops_pddl.c 

PDDL_PARSER_OBJ = scan-fct_pddl.tab.o \
	scan-ops_pddl.tab.o 


SOURCES 	= main.c \
	memory.c \
	output.c \
	parse.c \
	inst_pre.c \
	inst_easy.c \
	inst_hard.c \
	inst_final.c \
	relax.c \
	search.c \
	state_transitions.c \
	repeated_states.c \
	validator.c

LIB_SOURCES = libff.c \
        memory.c \
	output.c \
	parse.c \
	inst_pre.c \
	inst_easy.c \
	inst_hard.c \
	inst_final.c \
	relax.c \
	search.c \
	state_transitions.c \
	repeated_states.c \
	validator.c


OBJECTS 	= $(SOURCES:.c=.o)
LIB_OBJECTS	= $(LIB_SOURCES:.c=.o)

####### Implicit rules

.SUFFIXES:

.SUFFIXES: .c .o

.c.o:; $(CC) -c $(CFLAGS) $<

####### Build rules

libff: $(LIB_OBJECTS) $(PDDL_PARSER_OBJ)
	ar cru libff.a $(LIB_OBJECTS) $(PDDL_PARSER_OBJ)

ff: $(OBJECTS) $(PDDL_PARSER_OBJ)
	$(CC) -static -o ff $(OBJECTS) $(PDDL_PARSER_OBJ) $(CFLAGS) $(LIBS)

# pddl syntax
scan-fct_pddl.tab.c: scan-fct_pddl.y lex.fct_pddl.c
	bison -pfct_pddl -bscan-fct_pddl scan-fct_pddl.y

scan-ops_pddl.tab.c: scan-ops_pddl.y lex.ops_pddl.c
	bison -pops_pddl -bscan-ops_pddl scan-ops_pddl.y

lex.fct_pddl.c: lex-fct_pddl.l
	flex -Pfct_pddl lex-fct_pddl.l

lex.ops_pddl.c: lex-ops_pddl.l
	flex -Pops_pddl lex-ops_pddl.l

test_lib: test_main.cxx
	g++ -static -o test_lib test_main.cxx -lff -L./

# misc
clean:
	rm -f A CNF *.o *.bak *~ *% core *_pure_p9_c0_400.o.warnings test_lib \
        \#*\# $(RES_PARSER_SRC) $(PDDL_PARSER_SRC)

veryclean: clean
	rm -f ff H* J* K* L* O* graph.* *.symbex gmon.out \
	$(PDDL_PARSER_SRC) \
	lex.fct_pddl.c lex.ops_pddl.c lex.probname.c \
	*.output

depend:
	makedepend -- $(SOURCES)  $(LIB_SOURCES) $(PDDL_PARSER_SRC) test_main.cxx

lint:
	lclint -booltype Bool $(SOURCES) 2> output.lint

# DO NOT DELETE

main.o: ff.h /usr/include/stdlib.h /usr/include/features.h
main.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
main.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
main.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
main.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
main.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
main.o: /usr/include/sys/types.h /usr/include/bits/types.h
main.o: /usr/include/bits/typesizes.h /usr/include/time.h
main.o: /usr/include/sys/select.h /usr/include/bits/select.h
main.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
main.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
main.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
main.o: /usr/include/_G_config.h /usr/include/wchar.h
main.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
main.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
main.o: /usr/include/ctype.h /usr/include/sys/timeb.h
main.o: /usr/include/sys/times.h memory.h output.h parse.h inst_pre.h
main.o: inst_easy.h inst_hard.h inst_final.h relax.h state_transitions.h
main.o: repeated_states.h search.h validator.h
memory.o: ff.h /usr/include/stdlib.h /usr/include/features.h
memory.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
memory.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
memory.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
memory.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
memory.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
memory.o: /usr/include/sys/types.h /usr/include/bits/types.h
memory.o: /usr/include/bits/typesizes.h /usr/include/time.h
memory.o: /usr/include/sys/select.h /usr/include/bits/select.h
memory.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
memory.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
memory.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
memory.o: /usr/include/_G_config.h /usr/include/wchar.h
memory.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
memory.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
memory.o: /usr/include/ctype.h /usr/include/sys/timeb.h
memory.o: /usr/include/sys/times.h memory.h
output.o: ff.h /usr/include/stdlib.h /usr/include/features.h
output.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
output.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
output.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
output.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
output.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
output.o: /usr/include/sys/types.h /usr/include/bits/types.h
output.o: /usr/include/bits/typesizes.h /usr/include/time.h
output.o: /usr/include/sys/select.h /usr/include/bits/select.h
output.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
output.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
output.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
output.o: /usr/include/_G_config.h /usr/include/wchar.h
output.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
output.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
output.o: /usr/include/ctype.h /usr/include/sys/timeb.h
output.o: /usr/include/sys/times.h output.h
parse.o: ff.h /usr/include/stdlib.h /usr/include/features.h
parse.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
parse.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
parse.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
parse.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
parse.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
parse.o: /usr/include/sys/types.h /usr/include/bits/types.h
parse.o: /usr/include/bits/typesizes.h /usr/include/time.h
parse.o: /usr/include/sys/select.h /usr/include/bits/select.h
parse.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
parse.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
parse.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
parse.o: /usr/include/_G_config.h /usr/include/wchar.h
parse.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
parse.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
parse.o: /usr/include/ctype.h /usr/include/sys/timeb.h
parse.o: /usr/include/sys/times.h memory.h output.h parse.h
inst_pre.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_pre.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_pre.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_pre.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_pre.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_pre.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_pre.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_pre.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_pre.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_pre.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_pre.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_pre.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_pre.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_pre.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_pre.o: /usr/include/strings.h /usr/include/xlocale.h
inst_pre.o: /usr/include/string.h /usr/include/ctype.h
inst_pre.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_pre.o: memory.h inst_pre.h
inst_easy.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_easy.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_easy.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_easy.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_easy.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_easy.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_easy.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_easy.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_easy.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_easy.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_easy.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_easy.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_easy.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_easy.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_easy.o: /usr/include/strings.h /usr/include/xlocale.h
inst_easy.o: /usr/include/string.h /usr/include/ctype.h
inst_easy.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_easy.o: memory.h inst_pre.h inst_easy.h
inst_hard.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_hard.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_hard.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_hard.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_hard.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_hard.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_hard.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_hard.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_hard.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_hard.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_hard.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_hard.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_hard.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_hard.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_hard.o: /usr/include/strings.h /usr/include/xlocale.h
inst_hard.o: /usr/include/string.h /usr/include/ctype.h
inst_hard.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_hard.o: memory.h inst_pre.h inst_hard.h
inst_final.o: /usr/include/stdlib.h /usr/include/features.h
inst_final.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_final.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_final.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_final.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_final.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_final.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_final.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_final.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_final.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_final.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_final.o: /usr/include/alloca.h ff.h /usr/include/stdio.h
inst_final.o: /usr/include/libio.h /usr/include/_G_config.h
inst_final.o: /usr/include/wchar.h /usr/include/bits/stdio_lim.h
inst_final.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
inst_final.o: /usr/include/xlocale.h /usr/include/string.h
inst_final.o: /usr/include/ctype.h /usr/include/sys/timeb.h
inst_final.o: /usr/include/sys/times.h output.h memory.h inst_pre.h
inst_final.o: inst_final.h
relax.o: ff.h /usr/include/stdlib.h /usr/include/features.h
relax.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
relax.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
relax.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
relax.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
relax.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
relax.o: /usr/include/sys/types.h /usr/include/bits/types.h
relax.o: /usr/include/bits/typesizes.h /usr/include/time.h
relax.o: /usr/include/sys/select.h /usr/include/bits/select.h
relax.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
relax.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
relax.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
relax.o: /usr/include/_G_config.h /usr/include/wchar.h
relax.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
relax.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
relax.o: /usr/include/ctype.h /usr/include/sys/timeb.h
relax.o: /usr/include/sys/times.h output.h memory.h relax.h search.h
relax.o: state_transitions.h
search.o: ff.h /usr/include/stdlib.h /usr/include/features.h
search.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
search.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
search.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
search.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
search.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
search.o: /usr/include/sys/types.h /usr/include/bits/types.h
search.o: /usr/include/bits/typesizes.h /usr/include/time.h
search.o: /usr/include/sys/select.h /usr/include/bits/select.h
search.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
search.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
search.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
search.o: /usr/include/_G_config.h /usr/include/wchar.h
search.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
search.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
search.o: /usr/include/ctype.h /usr/include/sys/timeb.h
search.o: /usr/include/sys/times.h output.h memory.h relax.h
search.o: state_transitions.h repeated_states.h search.h
state_transitions.o: ff.h /usr/include/stdlib.h /usr/include/features.h
state_transitions.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
state_transitions.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
state_transitions.o: /usr/include/gnu/stubs-64.h
state_transitions.o: /usr/include/bits/waitflags.h
state_transitions.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
state_transitions.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
state_transitions.o: /usr/include/sys/types.h /usr/include/bits/types.h
state_transitions.o: /usr/include/bits/typesizes.h /usr/include/time.h
state_transitions.o: /usr/include/sys/select.h /usr/include/bits/select.h
state_transitions.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
state_transitions.o: /usr/include/sys/sysmacros.h
state_transitions.o: /usr/include/bits/pthreadtypes.h /usr/include/alloca.h
state_transitions.o: /usr/include/stdio.h /usr/include/libio.h
state_transitions.o: /usr/include/_G_config.h /usr/include/wchar.h
state_transitions.o: /usr/include/bits/stdio_lim.h
state_transitions.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
state_transitions.o: /usr/include/xlocale.h /usr/include/string.h
state_transitions.o: /usr/include/ctype.h /usr/include/sys/timeb.h
state_transitions.o: /usr/include/sys/times.h output.h memory.h relax.h
state_transitions.o: state_transitions.h repeated_states.h search.h
repeated_states.o: ff.h /usr/include/stdlib.h /usr/include/features.h
repeated_states.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
repeated_states.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
repeated_states.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
repeated_states.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
repeated_states.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
repeated_states.o: /usr/include/sys/types.h /usr/include/bits/types.h
repeated_states.o: /usr/include/bits/typesizes.h /usr/include/time.h
repeated_states.o: /usr/include/sys/select.h /usr/include/bits/select.h
repeated_states.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
repeated_states.o: /usr/include/sys/sysmacros.h
repeated_states.o: /usr/include/bits/pthreadtypes.h /usr/include/alloca.h
repeated_states.o: /usr/include/stdio.h /usr/include/libio.h
repeated_states.o: /usr/include/_G_config.h /usr/include/wchar.h
repeated_states.o: /usr/include/bits/stdio_lim.h
repeated_states.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
repeated_states.o: /usr/include/xlocale.h /usr/include/string.h
repeated_states.o: /usr/include/ctype.h /usr/include/sys/timeb.h
repeated_states.o: /usr/include/sys/times.h output.h memory.h relax.h
repeated_states.o: state_transitions.h repeated_states.h search.h
validator.o: ff.h /usr/include/stdlib.h /usr/include/features.h
validator.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
validator.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
validator.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
validator.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
validator.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
validator.o: /usr/include/sys/types.h /usr/include/bits/types.h
validator.o: /usr/include/bits/typesizes.h /usr/include/time.h
validator.o: /usr/include/sys/select.h /usr/include/bits/select.h
validator.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
validator.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
validator.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
validator.o: /usr/include/_G_config.h /usr/include/wchar.h
validator.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
validator.o: /usr/include/strings.h /usr/include/xlocale.h
validator.o: /usr/include/string.h /usr/include/ctype.h
validator.o: /usr/include/sys/timeb.h /usr/include/sys/times.h
validator.o: state_transitions.h memory.h search.h
libff.o: libff.h ff.h /usr/include/stdlib.h /usr/include/features.h
libff.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
libff.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
libff.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
libff.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
libff.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
libff.o: /usr/include/sys/types.h /usr/include/bits/types.h
libff.o: /usr/include/bits/typesizes.h /usr/include/time.h
libff.o: /usr/include/sys/select.h /usr/include/bits/select.h
libff.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
libff.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
libff.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
libff.o: /usr/include/_G_config.h /usr/include/wchar.h
libff.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
libff.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
libff.o: /usr/include/ctype.h /usr/include/sys/timeb.h
libff.o: /usr/include/sys/times.h memory.h output.h parse.h inst_pre.h
libff.o: inst_easy.h inst_hard.h inst_final.h
memory.o: ff.h /usr/include/stdlib.h /usr/include/features.h
memory.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
memory.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
memory.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
memory.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
memory.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
memory.o: /usr/include/sys/types.h /usr/include/bits/types.h
memory.o: /usr/include/bits/typesizes.h /usr/include/time.h
memory.o: /usr/include/sys/select.h /usr/include/bits/select.h
memory.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
memory.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
memory.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
memory.o: /usr/include/_G_config.h /usr/include/wchar.h
memory.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
memory.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
memory.o: /usr/include/ctype.h /usr/include/sys/timeb.h
memory.o: /usr/include/sys/times.h memory.h
output.o: ff.h /usr/include/stdlib.h /usr/include/features.h
output.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
output.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
output.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
output.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
output.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
output.o: /usr/include/sys/types.h /usr/include/bits/types.h
output.o: /usr/include/bits/typesizes.h /usr/include/time.h
output.o: /usr/include/sys/select.h /usr/include/bits/select.h
output.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
output.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
output.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
output.o: /usr/include/_G_config.h /usr/include/wchar.h
output.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
output.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
output.o: /usr/include/ctype.h /usr/include/sys/timeb.h
output.o: /usr/include/sys/times.h output.h
parse.o: ff.h /usr/include/stdlib.h /usr/include/features.h
parse.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
parse.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
parse.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
parse.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
parse.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
parse.o: /usr/include/sys/types.h /usr/include/bits/types.h
parse.o: /usr/include/bits/typesizes.h /usr/include/time.h
parse.o: /usr/include/sys/select.h /usr/include/bits/select.h
parse.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
parse.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
parse.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
parse.o: /usr/include/_G_config.h /usr/include/wchar.h
parse.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
parse.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
parse.o: /usr/include/ctype.h /usr/include/sys/timeb.h
parse.o: /usr/include/sys/times.h memory.h output.h parse.h
inst_pre.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_pre.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_pre.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_pre.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_pre.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_pre.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_pre.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_pre.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_pre.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_pre.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_pre.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_pre.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_pre.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_pre.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_pre.o: /usr/include/strings.h /usr/include/xlocale.h
inst_pre.o: /usr/include/string.h /usr/include/ctype.h
inst_pre.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_pre.o: memory.h inst_pre.h
inst_easy.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_easy.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_easy.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_easy.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_easy.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_easy.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_easy.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_easy.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_easy.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_easy.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_easy.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_easy.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_easy.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_easy.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_easy.o: /usr/include/strings.h /usr/include/xlocale.h
inst_easy.o: /usr/include/string.h /usr/include/ctype.h
inst_easy.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_easy.o: memory.h inst_pre.h inst_easy.h
inst_hard.o: ff.h /usr/include/stdlib.h /usr/include/features.h
inst_hard.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_hard.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_hard.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_hard.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_hard.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_hard.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_hard.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_hard.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_hard.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_hard.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_hard.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
inst_hard.o: /usr/include/_G_config.h /usr/include/wchar.h
inst_hard.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
inst_hard.o: /usr/include/strings.h /usr/include/xlocale.h
inst_hard.o: /usr/include/string.h /usr/include/ctype.h
inst_hard.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
inst_hard.o: memory.h inst_pre.h inst_hard.h
inst_final.o: /usr/include/stdlib.h /usr/include/features.h
inst_final.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
inst_final.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
inst_final.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
inst_final.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
inst_final.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
inst_final.o: /usr/include/sys/types.h /usr/include/bits/types.h
inst_final.o: /usr/include/bits/typesizes.h /usr/include/time.h
inst_final.o: /usr/include/sys/select.h /usr/include/bits/select.h
inst_final.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
inst_final.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
inst_final.o: /usr/include/alloca.h ff.h /usr/include/stdio.h
inst_final.o: /usr/include/libio.h /usr/include/_G_config.h
inst_final.o: /usr/include/wchar.h /usr/include/bits/stdio_lim.h
inst_final.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
inst_final.o: /usr/include/xlocale.h /usr/include/string.h
inst_final.o: /usr/include/ctype.h /usr/include/sys/timeb.h
inst_final.o: /usr/include/sys/times.h output.h memory.h inst_pre.h
inst_final.o: inst_final.h
relax.o: ff.h /usr/include/stdlib.h /usr/include/features.h
relax.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
relax.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
relax.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
relax.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
relax.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
relax.o: /usr/include/sys/types.h /usr/include/bits/types.h
relax.o: /usr/include/bits/typesizes.h /usr/include/time.h
relax.o: /usr/include/sys/select.h /usr/include/bits/select.h
relax.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
relax.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
relax.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
relax.o: /usr/include/_G_config.h /usr/include/wchar.h
relax.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
relax.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
relax.o: /usr/include/ctype.h /usr/include/sys/timeb.h
relax.o: /usr/include/sys/times.h output.h memory.h relax.h search.h
relax.o: state_transitions.h
search.o: ff.h /usr/include/stdlib.h /usr/include/features.h
search.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
search.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
search.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
search.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
search.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
search.o: /usr/include/sys/types.h /usr/include/bits/types.h
search.o: /usr/include/bits/typesizes.h /usr/include/time.h
search.o: /usr/include/sys/select.h /usr/include/bits/select.h
search.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
search.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
search.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
search.o: /usr/include/_G_config.h /usr/include/wchar.h
search.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
search.o: /usr/include/strings.h /usr/include/xlocale.h /usr/include/string.h
search.o: /usr/include/ctype.h /usr/include/sys/timeb.h
search.o: /usr/include/sys/times.h output.h memory.h relax.h
search.o: state_transitions.h repeated_states.h search.h
state_transitions.o: ff.h /usr/include/stdlib.h /usr/include/features.h
state_transitions.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
state_transitions.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
state_transitions.o: /usr/include/gnu/stubs-64.h
state_transitions.o: /usr/include/bits/waitflags.h
state_transitions.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
state_transitions.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
state_transitions.o: /usr/include/sys/types.h /usr/include/bits/types.h
state_transitions.o: /usr/include/bits/typesizes.h /usr/include/time.h
state_transitions.o: /usr/include/sys/select.h /usr/include/bits/select.h
state_transitions.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
state_transitions.o: /usr/include/sys/sysmacros.h
state_transitions.o: /usr/include/bits/pthreadtypes.h /usr/include/alloca.h
state_transitions.o: /usr/include/stdio.h /usr/include/libio.h
state_transitions.o: /usr/include/_G_config.h /usr/include/wchar.h
state_transitions.o: /usr/include/bits/stdio_lim.h
state_transitions.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
state_transitions.o: /usr/include/xlocale.h /usr/include/string.h
state_transitions.o: /usr/include/ctype.h /usr/include/sys/timeb.h
state_transitions.o: /usr/include/sys/times.h output.h memory.h relax.h
state_transitions.o: state_transitions.h repeated_states.h search.h
repeated_states.o: ff.h /usr/include/stdlib.h /usr/include/features.h
repeated_states.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
repeated_states.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
repeated_states.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
repeated_states.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
repeated_states.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
repeated_states.o: /usr/include/sys/types.h /usr/include/bits/types.h
repeated_states.o: /usr/include/bits/typesizes.h /usr/include/time.h
repeated_states.o: /usr/include/sys/select.h /usr/include/bits/select.h
repeated_states.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
repeated_states.o: /usr/include/sys/sysmacros.h
repeated_states.o: /usr/include/bits/pthreadtypes.h /usr/include/alloca.h
repeated_states.o: /usr/include/stdio.h /usr/include/libio.h
repeated_states.o: /usr/include/_G_config.h /usr/include/wchar.h
repeated_states.o: /usr/include/bits/stdio_lim.h
repeated_states.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
repeated_states.o: /usr/include/xlocale.h /usr/include/string.h
repeated_states.o: /usr/include/ctype.h /usr/include/sys/timeb.h
repeated_states.o: /usr/include/sys/times.h output.h memory.h relax.h
repeated_states.o: state_transitions.h repeated_states.h search.h
validator.o: ff.h /usr/include/stdlib.h /usr/include/features.h
validator.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
validator.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
validator.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
validator.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
validator.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
validator.o: /usr/include/sys/types.h /usr/include/bits/types.h
validator.o: /usr/include/bits/typesizes.h /usr/include/time.h
validator.o: /usr/include/sys/select.h /usr/include/bits/select.h
validator.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
validator.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
validator.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
validator.o: /usr/include/_G_config.h /usr/include/wchar.h
validator.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
validator.o: /usr/include/strings.h /usr/include/xlocale.h
validator.o: /usr/include/string.h /usr/include/ctype.h
validator.o: /usr/include/sys/timeb.h /usr/include/sys/times.h
validator.o: state_transitions.h memory.h search.h
test_main.o: libff.h ff.h /usr/include/stdlib.h /usr/include/features.h
test_main.o: /usr/include/bits/predefs.h /usr/include/sys/cdefs.h
test_main.o: /usr/include/bits/wordsize.h /usr/include/gnu/stubs.h
test_main.o: /usr/include/gnu/stubs-64.h /usr/include/bits/waitflags.h
test_main.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
test_main.o: /usr/include/bits/endian.h /usr/include/bits/byteswap.h
test_main.o: /usr/include/sys/types.h /usr/include/bits/types.h
test_main.o: /usr/include/bits/typesizes.h /usr/include/time.h
test_main.o: /usr/include/sys/select.h /usr/include/bits/select.h
test_main.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
test_main.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
test_main.o: /usr/include/alloca.h /usr/include/stdio.h /usr/include/libio.h
test_main.o: /usr/include/_G_config.h /usr/include/wchar.h
test_main.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
test_main.o: /usr/include/strings.h /usr/include/xlocale.h
test_main.o: /usr/include/string.h /usr/include/ctype.h
test_main.o: /usr/include/sys/timeb.h /usr/include/sys/times.h output.h
