]>
Commit | Line | Data |
---|---|---|
90c1cb3f | 1 | #!/usr/bin/env python3 |
74eaac06 | 2 | |
90c1cb3f | 3 | # Copyright (c) 2008, 2017, 2020 Nicira, Inc. |
74eaac06 BP |
4 | # |
5 | # Licensed under the Apache License, Version 2.0 (the "License"); | |
6 | # you may not use this file except in compliance with the License. | |
7 | # You may obtain a copy of the License at: | |
8 | # | |
9 | # http://www.apache.org/licenses/LICENSE-2.0 | |
10 | # | |
11 | # Unless required by applicable law or agreed to in writing, software | |
12 | # distributed under the License is distributed on an "AS IS" BASIS, | |
13 | # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
14 | # See the License for the specific language governing permissions and | |
15 | # limitations under the License. | |
16 | ||
17 | import getopt | |
18 | import os | |
19 | import re | |
20 | import sys | |
21 | ||
22 | ||
23 | def parse_include_dirs(): | |
24 | include_dirs = [] | |
25 | options, args = getopt.gnu_getopt(sys.argv[1:], 'I:', ['include=']) | |
26 | for key, value in options: | |
27 | if key in ['-I', '--include']: | |
28 | include_dirs.append(value) | |
29 | else: | |
30 | assert False | |
31 | ||
32 | include_dirs.append('.') | |
33 | return include_dirs, args | |
34 | ||
35 | ||
36 | def find_file(include_dirs, name): | |
37 | for dir in include_dirs: | |
38 | file = "%s/%s" % (dir, name) | |
39 | try: | |
40 | os.stat(file) | |
41 | return file | |
42 | except OSError: | |
43 | pass | |
44 | sys.stderr.write("%s not found in: %s\n" % (name, ' '.join(include_dirs))) | |
45 | return None | |
46 | ||
47 | ||
48 | so_re = re.compile(r'^\.so (\S+)$') | |
49 | ||
50 | ||
51 | def extract_include_directive(line): | |
52 | m = so_re.match(line) | |
53 | if m: | |
54 | return m.group(1) | |
55 | else: | |
56 | return None |