diff options
Diffstat (limited to 'devel/ode/Makefile')
| -rw-r--r-- | devel/ode/Makefile | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/devel/ode/Makefile b/devel/ode/Makefile index 95b843553986..38642fd2dd5b 100644 --- a/devel/ode/Makefile +++ b/devel/ode/Makefile @@ -1,5 +1,6 @@ PORTNAME= ode -DISTVERSION= 0.16.2 +DISTVERSION= 0.16.6 +PORTREVISION= 1 PORTEPOCH= 1 CATEGORIES= devel MASTER_SITES= https://bitbucket.org/odedevs/${PORTNAME}/downloads/ @@ -13,6 +14,20 @@ LICENSE_COMB= dual USES= cmake:testing +FLAVORS= double single +FLAVOR?= ${FLAVORS:[1]} + +single_CONFLICTS= odoo-double +double_CONFLICTS= odoo-single + +.if ${FLAVOR} == double +PKGNAMESUFFIX= -double +CMAKE_ON= ODE_DOUBLE_PRECISION +.else +PKGNAMESUFFIX= -single +CMAKE_OFF= ODE_DOUBLE_PRECISION +.endif + CMAKE_OFF= ODE_WITH_TESTS CMAKE_TESTING_ON= ODE_WITH_TESTS |