diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-10 15:24:22 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-10 15:24:22 +0000 |
commit | ff5ecc85124857dccb6fa6ed542bb90e678bdc77 (patch) | |
tree | 1ae254a832b4f93666a81d8b3a07340066b24a7a /examples/Makefile.am | |
parent | 00af00c419b965ed26fff540a565dee748c7e4ed (diff) |
* fixing the simple_vc_cxx.cpp compile issue (no more Integer constants)
* adding as examples the programs i used to translate nonlinear smt2 problems to other formats
Diffstat (limited to 'examples/Makefile.am')
-rw-r--r-- | examples/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index d765e4d7a..484097740 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -1,3 +1,5 @@ +SUBDIRS = nra-translate . + AM_CPPFLAGS = \ -I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES) AM_CXXFLAGS = -Wall |