vdm-vscode icon indicating copy to clipboard operation
vdm-vscode copied to clipboard
verified publisher icon overturetool

Add build script

Open jonaskrask opened this issue 4 years ago • 1 comments

Script must be able to:

  • Package VDMJ jars and copy them to resources
  • Same for high-precision
  • Package VSIX
  • (maybe) update marketplace VSIX

jonaskrask avatar Feb 01 '21 14:02 jonaskrask

This script should also copy the newest version of the vdmj.properties file

FrederikPM avatar Apr 01 '22 09:04 FrederikPM