summaryrefslogtreecommitdiff
path: root/Master/source/tlgui/tlaunch.README
diff options
context:
space:
mode:
Diffstat (limited to 'Master/source/tlgui/tlaunch.README')
-rw-r--r--Master/source/tlgui/tlaunch.README22
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