examples/nra-translate/Makefile.am

   1 AM_CPPFLAGS = \
   2         -I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
   3 AM_CXXFLAGS = -Wall
   4 AM_CFLAGS = -Wall
   5
   6 noinst_PROGRAMS = \
   7         smt2toqepcad \
   8         smt2tomathematica \
   9         smt2toisat \
  10         smt2toredlog \
  11         smt2todreal \
  12         normalize \
  13         smt2info
  14
  15 noinst_DATA =
  16
  17 smt2toqepcad_SOURCES = \
  18         smt2toqepcad.cpp
  19 smt2toqepcad_LDADD = \
  20         @builddir@/../../src/parser/libcvc4parser.la \
  21         @builddir@/../../src/libcvc4.la
  22
  23 smt2tomathematica_SOURCES = \
  24         smt2tomathematica.cpp
  25 smt2tomathematica_LDADD = \
  26         @builddir@/../../src/parser/libcvc4parser.la \
  27         @builddir@/../../src/libcvc4.la
  28
  29 smt2toisat_SOURCES = \
  30         smt2toisat.cpp
  31 smt2toisat_LDADD = \
  32         @builddir@/../../src/parser/libcvc4parser.la \
  33         @builddir@/../../src/libcvc4.la
  34
  35 smt2toredlog_SOURCES = \
  36         smt2toredlog.cpp
  37 smt2toredlog_LDADD = \
  38         @builddir@/../../src/parser/libcvc4parser.la \
  39         @builddir@/../../src/libcvc4.la
  40
  41 smt2todreal_SOURCES = \
  42         smt2todreal.cpp
  43 smt2todreal_LDADD = \
  44         @builddir@/../../src/parser/libcvc4parser.la \
  45         @builddir@/../../src/libcvc4.la
  46
  47 smt2info_SOURCES = \
  48         smt2info.cpp
  49 smt2info_LDADD = \
  50         @builddir@/../../src/parser/libcvc4parser.la \
  51         @builddir@/../../src/libcvc4.la
  52
  53 normalize_SOURCES = \
  54         normalize.cpp
  55 normalize_LDADD = \
  56         @builddir@/../../src/parser/libcvc4parser.la \
  57         @builddir@/../../src/libcvc4.la
  58
  59 # for installation
  60 examplesdir = $(docdir)/$(subdir)
  61 examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)