[Agda-dev] Run the testsuite before pushing to master

[Andrea Vezzosi]

The error was indeed about acmart-xelatex.lagda.tex

And yes, adding "\usepackage{fontspec}" makes compilation go through!

FYI the relevant packages installed on this machine should be these:

texlive-publishers/bionic,bionic,now 2017.20180305-2 all [installed]

fonts-linuxlibertine/bionic,bionic,now 5.3.0-4 all [installed,automatic]
  Linux Libertine family of fonts


On Wed, Apr 10, 2019 at 5:45 PM Nils Anders Danielsson <nad at cse.gu.se> wrote:
>
> On 10/04/2019 17.08, Andres Sicard Ramirez wrote:
> > I think xelatex needs the fonts installed in your system. Does the
> > installation of the Ubuntu package fonts-linuxlibertine fix the
> > problem?
>
> The error message states that the \newfontfamily command is not
> available. This command comes from the fontspec package.
>
> Andrea did not state which file triggered this error (there are several
> tests related to XeLaTeX that include this line), but my guess would be
> that the error is restricted to the file acmart-xelatex.lagda.tex, which
> is the only one that uses \newfontfamily and does not load fontspec.
> With my current setup the fontspec package is loaded by acmart (via
> libertine) when XeLaTeX is used, but perhaps we shouldn't rely on that
> behaviour.
>
> Andrea, can the problem be fixed by adding "\usepackage{fontspec}"
> before the offending line?
>
> --
> /NAD
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev