diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-12 20:38:10 +0000 |
commit | 13a6669a35aee32c03f8d29fe386aca95d2fbd8f (patch) | |
tree | b126afb6c384dd45db0249e8096cf733a74daa95 /src/parser/Makefile.am | |
parent | 5b5474281c4cdc880bff8b9e38b84dc84f88e50c (diff) |
parser, minisat, other things..
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am new file mode 100644 index 000000000..0ebcad8c7 --- /dev/null +++ b/src/parser/Makefile.am @@ -0,0 +1,18 @@ +INCLUDES = -I@srcdir@/../include + +noinst_LIBRARIES = libparser.a + +libparser_a_SOURCES = \ + pl_scanner.lpp \ + pl.ypp \ + smtlib_scanner.lpp \ + smtlib.ypp \ + parser.cpp + +BUILT_SOURCES = \ + pl_scanner.lpp \ + pl.ypp \ + smtlib_scanner.lpp \ + smtlib.ypp + + |