[tex-live] Port of TeX Live to x86_64 architecture?

Tigran Aivazian tigran at aivazian.fsnet.co.uk
Fri Jul 2 09:14:32 CEST 2004

Hi Karl,

Thank you for your answers. Here is a couple of comments:

> Perhaps it would be good for you to simply check in the binaries as a
> first step.  After all, that is necessary anyway, and then we can see
> what happens with the nightly rebuild of the tpm/list files :).

I uploaded the binaries here:


so that someone with checkin permission can submit them to the master

> But first, a question: about the architecture name.  I guess you used
> what config.guess returns (x86_64-unknown-linux-gnu), which makes sense,
> but it's so darn long, and most of the other names don't match
> config.guess names either.  Can you switch it to i386_64-linux?  (I'm
> not crazy about that it, but i38664-linux just seems too weird.)

No, I called it "x86_64_linux" and the binary directory "x86_64-linux" but 
now that I think about it, I believe I should have called the architecture 
"x86_64-linux" so that we don't have to deal with the underscore-to-hyphen 
conversion unnecessarily.

I object to your suggestion of "i386_64-linux" because:

a) x86_64 is NOT i386. It is not even i686. The family number is 15 but to 
call it i1586 would be somewhat ridiculous (though maybe consistent :)

b) in all my time of participating on x86_64 development list and 
monitoring the developments nobody refers to it by this name, but only by 
the name x86_64, so this is kind of "standard" now.

I also added the name "AMD" in the textual description (see the full patch 

> Finally, I'd just like to say that it's great that you were able to do
> all this from a standing start!  We need more volunteers like you :).
> Please let us know if there's anything we can do to make things better.

Thank you for your compliments :) 

Many years ago I was a "child" who was "fanatical" about Linux and I made
some contributions to it. I grew up since then and understood that the
only thing on this planet worthy of being "crazy" about is the Word of
God, the Bible.  But someone needs to "maintain" the Bible just like one
needs to maintain Linux, otherwise it will fall apart. So I volunteered to
be a Bible maintainer (at least for the original languages and reporting
to God directly), and believe me, it turned out to require a _lot_ more
technical skills than even maintaining the _whole_ Linux kernel, not just
a couple of device drivers I wrote for Linux. So, the summary is, for the
sake of my Biblical typesetting projects (see http://www.bibles.org.uk) I
am happy to help with any tools that are required for this project :)

Kind regards

--- common.sh.orig	2004-07-01 22:43:43.000000000 +0100
+++ common.sh	2004-07-01 22:49:02.000000000 +0100
@@ -26,6 +26,7 @@
 p_alpha_linux_n='DEC Alpha with GNU/Linux'
 p_alphaev5_osf40d_n='DEC Alphaev5 OSF 4.0d'
 p_i386_linux_n='Intel x86 with GNU/Linux'
+p_x86_64_linux_n='Intel/AMD x86_64 with GNU/Linux'
 p_i386_openbsd33_n='OpenBSD 3.3'
 p_i386_freebsd48_n='FreeBSD 4.8'
 p_i386_solaris28_n="Intel x86 with Sun Solaris 2.8"
@@ -509,7 +510,7 @@
     while true; do
         textvar_show screen_5; echo
-      case `getopt NABCDEFGHIJRQ 'Select the platform you are currently on'` in
+      case `getopt NABCDEFGHIJKRQ 'Select the platform you are currently on'` in
           N) this_system=''; this_platform_set ;;
           A) this_system=i386_linux; this_platform_set ;;
           B) this_system=win32; this_platform_set ;;
@@ -521,6 +522,7 @@
           H) this_system=i386_openbsd33; this_platform_set ;;
           I) this_system=i386_freebsd48; this_platform_set ;;
           J) this_system=powerpc_aix4330; this_platform_set ;;
+          K) this_system=x86_64_linux; this_platform_set ;;
           R)  total_stat; return;;
           Q) exit_on_confirm;;
@@ -766,6 +768,7 @@
   <H> $p_i386_openbsd33_n
   <I> $p_i386_freebsd48_n
   <J> $p_powerpc_aix4330_n
+  <K> $p_x86_64_linux_n
   <R>   return to main menu
   <Q>   quit
--- utils.sh.orig	2004-07-01 22:52:02.000000000 +0100
+++ utils.sh	2004-07-01 22:52:50.000000000 +0100
@@ -396,6 +396,7 @@
   case $system in
   powerpc-darwin[56]*)   usrprefix=/usr ;varprefix=/var ;Sys=powerpc_darwin66;;
   *86-linux*)		usrprefix=/usr ;varprefix=/var ;Sys=i386_linux;;
+  *86_64*-linux*)	usrprefix=/usr ;varprefix=/var ;Sys=x86_64_linux;;
   *86-openbsd*)		usrprefix=/usr ;varprefix=/var ;Sys=i386_openbsd33;;
   *86-freebsd*)		usrprefix=/usr ;varprefix=/var ;Sys=i386_freebsd48;;
   mips-irix*)     usrprefix=/usr ;varprefix=/var ;Sys=mips_irix65;;

More information about the tex-live mailing list