verivital / nnv

Neural Network Verification Software Tool
http://www.verivital.com
111 stars 49 forks source link

Automate toolbox/support package/etc dependency installations #244

Open ttj opened 3 weeks ago

ttj commented 3 weeks ago

This is not urgent, but when we have time: Given it seems now possible, could we please add installing all support packages and toolboxes (if latter possible too awesome) via e.g. mpm ?

https://github.com/mathworks-ref-arch/matlab-dockerfile/blob/main/MPM.md

https://www.mathworks.com/help/install/ug/mpminstall.html

This maybe would automate for example installing all the dependencies, including the toolboxes needed as listed on the readme

I guess can be called from shell and also from inside matlab, I am not sure if toolbox install works, but if everything possible via it, that probably ideal

It maybe also time to look at the other dependencies, eg, those installed via the tbxmanager

I started looking into it in codeocean to get a new version of that working for possible upcoming artifact evaluations/repeatability evaluations, I think latest matlab there is now 2024a

mldiego commented 2 weeks ago

While at it, add a function to check all submodules and toolboxes required are installed during the startup_nnv.m execution.

https://www.mathworks.com/help/install/ug/mpminstall.html

https://www.mathworks.com/help/install/ug/get-mpm-os-command-line.html