void set_default_output (String s);
String find_file (String);
void call_constructors ();
-extern Array<String> get_inclusion_names ();
-extern void set_inclusion_names (Array<String>);
-extern String init_name_global;
+Array<String> get_inclusion_names ();
+void set_inclusion_names (Array<String>);
+
-/* FIXME: in warn.cc */
-void progress_indication (String);
+extern String init_name_global;
/* options */
-extern bool dependency_global_b;
-extern String dependency_prefix_global;
extern Array<String> dump_header_fieldnames_global;
-extern bool no_paper_global_b;
-extern String output_format_global;
+extern bool no_layout_global_b;
+extern String output_backend_global;
extern String output_name_global;
extern bool safe_global_b;
extern bool verbose_global_b;
extern bool store_locations_global_b;
extern bool internal_type_checking_global_b;
+/*
+ todo: collect in Output_option struct?
+ */
+extern bool make_png;
+extern bool make_dvi;
+extern bool make_ps;
+extern bool make_pdf;
+extern bool make_tex;
+extern String output_format_global;
+
+extern bool make_preview;
+extern bool make_pages;
/* misc */
extern Array<String> failed_files;
extern int exit_status_global;
extern File_path global_path;
-extern int score_count_global;
-extern Paper_book *paper_book;
+/*
+ Debugging options
+ */
+
+#define DEBUG_SLUR_SCORING 1
#endif /* MAIN_HH */