1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00

Ports needs gmp.h, port gets gmp.h

Noticed on: bento
This commit is contained in:
Edwin Groothuis 2002-12-19 07:15:35 +00:00
parent df92c7e01b
commit bce150250c
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=71724

View File

@ -15,6 +15,8 @@ DISTNAME= mos20src
MAINTAINER= chuckr@freefall.FreeBSD.org
LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4
MOSMLHOME= $(PREFIX)/moscow_ml
ALL_TARGET= world MOSMLHOME=$(MOSMLHOME)