$pdf_mode = 1;
$pdflatex = 'pdflatex -interaction=nonstopmode %O %S';

# Check the name of the file being compiled.
# The filename is stored in the first argument, $ARGV[0].

if ( $ARGV[0] =~ /ijcai25\.tex$/i ) {
    print "--- Found ijcai25.tex, using pdflatex ---\n";
    $pdf_mode = 1;
    $pdflatex = 'pdflatex -interaction=nonstopmode %O %S';
}
else {
    $pdf_mode = 4;
    $pdflatex = 'xelatex -interaction=nonstopmode %O %S';
}
