summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev/profiles
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/dev/profiles')
-rw-r--r--Master/tlpkg/dev/profiles/README7
-rw-r--r--Master/tlpkg/dev/profiles/TLinfra+exe.pro20
-rw-r--r--Master/tlpkg/dev/profiles/TLroot.pro1
3 files changed, 25 insertions, 3 deletions
diff --git a/Master/tlpkg/dev/profiles/README b/Master/tlpkg/dev/profiles/README
index bb8449ec5bd..49d6bb8d30b 100644
--- a/Master/tlpkg/dev/profiles/README
+++ b/Master/tlpkg/dev/profiles/README
@@ -1,8 +1,9 @@
$Id$
This README and all profiles are public domain (and trivial).
-Just a collection of profile files which install in /tmp/ki*,
-testing various features. Most have not been updated for the 2017
-install-tl option name changes, and have not been minimized.
+Just a collection of profile files which (almost all) install in
+/tmp/ki*, testing various features. Most have not been updated for the
+2017 install-tl option name changes (so rely on our maintaining
+compatibility), and have not been minimized.
tlpkg/bin/tl-try-install can use them. Happy testing.
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
diff --git a/Master/tlpkg/dev/profiles/TLroot.pro b/Master/tlpkg/dev/profiles/TLroot.pro
index 4db1cae84d6..52047792eb8 100644
--- a/Master/tlpkg/dev/profiles/TLroot.pro
+++ b/Master/tlpkg/dev/profiles/TLroot.pro
@@ -1,4 +1,5 @@
# $Id$
+# Install under /, instead of /tmp/ki.
selected_scheme scheme-minimal
TEXDIR /tl
TEXMFHOME /tl/user/home