Lines Matching refs:file
9 this header file lives".
109 with open(filename, "w") as file:
112 file.write("#include <%s>\n" % header)
113 file.write("\n")
114 file.write(body)
116 file.write("\n")
173 """Construct a source file from 'body' (a string containing lines
192 """Construct a source file (just like 'try_cpp()'), run it through
196 preprocesses an empty file -- which can be useful to determine the
205 with open(out) as file:
208 line = file.readline()
219 """Try to compile a source file built from 'body' and 'headers'.
236 """Try to compile and link a source file, built from 'body' and
281 source file that refers to 'func', and compiles and links it.
284 The constructed source file starts out by including the header
312 by it. 'headers' will be used in constructing the source file to
324 """Determine if the system header file named by 'header_file'
332 """Dumps a file content into log.info.
334 If head is not None, will be dumped before the file content.
340 file = open(filename)
342 log.info(file.read())
344 file.close()