diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 14:19:16 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 14:19:16 +0000 |
commit | ebba5e92588a500a7384f7337968758386db7888 (patch) | |
tree | 6a24e20b557e7359c1b10db24aa7cf48a9578974 /src/printer/cvc/cvc_printer.h | |
parent | f55dfd4df98fbecbd0ef0f86da79d537457109d6 (diff) |
Fix "make dist". Fixes to python and ruby bindings; ruby example written. They should both work out of the box, now, with swig 2.0.4 at least. "make install" likely still needs to be adjusted to install them sensibly.
Diffstat (limited to 'src/printer/cvc/cvc_printer.h')
0 files changed, 0 insertions, 0 deletions