Project

General

Profile

Bug #2162

Plugins missing when creating a new workspace

Added by Alexander Diewald almost 6 years ago. Updated almost 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
11/25/2014
Due date:
% Done:

0%

Estimated time:

Description

Problem Description

When creating a new workspace following the description in the wiki, the plugins org.fortiss.af3.timing.ui and com.microsoft.z3 are missing.
This causes two issues:
  • org.fortiss.af3.timing.ui: Wcet annotation is not registered.
  • com.microsoft.z3: build error in scheduling-plugin (at least for me)

How to reproduce

Simply check out a new af3-workspace like described in the documentation.

History

#1 Updated by Simon Barner almost 6 years ago

  • Status changed from New to Closed
  • Assignee changed from Anonymous to Simon Barner
  • Just tested this for a project partner:
    • The two plugins are no longer missing
    • The resulting AF3 installation builds and runs

#2 Updated by Simon Barner almost 3 years ago

  • Assignee deleted (Simon Barner)

Also available in: Atom PDF