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

[Andreas Abel]

Maybe a unicode problem.

Does the equivalent of the following work for you?

~/agda/test/LaTeXAndHTML/succeed$ ln -s 
/Users/abel/.cabal/share/x86_64-osx-ghc-8.6.4/Agda-2.6.0/agda.sty

~/agda/test/LaTeXAndHTML/succeed$ pdflatex acmart-pdflatex.tex

On 2019-04-09 10:18, Andrea Vezzosi wrote:
> I suppose some work, but for
> 
> doc-user-manual-tools-acmart-pdflatex_LaTeX
> 
> I get
> 
> LATEX_COMPILE_FAILED with pdflatex
> 
> On Mon, Apr 8, 2019 at 11:08 PM Andreas Abel <abela at chalmers.se> wrote:
>>
>>   > you mean the full "make test" ?
>>
>> Yes.
>>
>>   > In any case, any suggestion on how to get the latex-related tests to
>>   > work?
>>
>> Do you have the texlive suite 2018 installed?  (I suppose so.)
>>
>> On 2019-04-08 20:09, Andrea Vezzosi wrote:
>>> you mean the full "make test" ?
>>>
>>> In any case, any suggestion on how to get the latex-related tests to
>>> work? They never did for me.
>>>
>>> On Thu, Mar 28, 2019 at 5:05 PM Andreas Abel <abela at chalmers.se> wrote:
>>>>
>>>> Folks,
>>>>
>>>> don't forget your manners:
>>>>
>>>>      - before pushing to master, run the testsuite through
>>>>      - if you want travis take care of this, work with pull requests
>>>>
>>>> If you think you can predict whether the testsuite will run through
>>>> cleanly after your changes, let me assure you, you are most likely
>>>> wrong.  I have been there many times.
>>>>
>>>> Best,
>>>> Andreas
>>>>
>>>>
>>>> --
>>>> Andreas Abel  <><      Du bist der geliebte Mensch.
>>>>
>>>> Department of Computer Science and Engineering
>>>> Chalmers and Gothenburg University, Sweden
>>>>
>>>> andreas.abel at gu.se
>>>> http://www.cse.chalmers.se/~abela/
>>>> _______________________________________________
>>>> Agda-dev mailing list
>>>> Agda-dev at lists.chalmers.se
>>>> https://lists.chalmers.se/mailman/listinfo/agda-dev
>>
>> --
>> Andreas Abel  <><      Du bist der geliebte Mensch.
>>
>> Department of Computer Science and Engineering
>> Chalmers and Gothenburg University, Sweden
>>
>> andreas.abel at gu.se
>> http://www.cse.chalmers.se/~abela/

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/