diff options
author | Norbert Preining <norbert@preining.info> | 2018-06-23 15:31:12 +0900 |
---|---|---|
committer | root <root@burischnitzel.preining.info> | 2018-06-27 15:18:41 +0900 |
commit | 1fb29ed71c1d0609e920e36f6e785528cfeb05de (patch) | |
tree | 6fec2f8ff0e50a8d48a06df944b7148d06b50266 | |
parent | 9f37be08d5ba475b9f80ed9a4e0f5ff1c6415faa (diff) |
first shot at libc checkdev/install-libc-check
-rwxr-xr-x | Master/install-tl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index afbaed7d155..b8221ee3abf 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -524,6 +524,17 @@ if ($opt_location) { if (!setup_programs ("$::installerdir/tlpkg/installer", "$::_platform_")) { tldie("$0: Goodbye.\n"); } +# before we try something, let us check whether the current system +# has a libc that is new enough +# we take a very trivial approach, namely checking wether the xz we +# have selected in setup_programs is the one we shipped. +# Since we try hard in setup_programs, including copying files etc +# if xz is not our shipped one, then there might be a problem with libc. +if (!win32() && $::progs{'xz'} eq 'xz') { + tldie("$0: Your system seems to be to old to run + $::installerdir/tlpkg/installer/xz/xz.$::_platform_ +After installation nothing will work anyway, so we stop here!\n"); +} if ($opt_profile eq "") { |