projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a2abb8) | patch
Make Python a required CVC4 dependency. (#2227)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 27 Jul 2018 19:50:47 +0000 (12:50 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 27 Jul 2018 19:50:47 +0000 (12:50 -0700)
commit1832d76aaacd9b19e4b6bdb0549579a6eda5b1a4
treec7e386cedf4e8b56059d32c5885200610563b1b4tree
parent6a2abb85c96f973247a875229e84d91643894345commit | diff
Make Python a required CVC4 dependency. (#2227)

Python is required for generating the options code. The dependency is now
required. Now autoconf searches for a Python version >= 2.7 and sets the
corresponding environment variables. mkoptions.py is now called with $(PYTHON).

This fixes the broken competition and windows nightly builds.
configure.ac diff | blob | history
src/options/Makefile.am diff | blob | history