aboutsummaryrefslogtreecommitdiff
path: root/math/alt-ergo
diff options
context:
space:
mode:
authorMartin Wilke <miwi@FreeBSD.org>2014-05-26 12:28:33 +0000
committerMartin Wilke <miwi@FreeBSD.org>2014-05-26 12:28:33 +0000
commite9ed236366ed8190657f95c51ec0628c6f21f3b9 (patch)
treef7794e9d736d200d0e377d9ad097ba09aae60f01 /math/alt-ergo
parenta1ca7d805cc555fbdf112aaa951c8f2777273c38 (diff)
downloadports-e9ed236366ed8190657f95c51ec0628c6f21f3b9.tar.gz
ports-e9ed236366ed8190657f95c51ec0628c6f21f3b9.zip
Notes
Diffstat (limited to 'math/alt-ergo')
-rw-r--r--math/alt-ergo/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
index 92a7f1628a34..126c6ba581cf 100644
--- a/math/alt-ergo/Makefile
+++ b/math/alt-ergo/Makefile
@@ -19,7 +19,7 @@ BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-
RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
GNU_CONFIGURE= yes
-USE_GMAKE= yes
+USES= gmake
USE_OCAML= yes
MAN1= alt-ergo.1