projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acf3c76) | patch
Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporting this...
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 03:05:05 +0000 (22:05 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 11 Nov 2013 03:05:05 +0000 (22:05 -0500)
commit3ac85900def24af684565f77fe80589595998ad2
tree72692105e9b478096a28ac6ac27a31d498a9e8c4tree
parentacf3c76475c42422083c4a4afbd74f927de88d8dcommit | diff
Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporting this issue
src/bindings/compat/java/Makefile.am diff | blob | history