bin_PROGRAMS=hermetica
hermetica_SOURCES=atom.c defcontext.c defstack.c general.c global_h_objects.c global_strings.c mainwin.c h_array.c h_int.c h_list.c h_object.c h_string.c justification.c main.c memheap.c msg_buffer.c namespace.c operator.c parserlib.c pattern.c pattern_walk.c pr_buffer.c proof.c proofline.c prototype.c semtype.c subexp.c subexpwalk.c symbols.c tests.c atom.h defcontext.h defstack.h general.h global_h_objects.h global_strings.h mainwin.h h_array.h h_int.h h_list.h h_object.h h_string.h justification.h memheap.h msg_bufpfer.h namespace.h operator.h parsebuffer.h parserlib.h pattern.h pattern_walk.h pr_buffer.h proof.h proofline.h prototype.h scanner.h semtype.h subexp.h subexpwalk.h symbols.h tests.h prefs.h prefs.c prefs_dialog.c prefs_dialog.h entry_completion.c entry_completion.h tokens.l parse.y symbol_panel.h symbol_panel.c tooltips.h tooltips.c rules.h rules.c subexp_bindqueue.c subexp_bindqueue.h subexp_childqueue.c subexp_childqueue.h subexp_atomqueue.c subexp_atomqueue.h subexp_atomwalk.c subexp_atomwalk.h subexp_bindwalk.c subexp_bindwalk.h gettext.h h_sequence.c h_sequence.h embed_just.c embed_just.h symbol_entry_popup.c symbol_entry_popup.h proof_clipboard.c proof_clipboard.h annotation_parser.h annotation_parser.c h_object_map.h h_object_map.c tests_rules.h tests_rules.c
BUILT_SOURCES=parse.h
AM_CPPFLAGS=$(HGLIBS_CFLAGS) -DDATA_DIR=\"$(datadir)\" -DBISON_LOCALEDIR='"$(BISON_LOCALEDIR)"'
AM_LDFLAGS=$(HGLIBS_LIBS)
AM_YFLAGS=-d
CLEANFILES=parse.h parse.c tokens.c
MOSTLYCLEANFILES=parse.h parse.c tokens.c