From 59be50dfa19e13f55ac5be918b9b6505cf679c14 Mon Sep 17 00:00:00 2001 From: Martin Hermant Date: Thu, 16 Mar 2017 19:15:07 +0100 Subject: [PATCH] wscript set overloaded VERSION casted to string --- wscript | 2 ++ 1 file changed, 2 insertions(+) diff --git a/wscript b/wscript index 124dd2c2..8361b700 100644 --- a/wscript +++ b/wscript @@ -409,6 +409,7 @@ def txt2man(bld): from waflib import TaskGen if 'MANDIR' not in bld.env: bld.env['MANDIR'] = bld.env['DATAROOTDIR'] + '/man' + bld.env.VERSION = str(VERSION) rule_str = '${TXT2MAN} -t `basename ${TGT} | cut -f 1 -d . | tr a-z A-Z`' rule_str += ' -r ${PACKAGE}\\ ${VERSION} -P ${PACKAGE}' rule_str += ' -v ${PACKAGE}\\ User\\\'s\\ manual' @@ -439,6 +440,7 @@ def sphinx(bld): # build documentation from source files using sphinx-build # note: build in ../doc/_build/html, otherwise waf wont install unsigned files if bld.env['SPHINX']: + bld.env.VERSION = str(VERSION) bld( name = 'sphinx', rule = '${SPHINX} -b html -D release=${VERSION} -D version=${VERSION} -a -q `dirname ${SRC}` `dirname ${TGT}`', source = 'doc/conf.py', -- 2.11.0