diff options
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 |