iocchi / PetriNetPlans

Petri Net Plans library and applications
31 stars 15 forks source link

Build in one go in a catkin workspace #26

Closed marc-hanheide closed 11 months ago

marc-hanheide commented 5 years ago

some fixes so that PNP builds nicely in a catkin devel workspace without requiring to build PNP and PNPgen separately before.