diff options
| author | Tobias C. Berner <tcberner@FreeBSD.org> | 2018-12-25 20:25:39 +0000 |
|---|---|---|
| committer | Tobias C. Berner <tcberner@FreeBSD.org> | 2018-12-25 20:25:39 +0000 |
| commit | 707c6bf295fc3955c86c9244533c1524bb7dea15 (patch) | |
| tree | 5754f0a521127b72390a51a263bc6e84b5177927 /misc/ompl | |
| parent | e3b5edc5e789bcd6057c4a01e4c618dbb1509756 (diff) | |
Notes
Diffstat (limited to 'misc/ompl')
| -rw-r--r-- | misc/ompl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/ompl/Makefile b/misc/ompl/Makefile index 8dd82cd196cb..e49314da0bfb 100644 --- a/misc/ompl/Makefile +++ b/misc/ompl/Makefile @@ -15,7 +15,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE LIB_DEPENDS= libboost_system.so:devel/boost-libs -USES= cmake:outsource eigen:3 pkgconfig zip +USES= cmake eigen:3 pkgconfig zip USE_LDCONFIG= yes CMAKE_OFF= OMPL_REGISTRATION OMPL_BUILD_TESTS OMPL_BUILD_DEMOS |