{
    "homepage": "https://dev.mysql.com/downloads/mysql/",
    "version": "5.7.12",
    "license": "GPLv2",
    "architecture": {
        "64bit": {
            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.12-winx64.zip",
            "hash": "md5:22171697d44c68a8750d2ca0448a847f",
            "extract_dir": "mysql-5.7.12-winx64"
        },
        "32bit": {
            "url": "https://dev.mysql.com/get/Downloads/MySQL-5.7/mysql-5.7.12-win32.zip",
            "hash": "md5:40ec6847b5cb7858b10e1d18dd86d495",
            "extract_dir": "mysql-5.7.12-win32"
        }
    },
    "bin": [
        "bin\\mysqld.exe",
        "bin\\mysql.exe",
        "bin\\mysqldump.exe",
        "bin\\mysqladmin.exe",
        "bin\\mysqlbinlog.exe",
        "bin\\mysqlcheck.exe",
        "bin\\mysqlimport.exe",
        "bin\\mysqlshow.exe",
        "bin\\mysqlslap.exe",
        "bin\\my_print_defaults.exe"
        ],
    "post_install": "
#Initialize data directory (without generating root password)
mysqld --initialize-insecure

#Copy provided sample file to live file location
cp $dir/my-default.ini $dir/my.ini

#Output client configuration to my.ini file so no username is required when connecting
echo \"\" | out-file \"$dir/my.ini\" -Encoding UTF8 -Append
echo \"[client]\" | out-file \"$dir/my.ini\" -Encoding UTF8 -Append
echo \"user=root\" | out-file \"$dir/my.ini\" -Encoding UTF8 -Append
"
}