summaryrefslogtreecommitdiff
path: root/Master/source
diff options
context:
space:
mode:
Diffstat (limited to 'Master/source')
-rw-r--r--Master/source/tlaunch-0.5.1-src.zipbin0 -> 67224 bytes
-rw-r--r--Master/source/tlaunch.README21
2 files changed, 21 insertions, 0 deletions
diff --git a/Master/source/tlaunch-0.5.1-src.zip b/Master/source/tlaunch-0.5.1-src.zip
new file mode 100644
index 00000000000..ebaf11f700f
--- /dev/null
+++ b/Master/source/tlaunch-0.5.1-src.zip
Binary files differ
diff --git a/Master/source/tlaunch.README b/Master/source/tlaunch.README
new file mode 100644
index 00000000000..43ae90c582b
--- /dev/null
+++ b/Master/source/tlaunch.README
@@ -0,0 +1,21 @@
+I cross-compiled tlaunch on successive versions of Ubuntu Linux,
+using the mingw packages gcc-mingw-w64-base, gcc-mingw-w64-i686,
+g++-mingw-w64-i686, mingw-w64-common, mingw-w64-i686-dev and
+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 gcc and gdb from the Strawberry Perl project
+at http://strawberryperl.com/package/kmx/ . I compiled with the
+batchfile makewin.cmd, which does not use make and does not bother
+with dependency checking.
+
+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, January 2017