search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
371 stars 22 forks source link

Build problem #178

Closed benediktahrens closed 1 year ago

benediktahrens commented 1 year ago

Hi there!

I am trying to build the book using $ make. Compilation gets stuck in a loop like this:

This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=macros)
 \write18 enabled.
entering extended mode

What am I doing wrong?

UlrikBuchholtz commented 1 year ago

It's not an infinite loop: The figures are being compiled separately on the first run, and then cached for subsequent runs (as long as they're unchanged). Currently, there are 44 such externalized figures, and the first make should finish in about 5–10 minutes. Subsequent compilations should finish in seconds.

I've now added an explanation of this to the README file in 150db59.