diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2002-12-19 07:15:35 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2002-12-19 07:15:35 +0000 |
| commit | bce150250cb9c6bbdc528a964f3f251ce7023a4b (patch) | |
| tree | ab4853cf4decb0317d4bc8377ace1d1fb4eeeee9 /lang/moscow_ml | |
| parent | df92c7e01bbd37edd60460335e6ddd3ff807ce9b (diff) | |
| download | ports-bce150250cb9c6bbdc528a964f3f251ce7023a4b.tar.gz ports-bce150250cb9c6bbdc528a964f3f251ce7023a4b.zip | |
Notes
Diffstat (limited to 'lang/moscow_ml')
| -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 8fbbeb53f99d..3323d7827bdf 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) |