summaryrefslogtreecommitdiff
path: root/config/bindings.m4
AgeCommit message (Expand)Author
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2012-11-27give warning at configure-time about unsupported language bindings, and don't...Morgan Deters
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-02-03updating configure to use python-config for building python bindingsDejan Jovanović
2011-11-16Fix "make dist". Fixes to python and ruby bindings; ruby example written. T...Morgan Deters
2011-11-16* Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy!Morgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-10-06don't build language bindings unless expressly requested with --enable-langua...Morgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-27more interface work; adding legacy C interfaceMorgan Deters
2011-09-21Java binding now working. Some interface types still need some work (e.g. it...Morgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback