PIPS
|
#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <string.h>
#include <sys/param.h>
#include "genC.h"
#include "database.h"
#include "linear.h"
#include "ri.h"
#include "properties.h"
#include "ri-util.h"
#include "pipsdbm.h"
#include "pipsmake.h"
#include "misc.h"
Go to the source code of this file.
Macros | |
#define | PIPSMAKE_FILE "/pipsmake" |
Some modifications are made to save the current makefile (s.a. More... | |
Functions | |
string | build_pgm_makefile (const char *__attribute__((unused)) n) |
string | make_open_workspace (const char *name) |
bool | make_close_workspace (bool is_quit) |
FI->GO: could be in top-level, no? More... | |
void | checkpoint_workspace (void) |
checkpoint the current workspace, i.e. More... | |
#define PIPSMAKE_FILE "/pipsmake" |
Some modifications are made to save the current makefile (s.a.
files pipsmake/readmakefile.y openclose.h ) They only occure between following tags: Some modifications are made to save the current makefile (s.a. files pipsmake/readmakefile.y pipsmake.h ) They only occure between following tags:
Bruno Baron returns the program makefile file name
Definition at line 62 of file openclose.c.
string build_pgm_makefile | ( | const char *__attribute__((unused)) | n | ) |
Definition at line 63 of file openclose.c.
References concatenate(), db_get_meta_data_directory(), free(), pips_assert, PIPSMAKE_FILE, and strdup().
Referenced by open_makefile(), and save_makefile().
void checkpoint_workspace | ( | void | ) |
checkpoint the current workspace, i.e.
save everything so that it is possible to reopen it in case of failure.
FC 25/06/2003 this seems to break pipsmake internal data... pips_debug(3, "\tdeleting obsolete resources...\n"); delete_obsolete_resources();
Definition at line 129 of file openclose.c.
References db_checkpoint_workspace(), db_get_current_workspace_name(), pips_debug, save_makefile(), save_properties(), and user_log().
Referenced by apply_a_rule(), and pips_signal_handler().
FI->GO: could be in top-level, no?
lazy...
dup because freed in db_close_workspace
is_quit | s_quit |
Definition at line 102 of file openclose.c.
References close_makefile(), db_close_workspace(), db_get_current_module_name(), db_get_current_workspace_name(), db_reset_current_module_name(), free(), save_properties(), strdup(), and user_log().
Referenced by close_workspace().
string make_open_workspace | ( | const char * | name | ) |
should be an error?
name | ame |
Definition at line 72 of file openclose.c.
References db_close_workspace(), db_get_current_workspace_name(), db_open_workspace(), get_cwd(), makefile_undefined, open_makefile(), open_properties(), pips_debug, and pips_user_warning.
Referenced by open_workspace().