diff options
| author | edwin <edwin@FreeBSD.org> | 2002-12-19 07:15:35 +0000 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2002-12-19 07:15:35 +0000 |
| commit | 964a01f49af6e1636c280864cc540c8e714848e7 (patch) | |
| tree | b3931f701974ea90230650c6fd89f088e0604bc1 /lang | |
| parent | b7e230eb19093fc33fa11ad5e6f1687a99ab6722 (diff) | |
| download | FreeBSD-ports-964a01f49af6e1636c280864cc540c8e714848e7.zip FreeBSD-ports-964a01f49af6e1636c280864cc540c8e714848e7.tar.gz | |
Ports needs gmp.h, port gets gmp.h
Noticed on: bento
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/moscow_ml/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile index 8fbbeb5..3323d78 100644 --- a/lang/moscow_ml/Makefile +++ b/lang/moscow_ml/Makefile @@ -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) |
