diff options
Diffstat (limited to 'Master/source')
| -rw-r--r-- | Master/source/tlaunch-0.5.2-src.zip | bin | 67267 -> 0 bytes | |||
| -rw-r--r-- | Master/source/tlaunch-0.5.3-src.zip | bin | 0 -> 69371 bytes | |||
| -rw-r--r-- | Master/source/tlaunch.README | 15 |
3 files changed, 8 insertions, 7 deletions
diff --git a/Master/source/tlaunch-0.5.2-src.zip b/Master/source/tlaunch-0.5.2-src.zip Binary files differdeleted file mode 100644 index c5f57aebadc..00000000000 --- a/Master/source/tlaunch-0.5.2-src.zip +++ /dev/null diff --git a/Master/source/tlaunch-0.5.3-src.zip b/Master/source/tlaunch-0.5.3-src.zip Binary files differnew file mode 100644 index 00000000000..17b2e61b5ef --- /dev/null +++ b/Master/source/tlaunch-0.5.3-src.zip diff --git a/Master/source/tlaunch.README b/Master/source/tlaunch.README index 43ae90c582b..bc31b1eb368 100644 --- a/Master/source/tlaunch.README +++ b/Master/source/tlaunch.README @@ -1,15 +1,16 @@ 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 +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 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. +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. @@ -18,4 +19,4 @@ 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 +Groningen, June 2017 |