Get VDM* libs from the overturetool/documentation repo instead of using local versions

Question

Get VDM* libs from the overturetool/documentation repo instead of using local versions

Closed this issue 9 years ago · 5 comments

The build needs to change to bundle the canonical versions of the VDM SL/++/RT libraries in the overturetool/documentation repo instead of bundling the versions in the local resource folders.

Answer 1 · 2015-01-15T11:23:58.000Z

If the issue reported in overturetool/overture#363 is in the library in the overturetool/documentation repo, raise an issue there to track the fix.

Answer 2 · 2015-08-04T15:07:29.000Z

This needs to be fixed! @ldcouto @lausdahl

Answer 3 · 2015-08-04T15:07:59.000Z

By the way, the canonical libs are not in the documentation repo. They are in the main repo documentation folder

Answer 4 · 2015-10-07T14:03:39.000Z

Ok, this is fixed now. Need to make a new release of the plugin before we close the issue.

Answer 5 · 2015-11-10T15:22:11.000Z

New version released. Documentation repo also updated (overturetool/documentation@975f050)