more minor fixes to build system

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 274e2c9e77d4731ca512ac082026ae675699b0a4..249a5e380e58c5b9440e50ba1df7a85da25e3677 100644 (file)
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -137,8 +137,8 @@ else
        done
 endif
 #      set up builds/$(CURRENT_BUILD)/bin and builds/$(CURRENT_BUILD)/lib
-       $(AM_V_at)test -e $(CURRENT_BUILD)/lib || ln -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
-       $(AM_V_at)test -e $(CURRENT_BUILD)/bin || ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
+       $(AM_V_at)test -e $(CURRENT_BUILD)/lib || ln -sf "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
+       $(AM_V_at)test -e $(CURRENT_BUILD)/bin || ln -sf "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
 #      set up builds/...prefix.../bin and builds/...prefix.../lib
        $(AM_V_mkdir) ".$(bindir)"
        $(AM_V_mkdir) ".$(libdir)"
@@ -184,8 +184,8 @@ else
        done
 endif
 #      set up builds/bin and builds/lib
-       $(AM_V_at)test -e lib || ln -sfv ".$(libdir)" lib
-       $(AM_V_at)test -e bin || ln -sfv ".$(bindir)" bin
+       $(AM_V_at)test -e lib || ln -sf ".$(libdir)" lib
+       $(AM_V_at)test -e bin || ln -sf ".$(bindir)" bin
        rm -f doc; ln -sf "$(CURRENT_BUILD)/doc" doc
        rm -f examples; ln -sf "$(CURRENT_BUILD)/examples" examples
 

diff --git a/configure.ac b/configure.ac
index 44b2c0a31dc1825813407c9266af5958ac9971ed..ccc38cafb2592e3221fb674e860d2477fbf5f468 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -480,9 +480,14 @@ if test -z "${enable_static_binary+set}"; then
   enable_static_binary=no
 fi
 AC_MSG_RESULT([$enable_static_binary])
-if test "$enable_static_binary" = yes -a "$enable_static" != yes; then
-  enable_static=yes
-  AC_MSG_WARN([forcing static-library building, --enable-static-binary given])
+if test "$nable_static_binary" = yes; then
+  if test "$target_os" = darwin; then
+    AC_MSG_ERROR([Statically-linked binaries are not supported on Mac OS.  See https://developer.apple.com/library/mac/#qa/qa2001/qa1118.html])
+  fi
+  if test "$enable_static" != yes; then
+    enable_static=yes
+    AC_MSG_WARN([forcing static-library building, --enable-static-binary given])
+  fi
 fi
 
 AC_MSG_CHECKING([whether to support proof in libcvc4])

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index d172e5cf0027a671e9ae04a2647741c99c1a9620..68a65b2c93d2731c9aa61027aafb19b0dff7d45b 100644 (file)
--- 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