Dashboard for developing a 64 bit coLinux/install MinGW-w64

< Dashboard for developing a 64 bit coLinux

237pages on
this wiki
Add New Page
Talk0 Share

Howto install MinGW-w64 Edit

Howto install toolchain on 64 bit Linux Edit

You can download this install steps as complete script file from

  • Lets start with a new (empty!) directory, I used "MinGW64" on my home.
  • Set some variables make this doc here more readable. DOWNLOADS and TOOLBASE you can set to somewhere. All other variables you should not change in your first try.
  • Check your Linux machine type is 64 bit (x86_64) or not
uname -m
mkdir -p $DOWNLOADS
wget " targetting Win64/Personal Builds/sezero_20100604/$MINGW_PACK/download"
  • "sezero" does not tar'ed from base of PREFIX. So, unpack this somewhere and set softlink
mkdir -p $TOOLBASE/sezero
cd $TOOLBASE/sezero
ln -s sezero/W64_160271 $PREFIX
  • Download DDK headers from MinGW branch "experimental" via SVN and copy all files over the MinGW headers
svn checkout -r 2511 $DOWNLOADS/MinGW64-ddk_test.svn
cp -a $DOWNLOADS/MinGW64-ddk_test.svn/include/* $PREFIX/$TARGET/include/
svn diff -c 2480 >mingw64-sdkddkver.h-r2480.patch
  • Apply the patch over the headers:
patch -p0 -d $PREFIX/$TARGET <mingw64-sdkddkver.h-r2480.patch

If loads the patch from SVN, the error from non exist ChangeLog you can ignore.

Howto check toolchain Edit

Check, that DDK headers and Compiler can create objects

  • Create very small source
cd /tmp
echo "#include <ntddk.h>" >compiler.c
  • Set some more variables and build the object:
CFLAGS="-I$PREFIX/$TARGET/include/ddk -Wall -Os -O2"
$TARGET-gcc $CFLAGS -c -o compiler.o compiler.c
  • You should have no warnings and a file compiler.o now.
  • More tests you can get form gcc445-mingw-w64-ddk-testing-suite.tgz. There are included sources and binaries for loader and simple driver.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random Wiki