diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles/TLinfra+exe.pro')
-rw-r--r-- | Master/tlpkg/dev/profiles/TLinfra+exe.pro | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLinfra+exe.pro b/Master/tlpkg/dev/profiles/TLinfra+exe.pro new file mode 100644 index 00000000000..561cdf1c296 --- /dev/null +++ b/Master/tlpkg/dev/profiles/TLinfra+exe.pro @@ -0,0 +1,20 @@ +# $Id: TLinfra.pro 44249 2017-05-08 17:26:47Z karl $ +# infrastructure only, installing several binary sets, including Windows. +selected_scheme scheme-infraonly +TEXDIR /tmp/ki +TEXMFHOME /tmp/ki/user/home +TEXMFLOCAL /tmp/ki/texmf-local +TEXMFSYSCONFIG /tmp/ki/sys/config +TEXMFSYSVAR /tmp/ki/sys/var +TEXMFCONFIG /tmp/ki/user/config +TEXMFVAR /tmp/ki/user/var +option_doc 0 +option_fmt 0 +option_src 0 +option_adjustrepo 0 +binary_armhf_linux 1 +binary_i386-cygwin 1 +binary_win32 1 +binary_x86_64-cygwin 1 +binary_x86_64-darwin 1 +binary_x86_64-linux 1 |