diff options
author | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
---|---|---|
committer | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
commit | 0ca70692f0b1b9e5dbae1663cafa9e5bc8a13be9 (patch) | |
tree | abcb8cb2a72cc0fea5caffaf504af13bb1f7a396 /src/bindings | |
parent | 053bbbb127ba6c9ce08e76f8e707f4ce248bb99b (diff) |
more minor fixes to build system
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index d172e5cf0..68a65b2c9 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -201,9 +201,9 @@ 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: ocaml/CVC4.la ocaml/swig.cmo ocaml/swig.cmi ocaml/swigp4.cmo ocaml/CVC4.cmo ocaml/CVC4.cmi +cvc4_ocaml_top$(EXEEXT): ocaml/CVC4.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 ocaml/.libs/CVC4.so -cclib -lstdc++ + $(OCAMLFIND) ocamlmktop -I $(ocamldatadir) -custom -o cvc4_ocaml_top$(EXEEXT) -package camlp4 dynlink.cma camlp4o.cma ocaml/swig.cmo ocaml/swigp4.cmo ocaml/CVC4.cmo -cclib ocaml/.libs/CVC4.so -cclib -lstdc++ ruby.lo: ruby.cpp $(AM_V_CXX)$(LTCXXCOMPILE) -c $(RUBY_CPPFLAGS) -o $@ $< tcl.lo: tcl.cpp |