@echo off setlocal net session 1>NUL 2>NUL || (echo Please run this script as an Administrator. Exiting... & Exit /b 1) echo Installing Clava on %PROGRAMFILES%\Clava C: cd %PROGRAMFILES% if not exist Clava md Clava cd Clava if not exist clava.zip curl https://specs.fe.up.pt/tools/clava.zip > clava.zip tar -xvf clava.zip del clava.zip curl https://raw.githubusercontent.com/specs-feup/clava/master/install/windows/clava-update.cmd > clava-update.cmd echo @echo off > clava.cmd echo java -jar "%%~dp0clava.jar" %%^* >> clava.cmd echo: echo Successfully installed Clava on %PROGRAMFILES%\Clava if not exist %USERPROFILE%\clavaWorkspace md %USERPROFILE%\clavaWorkspace echo: echo Created a workspace folder on %USERPROFILE%\clavaWorkspace if not exist icon.ico curl https://raw.githubusercontent.com/specs-feup/clava/master/install/windows/icon.ico > icon.ico set ICO = "%PROGRAMFILES%/Clava/clava.ico" set SCRIPT="%TEMP%\%RANDOM%-%RANDOM%-%RANDOM%-%RANDOM%.vbs" echo Set oWS = WScript.CreateObject("WScript.Shell") >> %SCRIPT% echo sLinkFile = "%USERPROFILE%\Desktop\Clava.lnk" >> %SCRIPT% echo Set oLink = oWS.CreateShortcut(sLinkFile) >> %SCRIPT% echo oLink.TargetPath = "%PROGRAMFILES%/Clava/clava.cmd" >> %SCRIPT% echo oLink.IconLocation = "%PROGRAMFILES%/Clava/icon.ico" >> %SCRIPT% echo oLink.Save >> %SCRIPT% cscript /nologo %SCRIPT% del %SCRIPT% echo: echo Created a Desktop shortcut where /q java if errorlevel 1 ( echo: echo Java is missing! You need to have Java on the PATH for Clava to run. ) else ( echo: echo Java found on the path. ) echo: echo Clava successfully installed. Start it by opening clava.cmd, or by using the Desktop shortcut. echo You may also want to add Clava's install directory to the PATH if you want to access Clava from anywhere. echo: pause