]> git.lyx.org Git - lyx.git/blob - src/tex2lyx/tex2lyx.cpp
tex2lyx/Preamble.cpp: fix some comments
[lyx.git] / src / tex2lyx / tex2lyx.cpp
1 /**
2  * \file tex2lyx.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author André Pönitz
7  *
8  * Full author contact details are available in file CREDITS.
9  */
10
11 // {[(
12
13 #include <config.h>
14 #include <version.h>
15
16 #include "tex2lyx.h"
17
18 #include "Context.h"
19 #include "Encoding.h"
20 #include "Layout.h"
21 #include "LayoutFile.h"
22 #include "LayoutModuleList.h"
23 #include "ModuleList.h"
24 #include "Preamble.h"
25 #include "TextClass.h"
26
27 #include "support/convert.h"
28 #include "support/debug.h"
29 #include "support/ExceptionMessage.h"
30 #include "support/filetools.h"
31 #include "support/lassert.h"
32 #include "support/lstrings.h"
33 #include "support/Messages.h"
34 #include "support/os.h"
35 #include "support/Package.h"
36 #include "support/Systemcall.h"
37
38 #include <cstdlib>
39 #include <iostream>
40 #include <string>
41 #include <sstream>
42 #include <vector>
43 #include <map>
44
45 using namespace std;
46 using namespace lyx::support;
47 using namespace lyx::support::os;
48
49 namespace lyx {
50
51 namespace frontend {
52 namespace Alert {
53         void warning(docstring const & title, docstring const & message,
54                                  bool const &)
55         {
56                 LYXERR0(title);
57                 LYXERR0(message);
58         }
59 }
60 }
61
62
63 // Dummy texrow support
64 void TexRow::newline()
65 {}
66
67
68 void TexRow::newlines(int)
69 {}
70
71
72 // Dummy LyXRC support
73 class LyXRC {
74 public:
75         string icon_set;
76 } lyxrc;
77
78
79 // Dummy translation support
80 Messages messages_;
81 Messages const & getMessages(std::string const &)
82 {
83         return messages_;
84 }
85
86
87 Messages const & getGuiMessages()
88 {
89         return messages_;
90 }
91
92
93 // Keep the linker happy on Windows
94 void lyx_exit(int)
95 {}
96
97
98 string const trimSpaceAndEol(string const & a)
99 {
100         return trim(a, " \t\n\r");
101 }
102
103
104 void split(string const & s, vector<string> & result, char delim)
105 {
106         //cerr << "split 1: '" << s << "'\n";
107         istringstream is(s);
108         string t;
109         while (getline(is, t, delim))
110                 result.push_back(t);
111         //cerr << "split 2\n";
112 }
113
114
115 string join(vector<string> const & input, char const * delim)
116 {
117         ostringstream os;
118         for (size_t i = 0; i != input.size(); ++i) {
119                 if (i)
120                         os << delim;
121                 os << input[i];
122         }
123         return os.str();
124 }
125
126
127 char const * const * is_known(string const & str, char const * const * what)
128 {
129         for ( ; *what; ++what)
130                 if (str == *what)
131                         return what;
132         return 0;
133 }
134
135
136
137 // current stack of nested environments
138 vector<string> active_environments;
139
140
141 string active_environment()
142 {
143         return active_environments.empty() ? string() : active_environments.back();
144 }
145
146
147 TeX2LyXDocClass textclass;
148 CommandMap known_commands;
149 CommandMap known_environments;
150 CommandMap known_math_environments;
151 FullCommandMap possible_textclass_commands;
152 FullEnvironmentMap possible_textclass_environments;
153 int const LYX_FORMAT = LYX_FORMAT_TEX2LYX;
154
155 /// used modules
156 LayoutModuleList used_modules;
157
158
159 void convertArgs(string const & o1, bool o2, vector<ArgumentType> & arguments)
160 {
161         // We have to handle the following cases:
162         // definition                      o1    o2    invocation result
163         // \newcommand{\foo}{bar}          ""    false \foo       bar
164         // \newcommand{\foo}[1]{bar #1}    "[1]" false \foo{x}    bar x
165         // \newcommand{\foo}[1][]{bar #1}  "[1]" true  \foo       bar
166         // \newcommand{\foo}[1][]{bar #1}  "[1]" true  \foo[x]    bar x
167         // \newcommand{\foo}[1][x]{bar #1} "[1]" true  \foo[x]    bar x
168         unsigned int nargs = 0;
169         string const opt1 = rtrim(ltrim(o1, "["), "]");
170         if (isStrUnsignedInt(opt1)) {
171                 // The command has arguments
172                 nargs = convert<unsigned int>(opt1);
173                 if (nargs > 0 && o2) {
174                         // The first argument is optional
175                         arguments.push_back(optional);
176                         --nargs;
177                 }
178         }
179         for (unsigned int i = 0; i < nargs; ++i)
180                 arguments.push_back(required);
181 }
182
183
184 void add_known_command(string const & command, string const & o1,
185                        bool o2, docstring const & definition)
186 {
187         vector<ArgumentType> arguments;
188         convertArgs(o1, o2, arguments);
189         known_commands[command] = arguments;
190         if (!definition.empty())
191                 possible_textclass_commands[command] =
192                         FullCommand(arguments, definition);
193 }
194
195
196 void add_known_environment(string const & environment, string const & o1,
197                            bool o2, docstring const & beg, docstring const &end)
198 {
199         vector<ArgumentType> arguments;
200         convertArgs(o1, o2, arguments);
201         known_environments[environment] = arguments;
202         if (!beg.empty() || ! end.empty())
203                 possible_textclass_environments[environment] =
204                         FullEnvironment(arguments, beg, end);
205 }
206
207
208 Layout const * findLayoutWithoutModule(TextClass const & textclass,
209                                        string const & name, bool command)
210 {
211         DocumentClass::const_iterator it = textclass.begin();
212         DocumentClass::const_iterator en = textclass.end();
213         for (; it != en; ++it) {
214                 if (it->latexname() == name &&
215                     ((command && it->isCommand()) || (!command && it->isEnvironment())))
216                         return &*it;
217         }
218         return 0;
219 }
220
221
222 InsetLayout const * findInsetLayoutWithoutModule(TextClass const & textclass,
223                                                  string const & name, bool command)
224 {
225         DocumentClass::InsetLayouts::const_iterator it = textclass.insetLayouts().begin();
226         DocumentClass::InsetLayouts::const_iterator en = textclass.insetLayouts().end();
227         for (; it != en; ++it) {
228                 if (it->second.latexname() == name &&
229                     ((command && it->second.latextype() == InsetLayout::COMMAND) ||
230                      (!command && it->second.latextype() == InsetLayout::ENVIRONMENT)))
231                         return &(it->second);
232         }
233         return 0;
234 }
235
236
237 bool checkModule(string const & name, bool command)
238 {
239         // Cache to avoid slowdown by repated searches
240         static set<string> failed[2];
241
242         // Only add the module if the command was actually defined in the LyX preamble
243         if (command) {
244                 if (possible_textclass_commands.find('\\' + name) == possible_textclass_commands.end())
245                         return false;
246         } else {
247                 if (possible_textclass_environments.find(name) == possible_textclass_environments.end())
248                         return false;
249         }
250         if (failed[command].find(name) != failed[command].end())
251                 return false;
252
253         // Create list of dummy document classes if not already done.
254         // This is needed since a module cannot be read on its own, only as
255         // part of a document class.
256         LayoutFile const & baseClass = LayoutFileList::get()[textclass.name()];
257         typedef map<string, DocumentClass *> ModuleMap;
258         static ModuleMap modules;
259         static bool init = true;
260         if (init) {
261                 baseClass.load();
262                 DocumentClassBundle & bundle = DocumentClassBundle::get();
263                 LyXModuleList::const_iterator const end = theModuleList.end();
264                 LyXModuleList::const_iterator it = theModuleList.begin();
265                 for (; it != end; it++) {
266                         string const module = it->getID();
267                         LayoutModuleList m;
268                         // FIXME this excludes all modules that depend on another one
269                         if (!m.moduleCanBeAdded(module, &baseClass))
270                                 continue;
271                         m.push_back(module);
272                         modules[module] = &bundle.makeDocumentClass(baseClass, m);
273                 }
274                 init = false;
275         }
276
277         // Try to find a module that defines the command.
278         // Only add it if the definition can be found in the preamble of the
279         // style that corresponds to the command. This is a heuristic and
280         // different from the way how we parse the builtin commands of the
281         // text class (in that case we only compare the name), but it is
282         // needed since it is not unlikely that two different modules define a
283         // command with the same name.
284         ModuleMap::iterator const end = modules.end();
285         for (ModuleMap::iterator it = modules.begin(); it != end; it++) {
286                 string const module = it->first;
287                 if (!used_modules.moduleCanBeAdded(module, &baseClass))
288                         continue;
289                 if (findLayoutWithoutModule(textclass, name, command))
290                         continue;
291                 if (findInsetLayoutWithoutModule(textclass, name, command))
292                         continue;
293                 DocumentClass const * c = it->second;
294                 Layout const * layout = findLayoutWithoutModule(*c, name, command);
295                 InsetLayout const * insetlayout = layout ? 0 :
296                         findInsetLayoutWithoutModule(*c, name, command);
297                 docstring preamble;
298                 if (layout)
299                         preamble = layout->preamble();
300                 else if (insetlayout)
301                         preamble = insetlayout->preamble();
302                 if (preamble.empty())
303                         continue;
304                 bool add = false;
305                 if (command) {
306                         FullCommand const & cmd =
307                                 possible_textclass_commands['\\' + name];
308                         if (preamble.find(cmd.def) != docstring::npos)
309                                 add = true;
310                 } else {
311                         FullEnvironment const & env =
312                                 possible_textclass_environments[name];
313                         if (preamble.find(env.beg) != docstring::npos &&
314                             preamble.find(env.end) != docstring::npos)
315                                 add = true;
316                 }
317                 if (add) {
318                         FileName layout_file = libFileSearch("layouts", module, "module");
319                         if (textclass.read(layout_file, TextClass::MODULE)) {
320                                 used_modules.push_back(module);
321                                 // speed up further searches:
322                                 // the module does not need to be checked anymore.
323                                 modules.erase(it);
324                                 return true;
325                         }
326                 }
327         }
328         failed[command].insert(name);
329         return false;
330 }
331
332
333 bool noweb_mode = false;
334 bool pdflatex = false;
335 bool roundtrip = false;
336
337
338 namespace {
339
340
341 /*!
342  * Read one command definition from the syntax file
343  */
344 void read_command(Parser & p, string command, CommandMap & commands)
345 {
346         if (p.next_token().asInput() == "*") {
347                 p.get_token();
348                 command += '*';
349         }
350         vector<ArgumentType> arguments;
351         while (p.next_token().cat() == catBegin ||
352                p.next_token().asInput() == "[") {
353                 if (p.next_token().cat() == catBegin) {
354                         string const arg = p.getArg('{', '}');
355                         if (arg == "translate")
356                                 arguments.push_back(required);
357                         else if (arg == "item")
358                                 arguments.push_back(item);
359                         else
360                                 arguments.push_back(verbatim);
361                 } else {
362                         p.getArg('[', ']');
363                         arguments.push_back(optional);
364                 }
365         }
366         commands[command] = arguments;
367 }
368
369
370 /*!
371  * Read a class of environments from the syntax file
372  */
373 void read_environment(Parser & p, string const & begin,
374                       CommandMap & environments)
375 {
376         string environment;
377         while (p.good()) {
378                 Token const & t = p.get_token();
379                 if (t.cat() == catLetter)
380                         environment += t.asInput();
381                 else if (!environment.empty()) {
382                         p.putback();
383                         read_command(p, environment, environments);
384                         environment.erase();
385                 }
386                 if (t.cat() == catEscape && t.asInput() == "\\end") {
387                         string const end = p.getArg('{', '}');
388                         if (end == begin)
389                                 return;
390                 }
391         }
392 }
393
394
395 /*!
396  * Read a list of TeX commands from a reLyX compatible syntax file.
397  * Since this list is used after all commands that have a LyX counterpart
398  * are handled, it does not matter that the "syntax.default" file
399  * has almost all of them listed. For the same reason the reLyX-specific
400  * reLyXre environment is ignored.
401  */
402 void read_syntaxfile(FileName const & file_name)
403 {
404         ifdocstream is(file_name.toFilesystemEncoding().c_str());
405         if (!is.good()) {
406                 cerr << "Could not open syntax file \"" << file_name
407                      << "\" for reading." << endl;
408                 exit(2);
409         }
410         // We can use our TeX parser, since the syntax of the layout file is
411         // modeled after TeX.
412         // Unknown tokens are just silently ignored, this helps us to skip some
413         // reLyX specific things.
414         Parser p(is);
415         while (p.good()) {
416                 Token const & t = p.get_token();
417                 if (t.cat() == catEscape) {
418                         string const command = t.asInput();
419                         if (command == "\\begin") {
420                                 string const name = p.getArg('{', '}');
421                                 if (name == "environments" || name == "reLyXre")
422                                         // We understand "reLyXre", but it is
423                                         // not as powerful as "environments".
424                                         read_environment(p, name,
425                                                 known_environments);
426                                 else if (name == "mathenvironments")
427                                         read_environment(p, name,
428                                                 known_math_environments);
429                         } else {
430                                 read_command(p, command, known_commands);
431                         }
432                 }
433         }
434 }
435
436
437 string documentclass;
438 string default_encoding;
439 string syntaxfile;
440 bool overwrite_files = false;
441 int error_code = 0;
442
443 /// return the number of arguments consumed
444 typedef int (*cmd_helper)(string const &, string const &);
445
446
447 int parse_help(string const &, string const &)
448 {
449         cerr << "Usage: tex2lyx [options] infile.tex [outfile.lyx]\n"
450                 "Options:\n"
451                 "\t-c textclass       Declare the textclass.\n"
452                 "\t-e encoding        Set the default encoding (latex name).\n"
453                 "\t-f                 Force overwrite of .lyx files.\n"
454                 "\t-help              Print this message and quit.\n"
455                 "\t-n                 translate a noweb (aka literate programming) file.\n"
456                 "\t-roundtrip         re-export created .lyx file infile.lyx.lyx to infile.lyx.tex.\n"
457                 "\t-s syntaxfile      read additional syntax file.\n"
458                 "\t-sysdir SYSDIR     Set system directory to SYSDIR.\n"
459                 "\t                   Default: " << package().system_support() << "\n"
460                 "\t-userdir USERDIR   Set user directory to USERDIR.\n"
461                 "\t                   Default: " << package().user_support() << "\n"
462                 "\t-version           Summarize version and build info.\n"
463                 "Paths:\n"
464                 "\tThe program searches for the files \"encodings\", \"lyxmodules.lst\",\n"
465                 "\t\"textclass.lst\", \"syntax.default\", and \"unicodesymbols\", first in\n"
466                 "\t\"USERDIR\", then in \"SYSDIR\". The subdirectories \"USERDIR/layouts\"\n"
467                 "\tand \"SYSDIR/layouts\" are searched for layout and module files.\n"
468                 "Check the tex2lyx man page for more details."
469              << endl;
470         exit(error_code);
471 }
472
473
474 int parse_version(string const &, string const &)
475 {
476         lyxerr << "tex2lyx " << lyx_version
477                << " (" << lyx_release_date << ")" << endl;
478         lyxerr << "Built on " << __DATE__ << ", " << __TIME__ << endl;
479
480         lyxerr << lyx_version_info << endl;
481         exit(error_code);
482 }
483
484
485 void error_message(string const & message)
486 {
487         cerr << "tex2lyx: " << message << "\n\n";
488         error_code = 1;
489         parse_help(string(), string());
490 }
491
492
493 int parse_class(string const & arg, string const &)
494 {
495         if (arg.empty())
496                 error_message("Missing textclass string after -c switch");
497         documentclass = arg;
498         return 1;
499 }
500
501
502 int parse_encoding(string const & arg, string const &)
503 {
504         if (arg.empty())
505                 error_message("Missing encoding string after -e switch");
506         default_encoding = arg;
507         return 1;
508 }
509
510
511 int parse_syntaxfile(string const & arg, string const &)
512 {
513         if (arg.empty())
514                 error_message("Missing syntaxfile string after -s switch");
515         syntaxfile = internal_path(arg);
516         return 1;
517 }
518
519
520 // Filled with the command line arguments "foo" of "-sysdir foo" or
521 // "-userdir foo".
522 string cl_system_support;
523 string cl_user_support;
524
525
526 int parse_sysdir(string const & arg, string const &)
527 {
528         if (arg.empty())
529                 error_message("Missing directory for -sysdir switch");
530         cl_system_support = internal_path(arg);
531         return 1;
532 }
533
534
535 int parse_userdir(string const & arg, string const &)
536 {
537         if (arg.empty())
538                 error_message("Missing directory for -userdir switch");
539         cl_user_support = internal_path(arg);
540         return 1;
541 }
542
543
544 int parse_force(string const &, string const &)
545 {
546         overwrite_files = true;
547         return 0;
548 }
549
550
551 int parse_noweb(string const &, string const &)
552 {
553         noweb_mode = true;
554         return 0;
555 }
556
557
558 int parse_roundtrip(string const &, string const &)
559 {
560         roundtrip = true;
561         return 0;
562 }
563
564
565 void easyParse(int & argc, char * argv[])
566 {
567         map<string, cmd_helper> cmdmap;
568
569         cmdmap["-h"] = parse_help;
570         cmdmap["-help"] = parse_help;
571         cmdmap["--help"] = parse_help;
572         cmdmap["-v"] = parse_version;
573         cmdmap["-version"] = parse_version;
574         cmdmap["--version"] = parse_version;
575         cmdmap["-c"] = parse_class;
576         cmdmap["-e"] = parse_encoding;
577         cmdmap["-f"] = parse_force;
578         cmdmap["-s"] = parse_syntaxfile;
579         cmdmap["-n"] = parse_noweb;
580         cmdmap["-sysdir"] = parse_sysdir;
581         cmdmap["-userdir"] = parse_userdir;
582         cmdmap["-roundtrip"] = parse_roundtrip;
583
584         for (int i = 1; i < argc; ++i) {
585                 map<string, cmd_helper>::const_iterator it
586                         = cmdmap.find(argv[i]);
587
588                 // don't complain if not found - may be parsed later
589                 if (it == cmdmap.end()) {
590                         if (argv[i][0] == '-')
591                                 error_message(string("Unknown option `") + argv[i] + "'.");
592                         else
593                                 continue;
594                 }
595
596                 string arg = (i + 1 < argc) ? os::utf8_argv(i + 1) : string();
597                 string arg2 = (i + 2 < argc) ? os::utf8_argv(i + 2) : string();
598
599                 int const remove = 1 + it->second(arg, arg2);
600
601                 // Now, remove used arguments by shifting
602                 // the following ones remove places down.
603                 os::remove_internal_args(i, remove);
604                 argc -= remove;
605                 for (int j = i; j < argc; ++j)
606                         argv[j] = argv[j + remove];
607                 --i;
608         }
609 }
610
611
612 // path of the first parsed file
613 string masterFilePath;
614 // path of the currently parsed file
615 string parentFilePath;
616
617 } // anonymous namespace
618
619
620 string getMasterFilePath()
621 {
622         return masterFilePath;
623 }
624
625 string getParentFilePath()
626 {
627         return parentFilePath;
628 }
629
630
631 namespace {
632
633 /*!
634  *  Reads tex input from \a is and writes lyx output to \a os.
635  *  Uses some common settings for the preamble, so this should only
636  *  be used more than once for included documents.
637  *  Caution: Overwrites the existing preamble settings if the new document
638  *  contains a preamble.
639  *  You must ensure that \p parentFilePath is properly set before calling
640  *  this function!
641  */
642 bool tex2lyx(idocstream & is, ostream & os, string encoding)
643 {
644         // Set a sensible default encoding.
645         // This is used until an encoding command is found.
646         // For child documents use the encoding of the master, else latin1,
647         // since latin1 does not cause an iconv error if the actual encoding
648         // is different (bug 7509).
649         if (encoding.empty()) {
650                 if (preamble.inputencoding() == "auto")
651                         encoding = "latin1";
652                 else
653                         encoding = preamble.inputencoding();
654         }
655
656         Parser p(is);
657         p.setEncoding(encoding);
658         //p.dump();
659
660         preamble.parse(p, documentclass, textclass);
661
662         active_environments.push_back("document");
663         Context context(true, textclass);
664         stringstream ss;
665         parse_text(p, ss, FLAG_END, true, context);
666         if (Context::empty)
667                 // Empty document body. LyX needs at least one paragraph.
668                 context.check_layout(ss);
669         context.check_end_layout(ss);
670         ss << "\n\\end_body\n\\end_document\n";
671         active_environments.pop_back();
672
673         // We know the used modules only after parsing the full text
674         if (!used_modules.empty()) {
675                 LayoutModuleList::const_iterator const end = used_modules.end();
676                 LayoutModuleList::const_iterator it = used_modules.begin();
677                 for (; it != end; it++)
678                         preamble.addModule(*it);
679         }
680         if (!preamble.writeLyXHeader(os)) {
681                 cerr << "Could write LyX file header." << endl;
682                 return false;
683         }
684
685         ss.seekg(0);
686         os << ss.str();
687 #ifdef TEST_PARSER
688         p.reset();
689         ofdocstream parsertest("parsertest.tex");
690         while (p.good())
691                 parsertest << p.get_token().asInput();
692         // <origfile> and parsertest.tex should now have identical content
693 #endif
694         return true;
695 }
696
697
698 /// convert TeX from \p infilename to LyX and write it to \p os
699 bool tex2lyx(FileName const & infilename, ostream & os, string const & encoding)
700 {
701         ifdocstream is;
702         // forbid buffering on this stream
703         is.rdbuf()->pubsetbuf(0,0);
704         is.open(infilename.toFilesystemEncoding().c_str());
705         if (!is.good()) {
706                 cerr << "Could not open input file \"" << infilename
707                      << "\" for reading." << endl;
708                 return false;
709         }
710         string const oldParentFilePath = parentFilePath;
711         parentFilePath = onlyPath(infilename.absFileName());
712         bool retval = tex2lyx(is, os, encoding);
713         parentFilePath = oldParentFilePath;
714         return retval;
715 }
716
717 } // anonymous namespace
718
719
720 bool tex2lyx(string const & infilename, FileName const & outfilename, 
721              string const & encoding)
722 {
723         if (outfilename.isReadableFile()) {
724                 if (overwrite_files) {
725                         cerr << "Overwriting existing file "
726                              << outfilename << endl;
727                 } else {
728                         cerr << "Not overwriting existing file "
729                              << outfilename << endl;
730                         return false;
731                 }
732         } else {
733                 cerr << "Creating file " << outfilename << endl;
734         }
735         ofstream os(outfilename.toFilesystemEncoding().c_str());
736         if (!os.good()) {
737                 cerr << "Could not open output file \"" << outfilename
738                      << "\" for writing." << endl;
739                 return false;
740         }
741 #ifdef FILEDEBUG
742         cerr << "Input file: " << infilename << "\n";
743         cerr << "Output file: " << outfilename << "\n";
744 #endif
745         return tex2lyx(FileName(infilename), os, encoding);
746 }
747
748
749 bool tex2tex(string const & infilename, FileName const & outfilename,
750              string const & encoding)
751 {
752         if (!tex2lyx(infilename, outfilename, encoding))
753                 return false;
754         string command = quoteName(package().lyx_binary().toFilesystemEncoding());
755         if (overwrite_files)
756                 command += " -f main";
757         else
758                 command += " -f none";
759         if (pdflatex)
760                 command += " -e pdflatex ";
761         else
762                 command += " -e latex ";
763         command += quoteName(outfilename.toFilesystemEncoding());
764         Systemcall one;
765         if (one.startscript(Systemcall::Wait, command) == 0)
766                 return true;
767         cerr << "Error: Running '" << command << "' failed." << endl;
768         return false;
769 }
770
771 } // namespace lyx
772
773
774 int main(int argc, char * argv[])
775 {
776         using namespace lyx;
777
778         //setlocale(LC_CTYPE, "");
779
780         lyxerr.setStream(cerr);
781
782         os::init(argc, argv);
783
784         try {
785                 init_package(internal_path(os::utf8_argv(0)), string(), string());
786         } catch (ExceptionMessage const & message) {
787                 cerr << to_utf8(message.title_) << ":\n"
788                      << to_utf8(message.details_) << endl;
789                 if (message.type_ == ErrorException)
790                         return EXIT_FAILURE;
791         }
792
793         easyParse(argc, argv);
794
795         if (argc <= 1) 
796                 error_message("Not enough arguments.");
797
798         try {
799                 init_package(internal_path(os::utf8_argv(0)),
800                              cl_system_support, cl_user_support);
801         } catch (ExceptionMessage const & message) {
802                 cerr << to_utf8(message.title_) << ":\n"
803                      << to_utf8(message.details_) << endl;
804                 if (message.type_ == ErrorException)
805                         return EXIT_FAILURE;
806         }
807
808         // Now every known option is parsed. Look for input and output
809         // file name (the latter is optional).
810         string infilename = internal_path(os::utf8_argv(1));
811         infilename = makeAbsPath(infilename).absFileName();
812
813         string outfilename;
814         if (roundtrip) {
815                 if (argc > 2) {
816                         // Do not allow a user supplied output filename
817                         // (otherwise it could easily happen that LyX would
818                         // overwrite the original .tex file)
819                         cerr << "Error: output filename must not be given in roundtrip mode."
820                              << endl;
821                         return EXIT_FAILURE;
822                 }
823                 outfilename = changeExtension(infilename, ".lyx.lyx");
824         } else if (argc > 2) {
825                 outfilename = internal_path(os::utf8_argv(2));
826                 if (outfilename != "-")
827                         outfilename = makeAbsPath(outfilename).absFileName();
828         } else
829                 outfilename = changeExtension(infilename, ".lyx");
830
831         // Read the syntax tables
832         FileName const system_syntaxfile = libFileSearch("", "syntax.default");
833         if (system_syntaxfile.empty()) {
834                 cerr << "Error: Could not find syntax file \"syntax.default\"." << endl;
835                 return EXIT_FAILURE;
836         }
837         read_syntaxfile(system_syntaxfile);
838         if (!syntaxfile.empty())
839                 read_syntaxfile(makeAbsPath(syntaxfile));
840
841         // Read the encodings table.
842         FileName const symbols_path = libFileSearch(string(), "unicodesymbols");
843         if (symbols_path.empty()) {
844                 cerr << "Error: Could not find file \"unicodesymbols\"." 
845                      << endl;
846                 return EXIT_FAILURE;
847         }
848         FileName const enc_path = libFileSearch(string(), "encodings");
849         if (enc_path.empty()) {
850                 cerr << "Error: Could not find file \"encodings\"." 
851                      << endl;
852                 return EXIT_FAILURE;
853         }
854         encodings.read(enc_path, symbols_path);
855         if (!default_encoding.empty() && !encodings.fromLaTeXName(default_encoding))
856                 error_message("Unknown LaTeX encoding `" + default_encoding + "'");
857
858         // Load the layouts
859         LayoutFileList::get().read();
860         //...and the modules
861         theModuleList.read();
862
863         // The real work now.
864         masterFilePath = onlyPath(infilename);
865         parentFilePath = masterFilePath;
866         if (outfilename == "-") {
867                 if (tex2lyx(FileName(infilename), cout, default_encoding))
868                         return EXIT_SUCCESS;
869         } else if (roundtrip) {
870                 if (tex2tex(infilename, FileName(outfilename), default_encoding))
871                         return EXIT_SUCCESS;
872         } else {
873                 if (tex2lyx(infilename, FileName(outfilename), default_encoding))
874                         return EXIT_SUCCESS;
875         }
876         return EXIT_FAILURE;
877 }
878
879 // }])