summarylogtreecommitdiffstats
path: root/wscript-disable-check.diff
blob: 4fe5aa51d0b8aa3dd6cfe76fd5c1b6148c8efe9d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
--- wscript.orig	2017-01-22 16:43:53.239526285 +0100
+++ wscript	2017-01-22 16:44:02.719526022 +0100
@@ -29,8 +29,8 @@
                uselib_store='BOOST', mandatory=True)
     conf.check(header_name='boost/spirit/include/classic_parse_tree.hpp',
                uselib_store='BOOST', mandatory=True)
-    conf.check(header_name='boost/spirit/include/classic_utility.hpp',
-               uselib_store='BOOST', mandatory=True)
+    #conf.check(header_name='boost/spirit/include/classic_utility.hpp',
+    #           uselib_store='BOOST', mandatory=True)
     conf.check(header_name='boost/spirit/include/classic_ast.hpp',
                uselib_store='BOOST', mandatory=True)