projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f55dfd4) | patch
Fix "make dist". Fixes to python and ruby bindings; ruby example written. They...
authorMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 14:19:16 +0000 (14:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 16 Nov 2011 14:19:16 +0000 (14:19 +0000)
commitebba5e92588a500a7384f7337968758386db7888
tree6a24e20b557e7359c1b10db24aa7cf48a9578974tree
parentf55dfd4df98fbecbd0ef0f86da79d537457109d6commit | 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.
config/bindings.m4 diff | blob | history
examples/README diff | blob | history
examples/SimpleVC.rb [new file with mode: 0644] blob
src/bindings/Makefile.am diff | blob | history