diff options
Diffstat (limited to 'devel/phasar/Makefile')
-rw-r--r-- | devel/phasar/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/devel/phasar/Makefile b/devel/phasar/Makefile index 000a0dfa35b1..46f3fbe59122 100644 --- a/devel/phasar/Makefile +++ b/devel/phasar/Makefile @@ -1,6 +1,6 @@ PORTNAME= phasar DISTVERSIONPREFIX= v -DISTVERSION= 1222 +DISTVERSION= 2403 CATEGORIES= devel science MAINTAINER= yuri@FreeBSD.org @@ -20,12 +20,16 @@ USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= secure-software-engineering GH_TUPLE= google:googletest:e2239ee:googletest/external/googletest \ - nlohmann:json:4f8fba1:json/external/json \ - pboettch:json-schema-validator:27fc1d0:json_schema_validator/external/json-schema-validator + nlohmann:json:bc889af:json/external/json \ + pboettch:json-schema-validator:491ac44:json_schema_validator/external/json-schema-validator SHEBANG_GLOB= *.py *.sh +CMAKE_ON= BUILD_SHARED_LIBS CMAKE_OFF= PHASAR_BUILD_UNITTESTS +CMAKE_ARGS= -DPHASAR_CUSTOM_CONFIG_INSTALL_DIR=etc/phasar + +CONFLICTS_INSTALL= nlohmann-json # see https://github.com/secure-software-engineering/phasar/issues/715 post-patch: # workaround for https://github.com/secure-software-engineering/phasar/issues/564 # fix up the config directory location |