all: compiledic aut2fsa compiledic: aut2fsa: aut2fsa.cc g++ -Wno-deprecated -O3 -fpermissive -static -o aut2fsa aut2fsa.cc copy: ifdef UTT_BIN_DIR cp compiledic fsm2aut aut2fsa ${UTT_BIN_DIR} endif