diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-23 23:37:42 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-23 23:37:42 +0000 |
| commit | a63064385c56600143ac470108fe8e640a4ca3ee (patch) | |
| tree | 2b1d13fbd4c05669f873964a5fee0f87cbf1a330 /src/bindings | |
| parent | 5f742fbd0ddb1b7e89bd9f7ce8fd38bed2ebc3db (diff) | |
interface cleanup, java bindings work
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index 31ad8c71f..c0c7f352e 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -81,7 +81,7 @@ ruby.cpp: tcl.cpp: $(patsubst %,%.cpp,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))): %.cpp: @srcdir@/../cvc4.i $(AM_V_at)mkdir -p $(patsubst %.cpp,%,$@) - $(AM_V_GEN)$(SWIG) -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. -c++ -$(patsubst %.cpp,%,$@) -outdir $(patsubst %.cpp,%,$@) -package edu.nyu.acsys.CVC4 -o $@ $< + $(AM_V_GEN)$(SWIG) -Wall -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. -c++ -$(patsubst %.cpp,%,$@) -outdir $(patsubst %.cpp,%,$@) -package edu.nyu.acsys.CVC4 -o $@ $< $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))): %.d: @srcdir@/../cvc4.i $(AM_V_GEN)$(SWIG) -I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. -c++ -MM -o $(patsubst %.d,%.cpp,$@) $< |