diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /src/bindings | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/Makefile | 4 | ||||
-rw-r--r-- | src/bindings/Makefile.am | 237 |
2 files changed, 0 insertions, 241 deletions
diff --git a/src/bindings/Makefile b/src/bindings/Makefile deleted file mode 100644 index 419d3a1b4..000000000 --- a/src/bindings/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -topdir = ../.. -srcdir = src/bindings - -include $(topdir)/Makefile.subdir diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am deleted file mode 100644 index 9de484d1c..000000000 --- a/src/bindings/Makefile.am +++ /dev/null @@ -1,237 +0,0 @@ -# LIBCVC4BINDINGS_VERSION (-version-info) is in the form current:revision:age -# -# current - -# increment if interfaces have been added, removed or changed -# revision - -# increment if source code has changed -# set to zero if current is incremented -# age - -# increment if interfaces have been added -# set to zero if interfaces have been removed -# or changed -# -LIBCVC4BINDINGS_VERSION = @CVC4_BINDINGS_LIBRARY_VERSION@ - -AUTOMAKE_OPTIONS = subdir-objects - -AM_CPPFLAGS = \ - -D__BUILDING_CVC4BINDINGSLIB \ - -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. -AM_CXXFLAGS = -Wall - -# any binding-specific flags to pass to swig -java_cpp_SWIGFLAGS = -package edu.nyu.acsys.CVC4 - -lib_LTLIBRARIES = -bin_PROGRAMS = -javadatadir = $(datadir)/java -javalibdir = $(libdir)/jni -ocamldatadir = $(libdir)/ocaml/cvc4 -ocamllibdir = $(libdir)/ocaml/cvc4 -perldatadir = $(datadir)/perl5 -perllibdir = $(libdir)/perl5 -phpdatadir = $(datadir)/php -phplibdir = $(libdir)/php -pythondatadir = $(datadir)/pyshared -pythonlibdir = $(libdir)/pyshared -csharpdatadir = $(datadir)/csharp -csharplibdir = $(libdir)/csharp -rubylibdir = $(libdir)/ruby -tcllibdir = $(libdir)/tcltk -javadata_DATA = -javalib_LTLIBRARIES= -ocamldata_DATA = -ocamllib_LTLIBRARIES= -perldata_DATA = -perllib_LTLIBRARIES = -phpdata_DATA = -phplib_LTLIBRARIES = -pythondata_DATA = -pythonlib_LTLIBRARIES = -csharpdata_DATA = -csharplib_LTLIBRARIES = -rubylib_LTLIBRARIES = -tcllib_LTLIBRARIES = -if CVC4_HAS_SWIG -if CVC4_LANGUAGE_BINDING_JAVA -javalib_LTLIBRARIES += java/libcvc4jni.la -javadata_DATA += CVC4.jar -java_libcvc4jni_la_LDFLAGS = \ - -no-undefined \ - -module \ - -shrext $(CVC4_JAVA_MODULE_EXT) \ - -version-info $(LIBCVC4BINDINGS_VERSION) -java_libcvc4jni_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -endif -if CVC4_LANGUAGE_BINDING_CSHARP -csharplib_LTLIBRARIES += csharp/CVC4.la -csharp_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -csharp_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -endif -if CVC4_LANGUAGE_BINDING_PERL -perllib_LTLIBRARIES += perl/CVC4.la -perl_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -perl_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -perldata_DATA += perl/CVC4.pm -endif -if CVC4_LANGUAGE_BINDING_PHP -phplib_LTLIBRARIES += php/CVC4.la -php_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -php_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -phpdata_DATA += php/CVC4.php -endif -if CVC4_LANGUAGE_BINDING_PYTHON -pythonlib_LTLIBRARIES += python/CVC4.la -python_CVC4_la_CXXFLAGS = $(PYTHON_CXXFLAGS) -python_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -python_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -pythondata_DATA += python/CVC4.py -endif -if CVC4_LANGUAGE_BINDING_OCAML -ocamllib_LTLIBRARIES += ocaml/CVC4.la -bin_PROGRAMS += cvc4_ocaml_top -# We provide a make rule below, but we have to tell automake to lay off, too, -# otherwise it tries (and fails) to package the nonexistent cvc4_ocaml_top.c! -cvc4_ocaml_top_SOURCES = -ocamldata_DATA += ocaml/swig.cmo ocaml/swig.cmi ocaml/swigp4.cmo ocaml/swigp4.cmi ocaml/CVC4.cmo ocaml/CVC4.cmi -ocaml_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -ocaml_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -endif -if CVC4_LANGUAGE_BINDING_RUBY -rubylib_LTLIBRARIES += ruby/CVC4.la -ruby_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -ruby_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -endif -if CVC4_LANGUAGE_BINDING_TCL -tcllib_LTLIBRARIES += tcl/CVC4.la -tcl_CVC4_la_LDFLAGS = \ - -module \ - -version-info $(LIBCVC4BINDINGS_VERSION) -tcl_CVC4_la_LIBADD = \ - @builddir@/../libcvc4.la \ - @builddir@/../parser/libcvc4parser.la -endif -# this endif matches the "if CVC4_HAS_SWIG" above -endif - -nodist_java_libcvc4jni_la_SOURCES = java.cpp -java_libcvc4jni_la_CXXFLAGS = -Wno-all @FNO_STRICT_ALIASING@ @WNO_UNUSED_VARIABLE@ @WNO_UNINITIALIZED@ -nodist_csharp_CVC4_la_SOURCES = csharp.cpp -nodist_perl_CVC4_la_SOURCES = perl.cpp -nodist_php_CVC4_la_SOURCES = php.cpp -nodist_python_CVC4_la_SOURCES = python.cpp -nodist_ocaml_CVC4_la_SOURCES = ocaml.cpp -nodist_ruby_CVC4_la_SOURCES = ruby.cpp -nodist_tcl_CVC4_la_SOURCES = tcl.cpp - -CLEANFILES = \ - java.cpp \ - csharp.cpp \ - perl.cpp \ - php.cpp \ - python.cpp \ - ocaml.cpp \ - ruby.cpp \ - tcl.cpp - -EXTRA_DIST = \ - swig.h \ - java_iterator_adapter.h \ - java_stream_adapters.h - -MOSTLYCLEANFILES = \ - .swig_deps \ - $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) \ - CVC4.jar - -java_libcvc4jni_la-java.lo: java.cpp - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_CPPFLAGS) $(java_libcvc4jni_la_CXXFLAGS) -o $@ $< -java.lo: java.cpp - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_CPPFLAGS) $(java_libcvc4jni_la_CXXFLAGS) -o $@ $< -CVC4.jar: java.cpp - $(AM_V_GEN) \ - (cd java && \ - rm -fr classes && \ - mkdir -p classes && \ - $(JAVAC) -source 1.6 -target 1.6 -classpath . -d classes `find . -name '*.java'` && \ - cd classes) && \ - $(JAR) cf $@ -C java/classes . -#java.cpp:; -csharp.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 $@ $< -#perl.cpp:; -perl/CVC4.pm: perl.cpp -php.lo: php.cpp - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(PHP_CPPFLAGS) -Iphp -o $@ $< -#php.cpp:; -python.lo: python.cpp - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(PYTHON_CPPFLAGS) -o $@ $< -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$(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$(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 - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(TCL_CPPFLAGS) -o $@ $< -#tcl.cpp:; - -if CVC4_HAS_SWIG - -$(patsubst %,%.cpp,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))): %.cpp: @srcdir@/../cvc4.i - $(AM_V_at)mkdir -p $(patsubst %.cpp,%,$@) - $(AM_V_GEN)$(SWIG) -Wall -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. -c++ -$(patsubst %.cpp,%,$@) -outdir $(patsubst %.cpp,%,$@) $($(subst .,_,$@)_SWIGFLAGS) -o $@ $< - -# Automake 1.16 is executing this target at configuration time. Because some -# generated source files do not exist at that time, we use the -ignoremissing -# option to not have SWIG complain about those missing files. -$(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))): %.d: @srcdir@/../cvc4.i - $(AM_V_GEN)$(SWIG) -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. -c++ -$(patsubst %.d,%,$@) -ignoremissing -MM -o $(patsubst %.d,%.cpp,$@) $< -# .PHONY so they get rebuilt each time -.PHONY: .swig_deps $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) -.swig_deps: $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) - $(AM_V_GEN)cat $+ </dev/null >$@ -@mk_include@ .swig_deps - -endif - -clean-local:; rm -fr $(patsubst %.cpp,%,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) |