diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-27 12:50:47 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-27 12:50:47 -0700 |
commit | 1832d76aaacd9b19e4b6bdb0549579a6eda5b1a4 (patch) | |
tree | c7e386cedf4e8b56059d32c5885200610563b1b4 /src/options | |
parent | 6a2abb85c96f973247a875229e84d91643894345 (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.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/Makefile.am b/src/options/Makefile.am index edcc9eb9c..c311e04d8 100644 --- a/src/options/Makefile.am +++ b/src/options/Makefile.am @@ -149,7 +149,7 @@ $(CPP_TEMPLATE_FILES):; $(OPTIONS_GEN_CPP) $(OPTIONS_GEN_H) options_holder.h $(DOCUMENTATION_FILES): options.cpp options.cpp: mkoptions.py $(CPP_TEMPLATE_FILES) $(OPTIONS_CONFIG_FILES) $(DOCUMENTATION_TEMPLATE_FILES) - @srcdir@/mkoptions.py @abs_srcdir@ ../../doc . $(addprefix @abs_srcdir@/, $(OPTIONS_CONFIG_FILES)) + $(PYTHON) @srcdir@/mkoptions.py @abs_srcdir@ ../../doc . $(addprefix @abs_srcdir@/, $(OPTIONS_CONFIG_FILES)) # This rule is ugly. It's needed to ensure that automake's dependence # includes are available during distclean, even though they come from |