From 648d716cf3c208972d7c25f4365edf9e25271b56 Mon Sep 17 00:00:00 2001 From: Edgar Date: Tue, 21 Apr 2020 11:09:19 +0200 Subject: [PATCH] :tada: Added webots --- webots.json | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 webots.json diff --git a/webots.json b/webots.json new file mode 100644 index 0000000..c35c7f6 --- /dev/null +++ b/webots.json @@ -0,0 +1,16 @@ +{ + "checkver": { + "url": "https://api.github.com/repos/cyberbotics/webots/releases/latest", + "jp": "$.tag_name" + }, + "autoupdate": { + "url": "https://github.com/cyberbotics/webots/releases/download/$version/webots-$version_setup.exe" + }, + "env_set": { + "WEBOTSROOT": "$dir" + }, + "version": "R2020a-rev1", + "innosetup": true, + "url": "https://github.com/cyberbotics/webots/releases/download/R2020a-rev1/webots-R2020a-rev1_setup.exe", + "hash": "13730aca98f7e24bc794951a19f2c99477a59024d4e25df319cf8c1a3f570646" +}