beamerpresenter: set compile time options explicitly
Compile time options are set explicitly for clarity. Option USE_EXTERNAL_RENDERER can now be set using useExternalRenderer variable. Option USE_QTPDF is disabled because it is only intended as a backup if MuPDF and Poppler are both not available.
This commit is contained in:
parent
1717df9134
commit
9a067292d3
1 changed files with 4 additions and 0 deletions
|
@ -22,6 +22,7 @@
|
||||||
# choose renderer: mupdf or poppler or both (not recommended)
|
# choose renderer: mupdf or poppler or both (not recommended)
|
||||||
, usePoppler ? false
|
, usePoppler ? false
|
||||||
, useMupdf ? true
|
, useMupdf ? true
|
||||||
|
, useExternalRenderer ? false
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
|
@ -67,6 +68,9 @@ stdenv.mkDerivation rec {
|
||||||
"-DGIT_VERSION=OFF"
|
"-DGIT_VERSION=OFF"
|
||||||
"-DUSE_POPPLER=${if usePoppler then "ON" else "OFF"}"
|
"-DUSE_POPPLER=${if usePoppler then "ON" else "OFF"}"
|
||||||
"-DUSE_MUPDF=${if useMupdf then "ON" else "OFF"}"
|
"-DUSE_MUPDF=${if useMupdf then "ON" else "OFF"}"
|
||||||
|
"-DUSE_QTPDF=OFF"
|
||||||
|
"-DUSE_MUPDF_THIRD=ON"
|
||||||
|
"-DUSE_EXTERNAL_RENDERER=${if useExternalRenderer then "ON" else "OFF"}"
|
||||||
"-DUSE_MUJS=OFF"
|
"-DUSE_MUJS=OFF"
|
||||||
"-DUSE_GUMBO=ON"
|
"-DUSE_GUMBO=ON"
|
||||||
"-DUSE_TRANSLATIONS=ON"
|
"-DUSE_TRANSLATIONS=ON"
|
||||||
|
|
Loading…
Reference in a new issue