diff options
author | Karl Berry <karl@freefriends.org> | 2019-04-08 17:09:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-04-08 17:09:50 +0000 |
commit | e919fa4b004d0ef401808c337d7def5fa259da0f (patch) | |
tree | 1aeecb518254e5f8d8e5d93b9839a5c84f0e01a1 /Master/source/tlgui/tlaunch.README | |
parent | b11e54225994abb9b96ebc770b9cbb354f0bccd3 (diff) |
subdir for windows gui sources
git-svn-id: svn://tug.org/texlive/trunk@50866 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source/tlgui/tlaunch.README')
-rw-r--r-- | Master/source/tlgui/tlaunch.README | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Master/source/tlgui/tlaunch.README b/Master/source/tlgui/tlaunch.README new file mode 100644 index 00000000000..bc31b1eb368 --- /dev/null +++ b/Master/source/tlgui/tlaunch.README @@ -0,0 +1,22 @@ +I cross-compiled tlaunch on successive versions of Ubuntu Linux, +using the mingw packages binutils-mingw-w64-i686, +gcc-mingw-w64-base, gcc-mingw-w64-i686, g++-mingw-w64-i686, +mingw-w64-common, mingw-w64-i686-dev, mingw-w64-tools, +binutils-mingw-w64-i686 and the included Makefile and cross-make +shell script. + +Occasionally I needed to run the gdb debugger. Although Ubuntu does +have a cross-debugger, I opted for native compilation and native +debugging, using mingw-i686-6.3.0-release-posix-dwarf-rt_v5-rev2.7z +from https://sourceforge.net/projects/mingw-w64/. I compiled with +the batchfile makewin.cmd, which does not use make but simply +compiles everything. + +For the shell script cross-make, check that the CROSS environment +variable is right for your system. + +For the batchfile makewin.cmd, check that the mingw environment +variable points to the root of your mingw installation. + +Siep Kroonenberg, siepo at cybercomm dot nl +Groningen, June 2017 |