gcc: update to 5.1.0, update isl, libgpg_error * src/build-gcc.mk: update version, checksum, remove cloog as a dependancy * src/gcc-isl-1-fixes.patch: remove patch * src/isl-1-fixes.patch: update patch * src/isl.mk: update version, checksum * src/libgpg_error-1-fixes.patch: remove patch * src/libgpg_error.mk: update version, checksum * src/native-gcc.mk: update version, checksum, remove cloog as a dependancy * dist-files.mk: remove gcc-isl-1-fixes.patch, libgpg_error-1-fixes.patch

/*
 * This file is part of MXE.
 * See index.html for further information.
 */

#include <smpeg.h>
#include <stdio.h>

int main(int argc, char *argv[])
{
    SMPEG_version v;

    (void)argc;
    (void)argv;

    SMPEG_VERSION(&v);
    printf("SMPEG version: %d.%d.%d\n", v.major, v.minor, v.patch);

    return 0;
}