diff options
Diffstat (limited to 'Master/source')
-rw-r--r-- | Master/source/tlaunch-0.5.1-src.zip | bin | 0 -> 67224 bytes | |||
-rw-r--r-- | Master/source/tlaunch.README | 21 |
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 Binary files differnew file mode 100644 index 00000000000..ebaf11f700f --- /dev/null +++ b/Master/source/tlaunch-0.5.1-src.zip 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 |