25 #include "pips_config.h"
37 #include <sys/types.h>
47 #include <sys/param.h>
62 #define PIPSMAKE_FILE "/pipsmake"
86 "%s/%s.database\n",
get_cwd(), name);
118 user_log(
"Workspace %s closed.\n\n", name);
120 user_log(
"Failed to close workspace %s.\n\n", name);
133 user_log(
"Checkpoint of workspace.\n");
141 pips_debug(3,
"\tproperties and makefile...\n");
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
void user_log(const char *format,...)
void db_reset_current_module_name(void)
string db_get_current_module_name(void)
Also used to check whether set...
char * get_cwd(void)
returns the current working directory name.
#define makefile_undefined
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
#define pips_user_warning
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
string concatenate(const char *,...)
Return the concatenation of the given strings.
string build_pgm_makefile(const char *__attribute__((unused)) n)
bool make_close_workspace(bool is_quit)
FI->GO: could be in top-level, no?
#define PIPSMAKE_FILE
Some modifications are made to save the current makefile (s.a.
string make_open_workspace(const char *name)
void checkpoint_workspace(void)
checkpoint the current workspace, i.e.
bool db_close_workspace(bool)
bool db_open_workspace(const char *)
string db_get_meta_data_directory(void)
void db_checkpoint_workspace(void)
string db_get_current_workspace_name(void)
the function is used to check that there is some current workspace...
void save_makefile(const char *)
bool close_makefile(const char *)
makefile open_makefile(const char *)
void save_properties(void)
bool open_properties(void)