Diffusion FreeBSD ports repository 018274cbc538

lang/ghc: Replace GMP_CONFIGURE_WITH with GMP_CONFIGURE_ON.
018274cbc538
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

lang/ghc: Replace GMP_CONFIGURE_WITH with GMP_CONFIGURE_ON.

Details

Provenance

Authored on Apr 5 2023, 6:52 PM

Parents

R11:cf4dad03cd67: x11-wm/plasma5-kwin: Patch more effects metadata.

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:018274cbc538: lang/ghc: Replace GMP_CONFIGURE_WITH with GMP_CONFIGURE_ON. (authored by arrowd).Apr 7 2023, 6:52 AM

arrowd mentioned this in R11:35df570816a6: lang/ghc810: Fix GMP option after changes to the master port..May 13 2023, 8:34 AM

Changes (1)

Path

Size

lang/

ghc/

R11:018274cbc538

lang/ghc/Makefile

Loading...