Files
Trond Endrestøl 8abbc2f99d misc/ompl: Fix duplicate target "post-patch-PLANNERARENA-off"
The .for loop iterated over all options except DEMOS, which included
PLANNERARENA. This generated a post-patch-PLANNERARENA-off target that
conflicted with the explicit one defined after the loop.

Fix by:
- Exempting PLANNERARENA from the .for loop
- Adding the missing PLANNERARENA option variables (DESC, BUILD_DEPENDS,
  RUN_DEPENDS) that were previously removed

PR:		295634
Approved by:	yuri (maintainer, timeout 2 weeks)
2026-06-14 09:41:58 +02:00
..
2026-05-25 12:52:41 -07:00
2026-05-25 12:52:41 -07:00
2026-05-25 12:52:41 -07:00