Searched refs:c_file (Results 1 – 6 of 6) sorted by relevance
201 c_file="$test_name.c"206 grep -q 'main' "$prereq_dir/$c_file" || echo >&2 "$prereq_dir/$c_file should be test."209 grep -q 'main' "$prereq_dir/$c_file" && echo >&2 "$prereq_dir/$c_file should be run-test."213 COMPILE_STR="\$(CC) $compiler_args \$(CFLAGS) \$(LDFLAGS) -o \$@ \$(srcdir)/$c_file \$(LDLIBS)"216 $bin_file: \$(srcdir)/$c_file
59 c_file=`dirname "$2"`/test.c79 echo "Running CBMC: ${CBMC} ${cbmc_opts} ${c_file}"80 if ${CBMC} ${cbmc_opts} "${c_file}"; then
104 foreach( c_file ${ARG_C} )105 list(APPEND sources "${c_file}.c")107 list(APPEND c_inputs "${bin}/${c_file}.c")108 list(APPEND c_outputs "${bin}/${c_file}${CMAKE_C_OUTPUT_EXTENSION}")
272 c_file = os.path.join(tmp_dir, 'foo.c')273 self.write_file(c_file, 'void initfoo(void) {};\n')274 ext = Extension('foo', [c_file])
105 const char* c_file = file.c_str(); in CreateTMPFile() local107 char* c_path = strdup(c_file); in CreateTMPFile()
124 char c_file[MAX_FNAME_LENGTH + 1]; member4314 cp->c_oflags == oflags && strcmp(cp->c_file, file) == 0) { in alloc_fdcache()4406 strcpy(free_slot->c_file, file); in alloc_fdcache()