diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2025-09-01 22:07:09 +0300 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2025-09-01 22:10:55 +0300 |
commit | 6ebfb9059f2f540f5b08d1921a9803a4c2f6429a (patch) | |
tree | 76434ffef88836b2091845f0d92473d60a55ba24 /lang/ghc92/Makefile | |
parent | lang/ghc*: Make DYNAMIC option working again (diff) |
The option does not work for lang/ghc92, so omit it from this port
Diffstat (limited to 'lang/ghc92/Makefile')
-rw-r--r-- | lang/ghc92/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/ghc92/Makefile b/lang/ghc92/Makefile index ad4726452cce..b42a367ccc2a 100644 --- a/lang/ghc92/Makefile +++ b/lang/ghc92/Makefile @@ -1,7 +1,7 @@ PORTREVISION= 1 PKGNAMESUFFIX= 92 -OPTIONS_DEFINE= DYNAMIC GMP PROFILE +OPTIONS_DEFINE= DYNAMIC GMP DYNAMIC_OFF_FLAVOUR= +no_dynamic_ghc |