diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-11-15 22:34:18 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-11-15 22:34:18 +0000 |
| commit | 78af7dfd469b43c17c3ad582a094068484955037 (patch) | |
| tree | 2d05cf1390731e1c7fd8d433768c9b436ff60baf /src/bindings/Makefile.am | |
| parent | 15193d5207679b24cd2f310f71c9428971564b53 (diff) | |
Bindings work (ocaml bindings are now sort of working); also minor cleanup
Diffstat (limited to 'src/bindings/Makefile.am')
| -rw-r--r-- | src/bindings/Makefile.am | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index 53c29ff02..35b3a6e07 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -19,9 +19,12 @@ AM_CXXFLAGS = -Wall SUBDIRS = . compat -javadatadir = $(datadir)/java lib_LTLIBRARIES = +bin_PROGRAMS = +javadatadir = $(datadir)/java +ocamldatadir = $(libdir)/ocaml/cvc4 javadata_DATA = +ocamldata_DATA = if CVC4_LANGUAGE_BINDING_JAVA lib_LTLIBRARIES += libcvc4bindings_java.la javadata_DATA += cvc4.jar @@ -65,6 +68,8 @@ libcvc4bindings_python_la_LIBADD = \ endif if CVC4_LANGUAGE_BINDING_OCAML lib_LTLIBRARIES += libcvc4bindings_ocaml.la +bin_PROGRAMS += cvc4_ocaml_top +ocamldata_DATA += ocaml/swig.cmo ocaml/swig.cmi ocaml/swigp4.cmo ocaml/swigp4.cmi ocaml/CVC4.cmo ocaml/CVC4.cmi libcvc4bindings_ocaml_la_LDFLAGS = \ -version-info $(LIBCVC4BINDINGS_VERSION) libcvc4bindings_ocaml_la_LIBADD = \ @@ -126,6 +131,8 @@ cvc4.jar: java.cpp cd classes); \ $(JAR) cf $@ -C java/classes . java.cpp: +perl.lo: csharp.cpp + $(AM_V_CXX)$(LTCXXCOMPILE) -c $(CSHARP_CPPFLAGS) -o $@ $< csharp.cpp: perl.lo: perl.cpp $(AM_V_CXX)$(LTCXXCOMPILE) -c $(PERL_CPPFLAGS) -o $@ $< @@ -136,10 +143,25 @@ php.cpp: python.lo: python.cpp $(AM_V_CXX)$(LTCXXCOMPILE) -c $(PYTHON_CPPFLAGS) -o $@ $< python.cpp: +ocaml.lo: ocaml.cpp + $(AM_V_CXX)$(LTCXXCOMPILE) -c $(OCAML_CPPFLAGS) -o $@ $< +ocaml/swig.cmo: ocaml/swig.ml ocaml/swig.cmi; $(AM_V_GEN)$(OCAMLC) -I ocaml -c -o $@ $< +ocaml/swig.cmi: ocaml/swig.mli; $(AM_V_GEN)$(OCAMLC) -I ocaml -c -o $@ $< +ocaml/CVC4.cmo: ocaml/CVC4.ml ocaml/CVC4.cmi; $(AM_V_GEN)$(OCAMLC) -I ocaml -c -o $@ $< +ocaml/CVC4.cmi: ocaml/CVC4.mli; $(AM_V_GEN)$(OCAMLC) -I ocaml -c -o $@ $< +ocaml/swigp4.cmo: ocaml/swigp4.ml; $(AM_V_GEN)$(OCAMLFIND) ocamlc -package camlp4 -pp "$(CAMLP4O) pa_extend.cmo q_MLast.cmo" -o $@ -c $< +ocaml/swig.ml:; $(AM_V_GEN)cd ocaml && $(SWIG) -ocaml -co swig.ml +ocaml/swig.mli:; $(AM_V_GEN)cd ocaml && $(SWIG) -ocaml -co swig.mli +ocaml/swigp4.ml:; $(AM_V_GEN)cd ocaml && $(SWIG) -ocaml -co swigp4.ml ocaml.cpp: +cvc4_ocaml_top: libcvc4bindings_ocaml.la ocaml/swig.cmo ocaml/swig.cmi ocaml/swigp4.cmo ocaml/CVC4.cmo ocaml/CVC4.cmi + $(AM_V_GEN)\ + $(OCAMLFIND) ocamlmktop -I $(ocamldatadir) -custom -o cvc4_ocaml_top -package camlp4 dynlink.cma camlp4o.cma ocaml/swig.cmo ocaml/swigp4.cmo ocaml/CVC4.cmo -cclib -L.libs -cclib -L. -cclib -lcvc4bindings_ocaml -cclib -lstdc++ ruby.lo: ruby.cpp $(AM_V_CXX)$(LTCXXCOMPILE) -c $(RUBY_CPPFLAGS) -o $@ $< ruby.cpp: +tcl.lo: tcl.cpp + $(AM_V_CXX)$(LTCXXCOMPILE) -c $(TCL_CPPFLAGS) -o $@ $< tcl.cpp: java.cpp: @srcdir@/../cvc4.i $(AM_V_at)mkdir -p $(patsubst %.cpp,%,$@) |