Blame view

3rdparty/boost_1_81_0/libs/mp11/tools/single-header.py 1015 Bytes
73ef4ff3   Hu Chunming   提交三方库
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
  
  # Copyright 2017 Peter Dimov.
  #
  # Distributed under the Boost Software License, Version 1.0.
  #
  # See accompanying file LICENSE_1_0.txt or copy at
  # http://www.boost.org/LICENSE_1_0.txt
  
  import os.path
  import re
  import sys
  
  included = []
  
  def scan_header( prefix, dir, fn ):
  
  	path = os.path.join( prefix, dir, fn )
  
  	if path in included:
  
  		return
  
  	included.append( path )
  
  	with open( path, 'r' ) as header:
  
  		for line in header:
  
  			m = re.match( '[ \t]*#[ \t]*include[ \t]*(["<])([^">]*)[">]', line )
  
  			r = False
  
  			if m:
  
  				h = m.group( 2 )
  
  				hfn1 = os.path.join( prefix, h )
  				hfn2 = os.path.join( prefix, dir, h )
  
  				if m.group( 1 ) == '"' and os.path.exists( hfn2 ):
  
  					scan_header( prefix, os.path.join( dir, os.path.dirname( hfn2 ) ), os.path.basename( hfn2 ) )
  					r = True
  
  				elif os.path.exists( hfn1 ):
  
  					scan_header( prefix, os.path.dirname( h ), os.path.basename( h ) )
  					r = True
  
  			if not r:
  
  				sys.stdout.write( line )
  
  scan_header( 'include', 'boost', 'mp11.hpp' )