39 |
#include "conflicts.h" |
#include "conflicts.h" |
40 |
#include "print_graph.h" |
#include "print_graph.h" |
41 |
#include "muscle_tab.h" |
#include "muscle_tab.h" |
|
#include <malloc.h> |
|
|
#include <sys/times.h> |
|
42 |
|
|
43 |
/* The name this program was run with, for messages. */ |
/* The name this program was run with, for messages. */ |
44 |
char *program_name; |
char *program_name; |
45 |
|
|
46 |
|
|
47 |
|
/*--------------------------. |
48 |
|
| Tracking space and time. | |
49 |
|
`--------------------------*/ |
50 |
|
|
51 |
|
#if HAVE_MALLOC_H & HAVE_SYS_TIMES_H |
52 |
|
# include <malloc.h> |
53 |
|
# include <sys/times.h> |
54 |
|
#endif |
55 |
|
|
56 |
static void |
static void |
57 |
stage (const char *title) |
stage (const char *title) |
58 |
{ |
{ |
59 |
struct mallinfo minfo = mallinfo (); |
#if HAVE_MALLOC_H & HAVE_SYS_TIMES_H |
60 |
struct tms tinfo; |
if (trace_flag) |
61 |
times (&tinfo); |
{ |
62 |
fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n", |
struct mallinfo minfo = mallinfo (); |
63 |
title, |
struct tms tinfo; |
64 |
minfo.uordblks, minfo.arena, |
times (&tinfo); |
65 |
tinfo.tms_utime, tinfo.tms_stime); |
fprintf (stderr, "STAGE: %30s: %9d (%9d): %ldu %lds\n", |
66 |
|
title, |
67 |
|
minfo.uordblks, minfo.arena, |
68 |
|
tinfo.tms_utime, tinfo.tms_stime); |
69 |
|
} |
70 |
|
#endif |
71 |
} |
} |
72 |
|
|
73 |
|
|
74 |
int |
int |
75 |
main (int argc, char *argv[]) |
main (int argc, char *argv[]) |
76 |
{ |
{ |