projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bdcc170) | patch
Add option to build shared Windows dependencies (#1282)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 1 Nov 2017 16:42:15 +0000 (09:42 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Wed, 1 Nov 2017 16:42:15 +0000 (09:42 -0700)
commitbe11fae39055f213586058ec9129d1276f724b0e
treef87bb554cfcc6fd7a79934143e83d8b6cb1fb854tree
parentbdcc170e1bf5bb62904c4a3ebbdc9902096799bacommit | diff
 Add option to build shared Windows dependencies (#1282)

This commit adds an option to the contrib/get-win-dependencies script
(-s) to build shared library versions of ANTLR and GMP, which enables
building the shared versions of the CVC4 libraries needed for language
bindings.
contrib/Makefile.am diff | blob | history
contrib/get-antlr-3.4 diff | blob | history
contrib/get-win-dependencies [new file with mode: 0755] blob
contrib/win-build [deleted file] blob | history