*/
LaTeX::LaTeX(string const & latex, OutputParams const & rp,
- FileName const & f, string const & p, bool const clean_start)
- : cmd(latex), file(f), path(p), runparams(rp), biber(false)
+ FileName const & f, string const & p, string const & lp,
+ bool const clean_start)
+ : cmd(latex), file(f), path(p), lpath(lp), runparams(rp), biber(false)
{
num_errors = 0;
if (prefixIs(cmd, "pdf")) { // Do we use pdflatex ?
+ quoteName(onlyFileName(file.toFilesystemEncoding()))
+ " > " + os::nulldev();
Systemcall one;
- return one.startscript(Systemcall::Wait, tmp, path);
+ return one.startscript(Systemcall::Wait, tmp, path, lpath);
}
tmp += quoteName(f);
tmp += params;
Systemcall one;
- one.startscript(Systemcall::Wait, tmp, path);
+ one.startscript(Systemcall::Wait, tmp, path, lpath);
return true;
}
tmp += " -o "
+ onlyFileName(changeExtension(file.toFilesystemEncoding(), nls));
Systemcall one;
- one.startscript(Systemcall::Wait, tmp, path);
+ one.startscript(Systemcall::Wait, tmp, path, lpath);
return true;
}
tmp += quoteName(onlyFileName(removeExtension(
it->aux_file.absFileName())));
Systemcall one;
- one.startscript(Systemcall::Wait, tmp, path);
+ one.startscript(Systemcall::Wait, tmp, path, lpath);
}
// Return whether bibtex was run
return result;
} else if (contains(token, "That makes 100 errors")) {
// More than 100 errors were reprted
retval |= TOO_MANY_ERRORS;
- } else if (prefixIs(token, "!pdfTeX error:")){
+ } else if (prefixIs(token, "!pdfTeX error:")) {
// otherwise we dont catch e.g.:
// !pdfTeX error: pdflatex (file feyn10): Font feyn10 at 600 not found
retval |= ERRORS;
- terr.insertError(0,
- from_local8bit("pdfTeX Error"),
- from_local8bit(token),
- child_name);
+ terr.insertError(0,
+ from_local8bit("pdfTeX Error"),
+ from_local8bit(token),
+ child_name);
+ } else if (prefixIs(token, "Missing character: There is no ")) {
+ // XeTeX/LuaTeX error about missing glyph in selected font
+ // (bug 9610)
+ retval |= LATEX_ERROR;
+ terr.insertError(0,
+ from_local8bit("Missing glyphs!"),
+ from_local8bit(token),
+ child_name);
}
}
}